Magma V2.19-8 Tue Aug 20 2013 16:18:45 on localhost [Seed = 947496268] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2913 geometric_solution 6.11471488 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 -1 0 1 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 0 0 0.974906064726 0.864773846422 0 5 5 6 0132 0132 3201 0132 0 0 0 0 0 0 1 -1 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 -1 1 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.426466258244 0.219418758894 2 0 2 6 2031 0132 1302 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.785049216807 0.761747429838 6 3 3 0 0132 1230 3012 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.036334537227 0.745318520166 4 6 0 4 3201 0132 0132 2310 0 0 0 0 0 1 -1 0 -1 0 0 1 0 -1 0 1 -1 0 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 -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.177402613455 0.765963097179 1 1 5 5 2310 0132 2031 1302 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.849634152484 1.464753009653 3 4 1 2 0132 0132 0132 1023 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 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.974906064726 0.864773846422 ==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' : negation(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' : 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' : 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' : negation(d['c_0011_0']), 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_0'], '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_3'], 'c_0011_6' : negation(d['c_0011_3']), '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' : d['c_0101_1'], 'c_1001_4' : d['c_0110_2'], 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : negation(d['c_0101_5']), 'c_1001_0' : d['c_0101_3'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : d['c_0110_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0110_2'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0110_2']})} 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_0101_0, c_0101_1, c_0101_3, c_0101_5, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 19095815634135857/1997613512784516*c_0110_2^21 - 90878638686350353/1997613512784516*c_0110_2^20 + 30331439446232581/1997613512784516*c_0110_2^19 + 70174329368591878/166467792732043*c_0110_2^18 + 92152125385835341/166467792732043*c_0110_2^17 - 2205547491082552847/1997613512784516*c_0110_2^16 - 6081018745948445885/1997613512784516*c_0110_2^15 - 540993361730588905/1997613512784516*c_0110_2^14 + 2858640710154040730/499403378196129*c_0110_2^13 + 3390698939734361643/665871170928172*c_0110_2^12 - 2957834990593100851/998806756392258*c_0110_2^11 - 4343029092325823547/665871170928172*c_0110_2^10 - 32721927192280785/15133435702913*c_0110_2^9 + 2895389162890346327/1997613512784516*c_0110_2^8 + 868690100188128147/665871170928172*c_0110_2^7 + 293072189914290789/332935585464086*c_0110_2^6 + 274225061566667171/499403378196129*c_0110_2^5 + 18392775031321697/1997613512784516*c_0110_2^4 + 37363545449460080/499403378196129*c_0110_2^3 + 14628179130752895/60533742811652*c_0110_2^2 + 61034311651946245/1997613512784516*c_0110_2 - 4151515213847451/166467792732043, c_0011_0 - 1, c_0011_3 - 28464373258/125069716553*c_0110_2^21 - 142354728459/125069716553*c_0110_2^20 + 42459781197/125069716553*c_0110_2^19 + 1385793932176/125069716553*c_0110_2^18 + 1795424840156/125069716553*c_0110_2^17 - 4141418439776/125069716553*c_0110_2^16 - 10498349046218/125069716553*c_0110_2^15 + 1525011793676/125069716553*c_0110_2^14 + 22763272707298/125069716553*c_0110_2^13 + 13270781439144/125069716553*c_0110_2^12 - 19686120557825/125069716553*c_0110_2^11 - 22225488642622/125069716553*c_0110_2^10 + 2736571749611/125069716553*c_0110_2^9 + 9608010465552/125069716553*c_0110_2^8 + 2137660801168/125069716553*c_0110_2^7 + 1785840391960/125069716553*c_0110_2^6 + 894219987612/125069716553*c_0110_2^5 - 1687850944934/125069716553*c_0110_2^4 + 111770588117/125069716553*c_0110_2^3 + 763639768823/125069716553*c_0110_2^2 - 452159811207/125069716553*c_0110_2 - 110800741551/125069716553, c_0101_0 - 16307983115/125069716553*c_0110_2^21 - 42193274431/125069716553*c_0110_2^20 + 139507262147/125069716553*c_0110_2^19 + 456410188472/125069716553*c_0110_2^18 - 299012378887/125069716553*c_0110_2^17 - 1758621049051/125069716553*c_0110_2^16 - 292952866142/125069716553*c_0110_2^15 + 2890939946768/125069716553*c_0110_2^14 + 1508070989933/125069716553*c_0110_2^13 - 1794655911569/125069716553*c_0110_2^12 - 754877429296/125069716553*c_0110_2^11 + 462949209232/125069716553*c_0110_2^10 - 857992320540/125069716553*c_0110_2^9 - 823617284321/125069716553*c_0110_2^8 - 427086514999/125069716553*c_0110_2^7 - 142121770883/125069716553*c_0110_2^6 + 1168920120457/125069716553*c_0110_2^5 + 1130378709362/125069716553*c_0110_2^4 - 391676535156/125069716553*c_0110_2^3 - 167227381826/125069716553*c_0110_2^2 - 18828124294/125069716553*c_0110_2 - 83465802465/125069716553, c_0101_1 - 46175736947/125069716553*c_0110_2^21 - 193924032712/125069716553*c_0110_2^20 + 199321639379/125069716553*c_0110_2^19 + 1991884418713/125069716553*c_0110_2^18 + 1470015746307/125069716553*c_0110_2^17 - 6842630626122/125069716553*c_0110_2^16 - 11264922118293/125069716553*c_0110_2^15 + 7306340628897/125069716553*c_0110_2^14 + 27012761702490/125069716553*c_0110_2^13 + 7327506504002/125069716553*c_0110_2^12 - 26382189231802/125069716553*c_0110_2^11 - 20191892031279/125069716553*c_0110_2^10 + 6799612576162/125069716553*c_0110_2^9 + 10585051387596/125069716553*c_0110_2^8 + 2199202090030/125069716553*c_0110_2^7 + 820143727947/125069716553*c_0110_2^6 - 368154352284/125069716553*c_0110_2^5 - 1285141371852/125069716553*c_0110_2^4 + 609805116186/125069716553*c_0110_2^3 + 671888948977/125069716553*c_0110_2^2 - 429043542071/125069716553*c_0110_2 - 103713843360/125069716553, c_0101_3 - c_0110_2^2 + 1, c_0101_5 + 31941701304/125069716553*c_0110_2^21 + 113790125382/125069716553*c_0110_2^20 - 193986769386/125069716553*c_0110_2^19 - 1213388247392/125069716553*c_0110_2^18 - 415627933034/125069716553*c_0110_2^17 + 4464120670900/125069716553*c_0110_2^16 + 5488680276601/125069716553*c_0110_2^15 - 5869669063903/125069716553*c_0110_2^14 - 14861885786153/125069716553*c_0110_2^13 - 2062942606699/125069716553*c_0110_2^12 + 15777125836699/125069716553*c_0110_2^11 + 11221184447876/125069716553*c_0110_2^10 - 4363076215894/125069716553*c_0110_2^9 - 7002674125274/125069716553*c_0110_2^8 - 1712259305657/125069716553*c_0110_2^7 - 596310680998/125069716553*c_0110_2^6 - 28949420476/125069716553*c_0110_2^5 + 956567397285/125069716553*c_0110_2^4 + 176562559557/125069716553*c_0110_2^3 - 509800325874/125069716553*c_0110_2^2 + 448494750436/125069716553*c_0110_2 + 31113995012/125069716553, c_0110_2^22 + 4*c_0110_2^21 - 5*c_0110_2^20 - 42*c_0110_2^19 - 25*c_0110_2^18 + 151*c_0110_2^17 + 222*c_0110_2^16 - 189*c_0110_2^15 - 568*c_0110_2^14 - 88*c_0110_2^13 + 611*c_0110_2^12 + 386*c_0110_2^11 - 223*c_0110_2^10 - 238*c_0110_2^9 - 14*c_0110_2^8 - 8*c_0110_2^7 + 5*c_0110_2^6 + 33*c_0110_2^5 - 11*c_0110_2^4 - 16*c_0110_2^3 + 14*c_0110_2^2 + 2*c_0110_2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB