Magma V2.19-8 Tue Aug 20 2013 16:18:32 on localhost [Seed = 2968595843] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2730 geometric_solution 5.97813089 oriented_manifold CS_known 0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 0 1 -1 0 0 1 -1 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 -2 0 0 1 -1 1 0 0 -1 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.866392940067 0.484440839742 0 2 3 0 0132 0132 0132 3201 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 -1 2 0 0 0 0 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.515520137425 0.894014304243 4 1 5 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 1 0 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.237266721958 0.920382555331 5 6 4 1 1023 2310 2310 0132 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.237266721958 0.920382555331 2 3 4 4 0132 3201 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 1 0 -1 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.145865030228 0.518902723013 5 3 5 2 2031 1023 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.929510309543 0.778469649490 6 6 2 3 1302 2031 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.422023337595 0.410292591281 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : negation(d['c_0011_6']), 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0110_6']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_6']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0011_6']), 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : negation(d['c_0110_6']), 'c_1010_2' : negation(d['c_0110_6']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 46149798765701475162202179271457/12457972707892858768519250690048*c\ _0110_6^23 + 278472761278420973850852254534423/62289863539464293842\ 59625345024*c_0110_6^21 - 590748141083649223173363518768045/3114493\ 176973214692129812672512*c_0110_6^19 + 2599436912866395311484170935743395/6228986353946429384259625345024*\ c_0110_6^17 - 3932239589643570010115903440641527/622898635394642938\ 4259625345024*c_0110_6^15 + 3885511860342671919923247013723133/6228\ 986353946429384259625345024*c_0110_6^13 - 97928874583151838737126492021921/1557246588486607346064906336256*c_\ 0110_6^11 - 3222663426078333096923302685360239/12457972707892858768\ 519250690048*c_0110_6^9 - 1840021752480802691152471538894513/124579\ 72707892858768519250690048*c_0110_6^7 - 84468555439350877303475930952443/3114493176973214692129812672512*c_\ 0110_6^5 + 59117029353370421228237521709143/38931164712165183651622\ 6584064*c_0110_6^3 + 3732994018784929653571754360963/48663955890206\ 479564528323008*c_0110_6, c_0011_0 - 1, c_0011_3 - 16383270735618460761902403355/437975603011858316080754907072\ *c_0110_6^22 + 11181636094881020672193647725/2433197794510323978226\ 4161504*c_0110_6^20 - 212852088687772007191543532155/10949390075296\ 4579020188726768*c_0110_6^18 + 855141313590629651665307248385/21898\ 7801505929158040377453536*c_0110_6^16 - 1066126704204104318376205532701/218987801505929158040377453536*c_01\ 10_6^14 + 743422910904766275096278212175/21898780150592915804037745\ 3536*c_0110_6^12 + 214697403249186471935257156829/54746950376482289\ 510094363384*c_0110_6^10 - 2593542384602450852380725471029/43797560\ 3011858316080754907072*c_0110_6^8 - 524448998260845585772836486793/145991867670619438693584969024*c_011\ 0_6^6 + 27645066324713678992716913541/36497966917654859673396242256\ *c_0110_6^4 + 87457765986901716845284521185/27373475188241144755047\ 181692*c_0110_6^2 + 12869344557688456169893975564/68433687970602861\ 88761795423, c_0011_6 - 89976159219465029803523619713/437975603011858316080754907072\ *c_0110_6^22 + 176119380056954931730576165885/729959338353097193467\ 92484512*c_0110_6^20 - 1078174578453747952973417485433/109493900752\ 964579020188726768*c_0110_6^18 + 4608819245912103348604824417523/21\ 8987801505929158040377453536*c_0110_6^16 - 6889860717043720392805272100535/218987801505929158040377453536*c_01\ 10_6^14 + 6411767039204765709977890818925/2189878015059291580403774\ 53536*c_0110_6^12 - 5184502381215531105681134981/547469503764822895\ 10094363384*c_0110_6^10 - 5986358945765591925660271309999/437975603\ 011858316080754907072*c_0110_6^8 - 711993423579275368382360136923/145991867670619438693584969024*c_011\ 0_6^6 - 82706950998705464237850774293/36497966917654859673396242256\ *c_0110_6^4 + 181735683865043507587658750491/2737347518824114475504\ 7181692*c_0110_6^2 + 24204010732003998063799836416/6843368797060286\ 188761795423, c_0101_0 + 530353488130039889638739/10478449270878416088922368*c_0110_6\ ^23 - 873750449710335507282413/1746408211813069348153728*c_0110_6^2\ 1 + 3417177333603164754024149/2619612317719604022230592*c_0110_6^19 - 2366081717675632006785697/5239224635439208044461184*c_0110_6^17 - 16071640903588210614902239/5239224635439208044461184*c_0110_6^15 + 55743266186743116046100957/5239224635439208044461184*c_0110_6^13 - 3270384300845053007190143/163725769857475251389412*c_0110_6^11 + 129883329420673781440462141/10478449270878416088922368*c_0110_6^9 - 713759993334704360025715/3492816423626138696307456*c_0110_6^7 + 498910015154839450483609/109150513238316834259608*c_0110_6^5 - 729002497478789307719725/654903079429901005557648*c_0110_6^3 - 115460950696026603446756/40931442464368812847353*c_0110_6, c_0101_1 - 737107760599358541659851/10478449270878416088922368*c_0110_6\ ^22 + 1441083004330934276319509/1746408211813069348153728*c_0110_6^\ 20 - 8812818316397092277435617/2619612317719604022230592*c_0110_6^1\ 8 + 37835181375762119552224409/5239224635439208044461184*c_0110_6^1\ 6 - 57725686087518379765840873/5239224635439208044461184*c_0110_6^1\ 4 + 56731851502909448137961099/5239224635439208044461184*c_0110_6^1\ 2 - 596529057152553880703161/327451539714950502778824*c_0110_6^10 - 17825970931676550690076709/10478449270878416088922368*c_0110_6^8 - 15093274324951850808354133/3492816423626138696307456*c_0110_6^6 + 239746106803677897620069/218301026476633668519216*c_0110_6^4 + 69139834425574361165030/40931442464368812847353*c_0110_6^2 + 43619734541901566392999/40931442464368812847353, c_0101_2 - 59285421279501764832157380721/350380482409486652864603925657\ 6*c_0110_6^23 + 94973896219641056159029140211/583967470682477754774\ 339876096*c_0110_6^21 - 381264117998992913812695429727/875951206023\ 716632161509814144*c_0110_6^19 + 855093414013560536390467638347/175\ 1902412047433264323019628288*c_0110_6^17 - 669366906658150329922065195379/1751902412047433264323019628288*c_01\ 10_6^15 - 1362357775116073302541107902215/1751902412047433264323019\ 628288*c_0110_6^13 + 443876807300415271996188754207/218987801505929\ 158040377453536*c_0110_6^11 + 636536481209149830999201404449/350380\ 4824094866528646039256576*c_0110_6^9 - 942376514267723496761209777399/1167934941364955509548679752192*c_01\ 10_6^7 + 75871698697238953146630986515/1459918676706194386935849690\ 24*c_0110_6^5 - 101043794112951596878775087029/54746950376482289510\ 094363384*c_0110_6^3 - 648710164568928191349004655/1368673759412057\ 2377523590846*c_0110_6, c_0110_6^24 - 2266/169*c_0110_6^22 + 11404/169*c_0110_6^20 - 30854/169*c_0110_6^18 + 4254/13*c_0110_6^16 - 69426/169*c_0110_6^14 + 3456/13*c_0110_6^12 + 3495/169*c_0110_6^10 - 7115/169*c_0110_6^8 - 7200/169*c_0110_6^6 - 8192/169*c_0110_6^4 + 5632/169*c_0110_6^2 + 4096/169 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB