Magma V2.19-8 Tue Aug 20 2013 16:17:14 on localhost [Seed = 2901225586] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1463 geometric_solution 5.28442229 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 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 0 1 0 0 -1 1 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.759803027156 0.088306244371 0 2 0 2 0132 0132 1023 1023 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 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 0 0 0 0.635033051538 0.241054921559 3 1 4 1 0132 0132 0132 1023 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 -1 0 0 1 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.951246834587 1.619524951557 2 5 5 6 0132 0132 1023 0132 0 0 0 0 0 1 -1 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 1 -1 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.209428823069 0.679179689178 6 5 5 2 1023 2310 3201 0132 0 0 0 0 0 0 0 0 1 0 0 -1 -1 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 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.209428823069 0.679179689178 4 3 3 4 2310 0132 1023 3201 0 0 0 0 0 -1 1 0 0 0 1 -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 -1 1 0 0 0 1 -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 1.585408896090 1.344522940840 6 4 3 6 3201 1023 0132 2310 0 0 0 0 0 -1 0 1 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 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.051286152933 0.974514920135 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(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' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], '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_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 1822354981708674349251447/22338356381737443538362368*c_0101_5^27 - 25130729043138381867492941/19147162612917808747167744*c_0101_5^25 + 449963447738475801313936311/44676712763474887076724736*c_0101_5^23 - 7090648221026561638391828207/134030138290424661230174208*c_0101_5^2\ 1 + 4364786389924859115123988063/22338356381737443538362368*c_0101_\ 5^19 - 22302371310385749673618326573/44676712763474887076724736*c_0\ 101_5^17 + 1022588456537414421128271779/1047110455393942665860736*c\ _0101_5^15 - 218122685132222655510780745421/13403013829042466123017\ 4208*c_0101_5^13 + 82958631008830327215648934343/335075345726061653\ 07543552*c_0101_5^11 - 3608728045136428602496304489/104711045539394\ 2665860736*c_0101_5^9 + 4109806900169275109917284631/10471104553939\ 42665860736*c_0101_5^7 - 291723829982471130066917167/87259204616161\ 888821728*c_0101_5^5 + 252053050393814536074670307/1308888069242428\ 33232592*c_0101_5^3 - 8878152078218348096876321/1636110086553035415\ 4074*c_0101_5, c_0011_0 - 1, c_0011_4 + 26332351977627148101675/6382387537639269582389248*c_0101_5^2\ 6 - 1263279165320081916376387/19147162612917808747167744*c_0101_5^2\ 4 + 9632405825802347364723475/19147162612917808747167744*c_0101_5^2\ 2 - 12583495237235714612513353/4786790653229452186791936*c_0101_5^2\ 0 + 184644699461868209415899911/19147162612917808747167744*c_0101_5\ ^18 - 233589177374159430997524295/9573581306458904373583872*c_0101_\ 5^16 + 906709429185628760478661993/19147162612917808747167744*c_010\ 1_5^14 - 376027345502265779534768855/4786790653229452186791936*c_01\ 01_5^12 + 47532094627001199940201435/398899221102454348899328*c_010\ 1_5^10 - 8241405668836776892676683/49862402637806793612416*c_0101_5\ ^8 + 6966785520684176358548591/37396801978355095209312*c_0101_5^6 - 243360410297637743170597/1558200082431462300388*c_0101_5^4 + 207075049146632602869725/2337300123647193450582*c_0101_5^2 - 27354389826114460131778/1168650061823596725291, c_0101_0 + 222140171556346652930151/12764775075278539164778496*c_0101_5\ ^27 - 3551785908103398315602837/12764775075278539164778496*c_0101_5\ ^25 + 27079509167737908683788405/12764775075278539164778496*c_0101_\ 5^23 - 35373481177718863190844235/3191193768819634791194624*c_0101_\ 5^21 + 518977395154571500335815457/12764775075278539164778496*c_010\ 1_5^19 - 656418542639733565653972385/6382387537639269582389248*c_01\ 01_5^17 + 2547229536310433869113116943/12764775075278539164778496*c\ _0101_5^15 - 1055976968880551329636500913/3191193768819634791194624\ *c_0101_5^13 + 200289583615126584141916475/398899221102454348899328\ *c_0101_5^11 - 138914279378687856967201621/199449610551227174449664\ *c_0101_5^9 + 39136005469033932018217297/49862402637806793612416*c_\ 0101_5^7 - 4101688826746903117836675/6232800329725849201552*c_0101_\ 5^5 + 1156871327275078395079903/3116400164862924600776*c_0101_5^3 - 77375695357352222179533/779100041215731150194*c_0101_5, c_0101_1 - 134812823178132371522955/6382387537639269582389248*c_0101_5^\ 27 + 6551596605240531976528421/19147162612917808747167744*c_0101_5^\ 25 - 50612816086591624161576857/19147162612917808747167744*c_0101_5\ ^23 + 133612369672372204779155941/9573581306458904373583872*c_0101_\ 5^21 - 993542229528514661802822767/19147162612917808747167744*c_010\ 1_5^19 + 640252271872888579672072783/4786790653229452186791936*c_01\ 01_5^17 - 5042105284116676728447239813/19147162612917808747167744*c\ _0101_5^15 + 4215438808528087408618531559/9573581306458904373583872\ *c_0101_5^13 - 535262742476561379157449591/797798442204908697798656\ *c_0101_5^11 + 93391237293750975888152763/99724805275613587224832*c\ _0101_5^9 - 80447428184422217049100349/74793603956710190418624*c_01\ 01_5^7 + 5762728474961523813280913/6232800329725849201552*c_0101_5^\ 5 - 5046983879757380655018667/9349200494588773802328*c_0101_5^3 + 180724256707057570404854/1168650061823596725291*c_0101_5, c_0101_2 - 41031584739171690197667/6382387537639269582389248*c_0101_5^2\ 7 + 1961971099658107771602745/19147162612917808747167744*c_0101_5^2\ 5 - 14911865183507804501255701/19147162612917808747167744*c_0101_5^\ 23 + 38866927335898590448918919/9573581306458904373583872*c_0101_5^\ 21 - 284249334540283908844207303/19147162612917808747167744*c_0101_\ 5^19 + 44756589686666202796063715/1196697663307363046697984*c_0101_\ 5^17 - 1385746895189999383776851557/19147162612917808747167744*c_01\ 01_5^15 + 1147468474806436623117206917/9573581306458904373583872*c_\ 0101_5^13 - 144937159241139682563798207/797798442204908697798656*c_\ 0101_5^11 + 50205140221705766110641359/199449610551227174449664*c_0\ 101_5^9 - 2641927192121320216611971/9349200494588773802328*c_0101_5\ ^7 + 1470880215659813018757019/6232800329725849201552*c_0101_5^5 - 309385582499436255495773/2337300123647193450582*c_0101_5^3 + 40283109350221135041568/1168650061823596725291*c_0101_5, c_0101_3 - 144041860687138595633157/12764775075278539164778496*c_0101_5\ ^27 + 6954105081298874763204721/38294325225835617494335488*c_0101_5\ ^25 - 53370548565792970198937353/38294325225835617494335488*c_0101_\ 5^23 + 35043154618089751280040497/4786790653229452186791936*c_0101_\ 5^21 - 1035427639146258368333749657/38294325225835617494335488*c_01\ 01_5^19 + 1322445341378640064904760055/19147162612917808747167744*c\ _0101_5^17 - 5171651438733374069500024447/3829432522583561749433548\ 8*c_0101_5^15 + 1076764723454366176333213513/4786790653229452186791\ 936*c_0101_5^13 - 68226654693129179688067225/1994496105512271744496\ 64*c_0101_5^11 + 94948057876072373868747751/19944961055122717444966\ 4*c_0101_5^9 - 40520874878417937148051481/74793603956710190418624*c\ _0101_5^7 + 2871585023257359926327387/6232800329725849201552*c_0101\ _5^5 - 309349336491859129361069/1168650061823596725291*c_0101_5^3 + 85645226779216340698961/1168650061823596725291*c_0101_5, c_0101_5^28 - 155/9*c_0101_5^26 + 425/3*c_0101_5^24 - 788*c_0101_5^22 + 3127*c_0101_5^20 - 79358/9*c_0101_5^18 + 169633/9*c_0101_5^16 - 300380/9*c_0101_5^14 + 474272/9*c_0101_5^12 - 76224*c_0101_5^10 + 858368/9*c_0101_5^8 - 851968/9*c_0101_5^6 + 622592/9*c_0101_5^4 - 32768*c_0101_5^2 + 65536/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB