Magma V2.19-8 Tue Aug 20 2013 16:17:22 on localhost [Seed = 3869735469] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1594 geometric_solution 5.36205884 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 0 0 0 0 0 1 -1 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 -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.754199907692 0.083074061687 0 2 0 2 0132 0132 1023 1023 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 0 1 -1 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.614698110206 0.233764068658 3 1 4 1 0132 0132 0132 1023 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 0 0 0 -1 0 0 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.856717854186 1.804252425619 2 4 6 5 0132 3201 0132 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 0 0 1 0 0 -1 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.029891252799 1.002908467445 5 6 3 2 3201 0132 2310 0132 0 0 0 0 0 -1 0 1 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.029891252799 1.002908467445 5 5 3 4 1230 3012 0132 2310 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 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.027338443710 1.033328986694 6 4 6 3 2031 0132 1302 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 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.482988666146 0.513113925133 ==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' : 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' : 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' : 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_0011_4'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : negation(d['c_0011_5']), '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_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(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' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0011_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_0011_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' : d['c_0011_5'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0011_5']), '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_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t + 221352702565489389746644/2516758489412601787255*c_0101_3^18 + 784732119201603645974016/2516758489412601787255*c_0101_3^17 - 346791877661765403411765/503351697882520357451*c_0101_3^16 - 9872184477608406591182693/2516758489412601787255*c_0101_3^15 - 102661692446850149436074/71907385411788622493*c_0101_3^14 + 34418974645423407345310257/2516758489412601787255*c_0101_3^13 + 39314139459577976580346288/2516758489412601787255*c_0101_3^12 - 9584344543197638987420265/503351697882520357451*c_0101_3^11 - 90232056507537440131123816/2516758489412601787255*c_0101_3^10 + 21626982570867851928991353/2516758489412601787255*c_0101_3^9 + 96787928256230729452957522/2516758489412601787255*c_0101_3^8 + 1435914947215504534725414/359536927058943112465*c_0101_3^7 - 8461823012109204666257641/359536927058943112465*c_0101_3^6 - 3201021078278581839300190/503351697882520357451*c_0101_3^5 + 24814264283855349794449809/2516758489412601787255*c_0101_3^4 + 10548620796711822484775707/2516758489412601787255*c_0101_3^3 - 6517953215447695279241311/2516758489412601787255*c_0101_3^2 - 4652067921834328669413528/2516758489412601787255*c_0101_3 - 702347433275047593669903/2516758489412601787255, c_0011_0 - 1, c_0011_4 - 16515038793152612008/71907385411788622493*c_0011_5*c_0101_3^\ 18 - 99591936394628039092/71907385411788622493*c_0011_5*c_0101_3^17 + 5556230503210252774/71907385411788622493*c_0011_5*c_0101_3^16 + 1122780420643178227603/71907385411788622493*c_0011_5*c_0101_3^15 + 270994423253117822168/10272483630255517499*c_0011_5*c_0101_3^14 - 2743423825056750343579/71907385411788622493*c_0011_5*c_0101_3^13 - 9238693826159693004743/71907385411788622493*c_0011_5*c_0101_3^12 - 543212784103136978723/71907385411788622493*c_0011_5*c_0101_3^11 + 17729343321416861700068/71907385411788622493*c_0011_5*c_0101_3^10 + 9803190247656945933352/71907385411788622493*c_0011_5*c_0101_3^9 - 16805765305376998722397/71907385411788622493*c_0011_5*c_0101_3^8 - 2047485131049736780646/10272483630255517499*c_0011_5*c_0101_3^7 + 1274027072330013539818/10272483630255517499*c_0011_5*c_0101_3^6 + 10282909204928179021189/71907385411788622493*c_0011_5*c_0101_3^5 - 2992475222165550852854/71907385411788622493*c_0011_5*c_0101_3^4 - 5027796757976599200073/71907385411788622493*c_0011_5*c_0101_3^3 + 400749463171761552841/71907385411788622493*c_0011_5*c_0101_3^2 + 1596973825059454081336/71907385411788622493*c_0011_5*c_0101_3 + 369039064510795618003/71907385411788622493*c_0011_5, c_0011_5^2 + 84323741007178550580/71907385411788622493*c_0101_3^18 + 279371528093438242848/71907385411788622493*c_0101_3^17 - 725239512060338191065/71907385411788622493*c_0101_3^16 - 3589735842369753303869/71907385411788622493*c_0101_3^15 - 76464996949051543400/10272483630255517499*c_0101_3^14 + 13194721655158404940969/71907385411788622493*c_0101_3^13 + 11873607934589209908210/71907385411788622493*c_0101_3^12 - 20800014973546455003470/71907385411788622493*c_0101_3^11 - 29233648948782820266713/71907385411788622493*c_0101_3^10 + 14561179480786452933116/71907385411788622493*c_0101_3^9 + 32559816939713013669062/71907385411788622493*c_0101_3^8 - 465139278209418945521/10272483630255517499*c_0101_3^7 - 2934212878891916489242/10272483630255517499*c_0101_3^6 - 1527850991925396781879/71907385411788622493*c_0101_3^5 + 8867585670602351006740/71907385411788622493*c_0101_3^4 + 2000360229154451591762/71907385411788622493*c_0101_3^3 - 2489836699042644413149/71907385411788622493*c_0101_3^2 - 1184187869872932151770/71907385411788622493*c_0101_3 - 165328176784623284829/71907385411788622493, c_0101_0 + 209704056341493983048/71907385411788622493*c_0101_3^18 + 782550543156431908356/71907385411788622493*c_0101_3^17 - 1526200753404149636298/71907385411788622493*c_0101_3^16 - 9721110016739394405963/71907385411788622493*c_0101_3^15 - 703945454824717708787/10272483630255517499*c_0101_3^14 + 32802424108490429924333/71907385411788622493*c_0101_3^13 + 43068545204389871094823/71907385411788622493*c_0101_3^12 - 41764544345154302423648/71907385411788622493*c_0101_3^11 - 95527511897871575440711/71907385411788622493*c_0101_3^10 + 10588611061262580598005/71907385411788622493*c_0101_3^9 + 100416072435962043162991/71907385411788622493*c_0101_3^8 + 2997848119846594926043/10272483630255517499*c_0101_3^7 - 8608921331412553829822/10272483630255517499*c_0101_3^6 - 22662811451800080988005/71907385411788622493*c_0101_3^5 + 24621097073905862182372/71907385411788622493*c_0101_3^4 + 13529321053434819699268/71907385411788622493*c_0101_3^3 - 6135385426548490375846/71907385411788622493*c_0101_3^2 - 5572413611277512738967/71907385411788622493*c_0101_3 - 922765004334335579268/71907385411788622493, c_0101_1 + 429043827008249043116/71907385411788622493*c_0101_3^18 + 1522272360884192630732/71907385411788622493*c_0101_3^17 - 3375667441045697562859/71907385411788622493*c_0101_3^16 - 19190763688681184475642/71907385411788622493*c_0101_3^15 - 973193247058303955932/10272483630255517499*c_0101_3^14 + 67317964326084779860662/71907385411788622493*c_0101_3^13 + 75925098421600218781503/71907385411788622493*c_0101_3^12 - 95239328828691782037791/71907385411788622493*c_0101_3^11 - 175350132153629383126060/71907385411788622493*c_0101_3^10 + 46527074392849085216150/71907385411788622493*c_0101_3^9 + 189379256981981430366455/71907385411788622493*c_0101_3^8 + 2065531605776788434632/10272483630255517499*c_0101_3^7 - 16715099114078993171692/10272483630255517499*c_0101_3^6 - 27742325256236478617482/71907385411788622493*c_0101_3^5 + 49559884649577288842487/71907385411788622493*c_0101_3^4 + 19243671941792501218150/71907385411788622493*c_0101_3^3 - 13344212496474836900444/71907385411788622493*c_0101_3^2 - 8741464823295756242473/71907385411788622493*c_0101_3 - 1145621190227827402184/71907385411788622493, c_0101_2 - 16515038793152612008/71907385411788622493*c_0101_3^18 - 99591936394628039092/71907385411788622493*c_0101_3^17 + 5556230503210252774/71907385411788622493*c_0101_3^16 + 1122780420643178227603/71907385411788622493*c_0101_3^15 + 270994423253117822168/10272483630255517499*c_0101_3^14 - 2743423825056750343579/71907385411788622493*c_0101_3^13 - 9238693826159693004743/71907385411788622493*c_0101_3^12 - 543212784103136978723/71907385411788622493*c_0101_3^11 + 17729343321416861700068/71907385411788622493*c_0101_3^10 + 9803190247656945933352/71907385411788622493*c_0101_3^9 - 16805765305376998722397/71907385411788622493*c_0101_3^8 - 2047485131049736780646/10272483630255517499*c_0101_3^7 + 1274027072330013539818/10272483630255517499*c_0101_3^6 + 10282909204928179021189/71907385411788622493*c_0101_3^5 - 2992475222165550852854/71907385411788622493*c_0101_3^4 - 5027796757976599200073/71907385411788622493*c_0101_3^3 + 400749463171761552841/71907385411788622493*c_0101_3^2 + 1668881210471242703829/71907385411788622493*c_0101_3 + 369039064510795618003/71907385411788622493, c_0101_3^19 + 4*c_0101_3^18 - 25/4*c_0101_3^17 - 193/4*c_0101_3^16 - 145/4*c_0101_3^15 + 597/4*c_0101_3^14 + 993/4*c_0101_3^13 - 140*c_0101_3^12 - 509*c_0101_3^11 - 161/2*c_0101_3^10 + 1957/4*c_0101_3^9 + 953/4*c_0101_3^8 - 511/2*c_0101_3^7 - 765/4*c_0101_3^6 + 339/4*c_0101_3^5 + 98*c_0101_3^4 - 41/4*c_0101_3^3 - 69/2*c_0101_3^2 - 12*c_0101_3 - 5/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB