Magma V2.19-8 Tue Aug 20 2013 16:16:09 on localhost [Seed = 1073863815] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0417 geometric_solution 4.47765991 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 0132 0213 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 1 -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.245365644840 0.677663576312 0 2 3 0 0132 2310 1023 0213 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 -1 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.245365644840 0.677663576312 4 0 4 1 0132 0132 2310 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 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.283629501376 2.691301136850 5 5 1 0 0132 2310 1023 0132 0 0 0 0 0 -1 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 0 0 0 0 0 1 -1 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.634122262930 1.110361776319 2 2 6 6 0132 3201 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 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.232585525597 0.122504457593 3 5 5 3 0132 3201 2310 3201 0 0 0 0 0 -1 1 0 -1 0 1 0 0 -1 0 1 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.764819399812 0.443970436193 6 4 6 4 2310 2310 3201 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 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.893389688830 0.468147456651 ==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' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : 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' : d['1'], 's_1_2' : d['1'], 's_1_1' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_4'], 'c_1100_0' : negation(d['c_0101_4']), 'c_1100_3' : negation(d['c_0101_4']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0101_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : 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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_0']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : negation(d['c_0101_3']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0101_4']), 'c_1010_0' : d['c_0101_4']})} 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_2, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 7675105741441954971904/7870424344306253587*c_0101_4^16 + 9931525646322449228480/7870424344306253587*c_0101_4^15 + 39413289743414257432384/7870424344306253587*c_0101_4^14 + 36000088994555363748/715493122209659417*c_0101_4^13 - 2889029906075865421546/342192362795924069*c_0101_4^12 - 25734274999392090600767/7870424344306253587*c_0101_4^11 + 63598731165027612490910/7870424344306253587*c_0101_4^10 + 3241043105145816593889/715493122209659417*c_0101_4^9 - 3650635890784628301674/715493122209659417*c_0101_4^8 - 30452741926790112600288/7870424344306253587*c_0101_4^7 + 13843791791560625452111/7870424344306253587*c_0101_4^6 + 14352639008974308972716/7870424344306253587*c_0101_4^5 - 4626975623680477936127/7870424344306253587*c_0101_4^4 - 4795035576767866449296/7870424344306253587*c_0101_4^3 + 129722009219946516225/7870424344306253587*c_0101_4^2 + 732304003081579131923/7870424344306253587*c_0101_4 - 2307298523666450969/7870424344306253587, c_0011_0 - 1, c_0011_3 - 7062359950054696704/55037932477666109*c_0101_4^16 + 4776083949316241728/55037932477666109*c_0101_4^15 + 42278810598358627968/55037932477666109*c_0101_4^14 + 22235719803961477060/55037932477666109*c_0101_4^13 - 2733217151443792022/2392953585985483*c_0101_4^12 - 60902279693093787896/55037932477666109*c_0101_4^11 + 47436894671857291880/55037932477666109*c_0101_4^10 + 69385255466663718547/55037932477666109*c_0101_4^9 - 20085171168046447960/55037932477666109*c_0101_4^8 - 51397603929198336377/55037932477666109*c_0101_4^7 - 2081949956586945868/55037932477666109*c_0101_4^6 + 21473532401379710525/55037932477666109*c_0101_4^5 + 2846424030600476932/55037932477666109*c_0101_4^4 - 7125790844191778794/55037932477666109*c_0101_4^3 - 2170635373767705396/55037932477666109*c_0101_4^2 + 755717027996385036/55037932477666109*c_0101_4 + 304492688306547506/55037932477666109, c_0011_6 - 174047467101761728/55037932477666109*c_0101_4^16 + 171437057720874160/55037932477666109*c_0101_4^15 + 1230553627165335448/55037932477666109*c_0101_4^14 - 257127375781211119/55037932477666109*c_0101_4^13 - 105038675880016806/2392953585985483*c_0101_4^12 - 329705776572940977/55037932477666109*c_0101_4^11 + 2587752044275297244/55037932477666109*c_0101_4^10 + 449322212893427518/55037932477666109*c_0101_4^9 - 2007489617196012248/55037932477666109*c_0101_4^8 - 160550694311648196/55037932477666109*c_0101_4^7 + 1047958719920830484/55037932477666109*c_0101_4^6 + 45035241310440809/55037932477666109*c_0101_4^5 - 421654953445495933/55037932477666109*c_0101_4^4 + 2446817490367696/55037932477666109*c_0101_4^3 + 180413722400715374/55037932477666109*c_0101_4^2 - 1287490777370980/55037932477666109*c_0101_4 + 19121115144962324/55037932477666109, c_0101_0 + 2740198491335147200/55037932477666109*c_0101_4^16 - 3880011151088788848/55037932477666109*c_0101_4^15 - 13123183027397521224/55037932477666109*c_0101_4^14 + 924332323095823007/55037932477666109*c_0101_4^13 + 918992189891242735/2392953585985483*c_0101_4^12 + 6171454496738245512/55037932477666109*c_0101_4^11 - 19806435515843911479/55037932477666109*c_0101_4^10 - 8481987267913718174/55037932477666109*c_0101_4^9 + 12271289296429295287/55037932477666109*c_0101_4^8 + 7436002072003747551/55037932477666109*c_0101_4^7 - 4068878905636118824/55037932477666109*c_0101_4^6 - 3263857574457412928/55037932477666109*c_0101_4^5 + 1541788726862614624/55037932477666109*c_0101_4^4 + 1074179750457704234/55037932477666109*c_0101_4^3 + 5629629248701756/55037932477666109*c_0101_4^2 - 117276543562842162/55037932477666109*c_0101_4 + 17380152584181002/55037932477666109, c_0101_2 - 189614585795847232/55037932477666109*c_0101_4^16 + 344494282031189648/55037932477666109*c_0101_4^15 + 640985232757625288/55037932477666109*c_0101_4^14 + 93746249128191259/55037932477666109*c_0101_4^13 - 48238169004639018/2392953585985483*c_0101_4^12 - 1262708197627244636/55037932477666109*c_0101_4^11 + 523136213593310914/55037932477666109*c_0101_4^10 + 1736229857154787954/55037932477666109*c_0101_4^9 + 287594054732369269/55037932477666109*c_0101_4^8 - 1529570629050783915/55037932477666109*c_0101_4^7 - 369238138114904552/55037932477666109*c_0101_4^6 + 897017365581779695/55037932477666109*c_0101_4^5 + 165621063620668752/55037932477666109*c_0101_4^4 - 339311411331438568/55037932477666109*c_0101_4^3 - 49030846269498256/55037932477666109*c_0101_4^2 + 166235495751669678/55037932477666109*c_0101_4 + 5092142489203442/55037932477666109, c_0101_3 - 1034136783481741504/55037932477666109*c_0101_4^16 + 1011147462464034544/55037932477666109*c_0101_4^15 + 6108115434830288328/55037932477666109*c_0101_4^14 + 1194170723472031161/55037932477666109*c_0101_4^13 - 474223274035927955/2392953585985483*c_0101_4^12 - 5761370097549061986/55037932477666109*c_0101_4^11 + 11078733860290238285/55037932477666109*c_0101_4^10 + 7811608099886795226/55037932477666109*c_0101_4^9 - 7830897972433193183/55037932477666109*c_0101_4^8 - 6711402525402945957/55037932477666109*c_0101_4^7 + 3344550327577077492/55037932477666109*c_0101_4^6 + 3439773159272570517/55037932477666109*c_0101_4^5 - 1134004924993231115/55037932477666109*c_0101_4^4 - 1286973796246683777/55037932477666109*c_0101_4^3 + 166204354629639896/55037932477666109*c_0101_4^2 + 262752723533555908/55037932477666109*c_0101_4 - 6379633266574422/55037932477666109, c_0101_4^17 - 5/4*c_0101_4^16 - 43/8*c_0101_4^15 - 3/64*c_0101_4^14 + 615/64*c_0101_4^13 + 241/64*c_0101_4^12 - 39/4*c_0101_4^11 - 91/16*c_0101_4^10 + 209/32*c_0101_4^9 + 163/32*c_0101_4^8 - 41/16*c_0101_4^7 - 43/16*c_0101_4^6 + 53/64*c_0101_4^5 + 63/64*c_0101_4^4 - 3/32*c_0101_4^3 - 13/64*c_0101_4^2 + 1/64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB