Magma V2.19-8 Tue Aug 20 2013 16:17:21 on localhost [Seed = 3313785101] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1591 geometric_solution 5.36166352 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 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.625323470138 0.123595773344 2 0 2 0 0132 2310 1023 0132 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 1 -1 -1 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 0.835628474982 0.180598525511 1 3 1 4 0132 0132 1023 0132 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 -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.938521304622 0.520546600134 5 2 6 4 0132 0132 0132 1230 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 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.972964364212 0.987972886924 3 6 2 5 3012 1023 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 0 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.972964364212 0.987972886924 3 5 4 5 0132 2310 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.038459685441 0.983740878006 4 6 6 3 1023 1230 3012 0132 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 -1 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 1.038459685441 0.983740878006 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : negation(d['1']), 's_2_6' : 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' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_6'], 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t + 707505794419185054638963/9618334293751776101255*c_0101_6^18 + 2503228324473449418157293/9618334293751776101255*c_0101_6^17 + 291567501416894762348577/9618334293751776101255*c_0101_6^16 + 3146715332077377529745686/1923666858750355220251*c_0101_6^15 + 8382854391508451870453248/9618334293751776101255*c_0101_6^14 + 190231708333021645269673/9618334293751776101255*c_0101_6^13 + 39184774364673895545988398/9618334293751776101255*c_0101_6^12 + 75018675730057592167436046/9618334293751776101255*c_0101_6^11 - 223693783406738666422797614/9618334293751776101255*c_0101_6^10 + 86103580202758689651022393/9618334293751776101255*c_0101_6^9 + 55596169499880061479758022/1923666858750355220251*c_0101_6^8 - 67654245020500786393839757/9618334293751776101255*c_0101_6^7 - 43947633209376340508174213/1923666858750355220251*c_0101_6^6 + 105089067547892335973396004/9618334293751776101255*c_0101_6^5 + 19777680435038942810471057/9618334293751776101255*c_0101_6^4 - 44731785977504246414493297/9618334293751776101255*c_0101_6^3 + 13163173338642577663904162/9618334293751776101255*c_0101_6^2 - 3193508828527382794888804/9618334293751776101255*c_0101_6 + 4624134961177342489725589/9618334293751776101255, c_0011_0 - 1, c_0011_1 - 352978608955550006672/1923666858750355220251*c_0101_6^18 - 1308855737729860057543/1923666858750355220251*c_0101_6^17 - 274464690004188109144/1923666858750355220251*c_0101_6^16 - 7495983050735672991763/1923666858750355220251*c_0101_6^15 - 5141767180841388935105/1923666858750355220251*c_0101_6^14 + 1236455184838421407336/1923666858750355220251*c_0101_6^13 - 16681550814624968681556/1923666858750355220251*c_0101_6^12 - 38757336727537402430106/1923666858750355220251*c_0101_6^11 + 110485906434263144057047/1923666858750355220251*c_0101_6^10 - 10356483108864996913995/1923666858750355220251*c_0101_6^9 - 160867213025707924100503/1923666858750355220251*c_0101_6^8 - 1033991784331092425134/1923666858750355220251*c_0101_6^7 + 145549434249489973037857/1923666858750355220251*c_0101_6^6 - 3726990641915982926296/1923666858750355220251*c_0101_6^5 - 34757592661306441097996/1923666858750355220251*c_0101_6^4 + 5863955795992724850033/1923666858750355220251*c_0101_6^3 - 2661627778970320436229/1923666858750355220251*c_0101_6^2 + 2590099162139059291078/1923666858750355220251*c_0101_6 - 1139583282571321324615/1923666858750355220251, c_0011_4 + 1281160053020865476493/1923666858750355220251*c_0101_3*c_010\ 1_6^18 + 4886242336873203169381/1923666858750355220251*c_0101_3*c_0\ 101_6^17 + 1778176790930822456600/1923666858750355220251*c_0101_3*c\ _0101_6^16 + 28466992203291572922242/1923666858750355220251*c_0101_\ 3*c_0101_6^15 + 22294720336806768729686/1923666858750355220251*c_01\ 01_3*c_0101_6^14 + 3894898816790255683942/1923666858750355220251*c_\ 0101_3*c_0101_6^13 + 67053030212835255719554/1923666858750355220251\ *c_0101_3*c_0101_6^12 + 150202121509511719591913/192366685875035522\ 0251*c_0101_3*c_0101_6^11 - 370456085838114137576283/19236668587503\ 55220251*c_0101_3*c_0101_6^10 + 34290983073353983704549/19236668587\ 50355220251*c_0101_3*c_0101_6^9 + 520887457036169006212761/19236668\ 58750355220251*c_0101_3*c_0101_6^8 + 51668415786046204454626/1923666858750355220251*c_0101_3*c_0101_6^7 - 411737520178391783472029/1923666858750355220251*c_0101_3*c_0101_6^6 + 14480599973642347699408/1923666858750355220251*c_0101_3*c_0101_6^\ 5 + 41295666821829912738434/1923666858750355220251*c_0101_3*c_0101_\ 6^4 - 30949987949627395331147/1923666858750355220251*c_0101_3*c_010\ 1_6^3 + 31198453368445460843307/1923666858750355220251*c_0101_3*c_0\ 101_6^2 - 1300423634380420090910/1923666858750355220251*c_0101_3*c_\ 0101_6 + 3914364879118315309769/1923666858750355220251*c_0101_3, c_0101_0 - 1199364436844933747563/1923666858750355220251*c_0101_6^18 - 5993369491748694241714/1923666858750355220251*c_0101_6^17 - 7216575975881349177654/1923666858750355220251*c_0101_6^16 - 29113804214320311096338/1923666858750355220251*c_0101_6^15 - 52583602782615643895677/1923666858750355220251*c_0101_6^14 - 32060829906837765372186/1923666858750355220251*c_0101_6^13 - 69629357914097151974209/1923666858750355220251*c_0101_6^12 - 218356473097566485065070/1923666858750355220251*c_0101_6^11 + 166703220848396832969422/1923666858750355220251*c_0101_6^10 + 357318538354024861102989/1923666858750355220251*c_0101_6^9 - 492208464338660095193561/1923666858750355220251*c_0101_6^8 - 667257076344940117119296/1923666858750355220251*c_0101_6^7 + 281521560649507861375917/1923666858750355220251*c_0101_6^6 + 477524545533676910355780/1923666858750355220251*c_0101_6^5 - 41383468889765042421384/1923666858750355220251*c_0101_6^4 - 97459093369877598861391/1923666858750355220251*c_0101_6^3 - 7820449234128151385123/1923666858750355220251*c_0101_6^2 - 1740264285647442836425/1923666858750355220251*c_0101_6 + 6498618157478131323244/1923666858750355220251, c_0101_1 - 724224466037092523799/1923666858750355220251*c_0101_6^18 - 2808633364131015828134/1923666858750355220251*c_0101_6^17 - 1136189306378698002092/1923666858750355220251*c_0101_6^16 - 16024206206606628466338/1923666858750355220251*c_0101_6^15 - 13792483088329684927360/1923666858750355220251*c_0101_6^14 - 2285125680306915470962/1923666858750355220251*c_0101_6^13 - 38487068846472776621477/1923666858750355220251*c_0101_6^12 - 89258819346611087330346/1923666858750355220251*c_0101_6^11 + 204259496637572439583745/1923666858750355220251*c_0101_6^10 - 4206565897158492600614/1923666858750355220251*c_0101_6^9 - 317746807172803777232822/1923666858750355220251*c_0101_6^8 - 42968937045790293094675/1923666858750355220251*c_0101_6^7 + 256964899513278380929067/1923666858750355220251*c_0101_6^6 - 421141927082223177097/1923666858750355220251*c_0101_6^5 - 59935497685286003139408/1923666858750355220251*c_0101_6^4 + 12864559301347446144325/1923666858750355220251*c_0101_6^3 - 5472639735562711777775/1923666858750355220251*c_0101_6^2 + 4659808700815054570360/1923666858750355220251*c_0101_6 + 86802214126636952213/1923666858750355220251, c_0101_3^2 - 3571337985518966540770/1923666858750355220251*c_0101_6^18 - 13588436164964320246209/1923666858750355220251*c_0101_6^17 - 4104594767275263800167/1923666858750355220251*c_0101_6^16 - 76439989082347879814654/1923666858750355220251*c_0101_6^15 - 60268939462795213334641/1923666858750355220251*c_0101_6^14 + 5158684476797029104056/1923666858750355220251*c_0101_6^13 - 172954765414676930245090/1923666858750355220251*c_0101_6^12 - 417902153132504076840752/1923666858750355220251*c_0101_6^11 + 1068508423393038901724065/1923666858750355220251*c_0101_6^10 - 18919763879654365347898/1923666858750355220251*c_0101_6^9 - 1663131291540842092057426/1923666858750355220251*c_0101_6^8 - 167892685326468501634382/1923666858750355220251*c_0101_6^7 + 1484865156070872599584437/1923666858750355220251*c_0101_6^6 + 40045784388185970321758/1923666858750355220251*c_0101_6^5 - 416836521774751750689666/1923666858750355220251*c_0101_6^4 + 4483501811574205844542/1923666858750355220251*c_0101_6^3 - 15875195631805763072561/1923666858750355220251*c_0101_6^2 + 22529656320752152327278/1923666858750355220251*c_0101_6 + 62429039375611240810/1923666858750355220251, c_0101_6^19 + 4*c_0101_6^18 + 2*c_0101_6^17 + 22*c_0101_6^16 + 21*c_0101_6^15 + 4*c_0101_6^14 + 49*c_0101_6^13 + 125*c_0101_6^12 - 272*c_0101_6^11 - 43*c_0101_6^10 + 428*c_0101_6^9 + 146*c_0101_6^8 - 352*c_0101_6^7 - 102*c_0101_6^6 + 58*c_0101_6^5 + 28*c_0101_6^4 + 22*c_0101_6^3 - 6*c_0101_6^2 - c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB