Magma V2.19-8 Tue Aug 20 2013 16:17:34 on localhost [Seed = 3018993516] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1800 geometric_solution 5.47039660 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 1.600711415880 0.446729141153 0 2 3 0 3201 0132 0132 0132 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 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.845905211712 0.541313222098 4 1 5 3 0132 0132 0132 3201 0 0 0 0 0 0 0 0 -1 0 1 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 -1 0 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.259977267532 0.858513829043 5 2 4 1 1023 2310 1023 0132 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 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.259977267532 0.858513829043 2 6 3 6 0132 0132 1023 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 0 0 0 0 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.796727103828 0.666168899553 5 3 5 2 2310 1023 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.323099957519 1.066961678329 6 4 6 4 2031 0132 1302 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 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.549952672569 0.163464411632 ==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' : 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' : 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_1'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0011_1'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_4'], '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_0101_2'], 'c_1010_5' : negation(d['c_0011_0']), 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : negation(d['c_0101_4']), '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_3, c_0101_0, c_0101_2, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 10221016932869895895/4345543610392795669*c_0110_6^24 - 235453600493699119265/4345543610392795669*c_0110_6^22 + 2245024394259167971317/4345543610392795669*c_0110_6^20 - 13357254263994027262085/4345543610392795669*c_0110_6^18 + 53286283653546475250273/4345543610392795669*c_0110_6^16 - 138324202512905089218389/4345543610392795669*c_0110_6^14 + 235974671349001580078388/4345543610392795669*c_0110_6^12 - 264435263863611368677192/4345543610392795669*c_0110_6^10 + 189441593122551032575780/4345543610392795669*c_0110_6^8 - 80576102436225884014543/4345543610392795669*c_0110_6^6 + 16536800512627626521938/4345543610392795669*c_0110_6^4 - 620547338659838432031/4345543610392795669*c_0110_6^2 + 44957282816433159349/4345543610392795669, c_0011_0 - 1, c_0011_1 - 1044910023999114247/4345543610392795669*c_0110_6^24 + 23833130948108031612/4345543610392795669*c_0110_6^22 - 224311520748695943852/4345543610392795669*c_0110_6^20 + 1319383372364109871774/4345543610392795669*c_0110_6^18 - 5191417365771261958013/4345543610392795669*c_0110_6^16 + 13208633263933302202682/4345543610392795669*c_0110_6^14 - 22045963734705504546315/4345543610392795669*c_0110_6^12 + 24175699785645329490229/4345543610392795669*c_0110_6^10 - 17044239245657439812425/4345543610392795669*c_0110_6^8 + 7271855576480457257246/4345543610392795669*c_0110_6^6 - 1603424545178472692101/4345543610392795669*c_0110_6^4 + 120763689341314337098/4345543610392795669*c_0110_6^2 - 5674310342178928913/4345543610392795669, c_0011_3 + 3570662591597968703/4345543610392795669*c_0110_6^25 - 81589445216786367546/4345543610392795669*c_0110_6^23 + 769951111982288428430/4345543610392795669*c_0110_6^21 - 4541872624365260407110/4345543610392795669*c_0110_6^19 + 17940139859742498597056/4345543610392795669*c_0110_6^17 - 45942973789789440594065/4345543610392795669*c_0110_6^15 + 77451994178644345901576/4345543610392795669*c_0110_6^13 - 86223144175340188146910/4345543610392795669*c_0110_6^11 + 62250688301652920747124/4345543610392795669*c_0110_6^9 - 27647262332122779238350/4345543610392795669*c_0110_6^7 + 6636801904144416158017/4345543610392795669*c_0110_6^5 - 653548010212453356550/4345543610392795669*c_0110_6^3 + 37260590426813946586/4345543610392795669*c_0110_6, c_0101_0 + 1539433070811914302/4345543610392795669*c_0110_6^25 - 34796351214568262993/4345543610392795669*c_0110_6^23 + 323495996720455892075/4345543610392795669*c_0110_6^21 - 1881114909134676030044/4345543610392795669*c_0110_6^19 + 7295045248092233617735/4345543610392795669*c_0110_6^17 - 18144009828387879184035/4345543610392795669*c_0110_6^15 + 29412766533516309890592/4345543610392795669*c_0110_6^13 - 31031575216463993920247/4345543610392795669*c_0110_6^11 + 20730741644069989696518/4345543610392795669*c_0110_6^9 - 8083436606418803519175/4345543610392795669*c_0110_6^7 + 1417037867203077028613/4345543610392795669*c_0110_6^5 + 8825017697091138154/4345543610392795669*c_0110_6^3 - 13260060562697780322/4345543610392795669*c_0110_6, c_0101_2 + 709250090989581840/4345543610392795669*c_0110_6^24 - 16287023664050908365/4345543610392795669*c_0110_6^22 + 154728341093480732848/4345543610392795669*c_0110_6^20 - 918342424316632742088/4345543610392795669*c_0110_6^18 + 3654510609635519066013/4345543610392795669*c_0110_6^16 - 9462580554731396476078/4345543610392795669*c_0110_6^14 + 16152721850802475040632/4345543610392795669*c_0110_6^12 - 18196045685281105846720/4345543610392795669*c_0110_6^10 + 13222250745370172984704/4345543610392795669*c_0110_6^8 - 5802486346093481796726/4345543610392795669*c_0110_6^6 + 1297425673318023338342/4345543610392795669*c_0110_6^4 - 87481371243684888712/4345543610392795669*c_0110_6^2 + 3767326036050845427/4345543610392795669, c_0101_4 - 122863585520152118/4345543610392795669*c_0110_6^25 + 2672980699483862728/4345543610392795669*c_0110_6^23 - 23550004448470926252/4345543610392795669*c_0110_6^21 + 130147184630044358207/4345543610392795669*c_0110_6^19 - 472141558984090849968/4345543610392795669*c_0110_6^17 + 1051592551983734330566/4345543610392795669*c_0110_6^15 - 1481451846205070400214/4345543610392795669*c_0110_6^13 + 1324153919634635965829/4345543610392795669*c_0110_6^11 - 765458483534022105420/4345543610392795669*c_0110_6^9 + 298723636133210783167/4345543610392795669*c_0110_6^7 - 68527355537862341263/4345543610392795669*c_0110_6^5 - 6284603991604259067/4345543610392795669*c_0110_6^3 + 9250302972248903270/4345543610392795669*c_0110_6, c_0110_6^26 - 23*c_0110_6^24 + 219*c_0110_6^22 - 1303*c_0110_6^20 + 5203*c_0110_6^18 - 13552*c_0110_6^16 + 23366*c_0110_6^14 - 26807*c_0110_6^12 + 20175*c_0110_6^10 - 9539*c_0110_6^8 + 2565*c_0110_6^6 - 330*c_0110_6^4 + 25*c_0110_6^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB