Magma V2.19-8 Tue Aug 20 2013 16:17:13 on localhost [Seed = 1494795652] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1454 geometric_solution 5.27310701 oriented_manifold CS_known 0.0000000000000001 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.461692336409 0.187367256656 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 0 1 -1 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 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 1.165006801960 0.245222986585 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 -1 1 -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 -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.863750244252 0.499014844997 2 4 6 5 0132 0321 0132 0132 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 -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.728843764505 0.759981448134 6 5 2 3 1023 1023 0132 0321 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 -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.728843764505 0.759981448134 4 5 3 5 1023 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.579534263584 0.346483993536 6 4 6 3 2310 1023 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 0.123228864246 1.030828872891 ==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' : negation(d['1']), 's_2_2' : negation(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' : negation(d['1']), 's_1_1' : negation(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_4']), 'c_1100_5' : negation(d['c_0011_4']), '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' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], '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_4'], '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_0110_5'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_1']), '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' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_1']), 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0101_2'], '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_2, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t + 6*c_0110_5^6 + 18*c_0110_5^4 + 11*c_0110_5^2 - 40, c_0011_0 - 1, c_0011_1 + 1/3*c_0110_5^6 + c_0110_5^4 + 1/3*c_0110_5^2 - 1, c_0011_4 + 1/3*c_0110_5^7 + c_0110_5^5 + 1/3*c_0110_5^3 - 2*c_0110_5, c_0101_0 + 1/3*c_0110_5^7 + c_0110_5^5 + 4/3*c_0110_5^3 - c_0110_5, c_0101_2 - 1/3*c_0110_5^7 - 4/3*c_0110_5^5 - 4/3*c_0110_5^3 + 5/3*c_0110_5, c_0101_3 - 1/3*c_0110_5^4 - c_0110_5^2 + 2/3, c_0110_5^8 + 3*c_0110_5^6 + 2*c_0110_5^4 - 6*c_0110_5^2 + 1 ], 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_2, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 54519882192321334/180023227494151*c_0110_5^20 - 1806451742200606236/180023227494151*c_0110_5^18 - 9081172459803762541/180023227494151*c_0110_5^16 - 9416009959381082129/180023227494151*c_0110_5^14 + 18434330345698728592/180023227494151*c_0110_5^12 + 4565699624442142869/180023227494151*c_0110_5^10 + 6854200461503435286/180023227494151*c_0110_5^8 + 827022342337158214/180023227494151*c_0110_5^6 - 5617454188665017288/180023227494151*c_0110_5^4 - 3882170301525027056/180023227494151*c_0110_5^2 - 405958291880367558/180023227494151, c_0011_0 - 1, c_0011_1 - 407041515267555/180023227494151*c_0110_5^20 + 13482282649932259/180023227494151*c_0110_5^18 + 67952006827606422/180023227494151*c_0110_5^16 + 71002415448123913/180023227494151*c_0110_5^14 - 137107347689214624/180023227494151*c_0110_5^12 - 35846168681341618/180023227494151*c_0110_5^10 - 50937841694815718/180023227494151*c_0110_5^8 - 6865273229824122/180023227494151*c_0110_5^6 + 41862630251150105/180023227494151*c_0110_5^4 + 29500419190822369/180023227494151*c_0110_5^2 + 3233849372103974/180023227494151, c_0011_4 + 4327112017431949/180023227494151*c_0110_5^21 - 143356204468013047/180023227494151*c_0110_5^19 - 721333323562828422/180023227494151*c_0110_5^17 - 750188385439543985/180023227494151*c_0110_5^15 + 1460306499036408452/180023227494151*c_0110_5^13 + 368396339932759485/180023227494151*c_0110_5^11 + 544661195615200367/180023227494151*c_0110_5^9 + 67949422626657263/180023227494151*c_0110_5^7 - 445880213998054393/180023227494151*c_0110_5^5 - 309737596926793886/180023227494151*c_0110_5^3 - 33116490889240282/180023227494151*c_0110_5, c_0101_0 + 12143836720122930/180023227494151*c_0110_5^21 - 402341855002049026/180023227494151*c_0110_5^19 - 2023744403381724106/180023227494151*c_0110_5^17 - 2102173912036418063/180023227494151*c_0110_5^15 + 4101593024519674557/180023227494151*c_0110_5^13 + 1027897298458229787/180023227494151*c_0110_5^11 + 1528524823755680718/180023227494151*c_0110_5^9 + 188114960015176709/180023227494151*c_0110_5^7 - 1251670749790680284/180023227494151*c_0110_5^5 - 867935498504345354/180023227494151*c_0110_5^3 - 92407937298170873/180023227494151*c_0110_5, c_0101_2 - 6687976552557453/180023227494151*c_0110_5^21 + 221580109831300327/180023227494151*c_0110_5^19 + 1114594485153510816/180023227494151*c_0110_5^17 + 1157929508714879880/180023227494151*c_0110_5^15 - 2258947626511121048/180023227494151*c_0110_5^13 - 566949881482590419/180023227494151*c_0110_5^11 - 841099258130687279/180023227494151*c_0110_5^9 - 103991648629015597/180023227494151*c_0110_5^7 + 689592111686259027/180023227494151*c_0110_5^5 + 478097213615852571/180023227494151*c_0110_5^3 + 50967698282841995/180023227494151*c_0110_5, c_0101_3 - 916708769805408/180023227494151*c_0110_5^20 + 30370962088916671/180023227494151*c_0110_5^18 + 152794870846533778/180023227494151*c_0110_5^16 + 158854506789794517/180023227494151*c_0110_5^14 - 309305934103683270/180023227494151*c_0110_5^12 - 77511010960059980/180023227494151*c_0110_5^10 - 115263549981281943/180023227494151*c_0110_5^8 - 14382504991693084/180023227494151*c_0110_5^6 + 93996646245173924/180023227494151*c_0110_5^4 + 65532580249626990/180023227494151*c_0110_5^2 + 6945136534665771/180023227494151, c_0110_5^22 - 33*c_0110_5^20 - 171*c_0110_5^18 - 195*c_0110_5^16 + 315*c_0110_5^14 + 129*c_0110_5^12 + 137*c_0110_5^10 + 32*c_0110_5^8 - 101*c_0110_5^6 - 85*c_0110_5^4 - 17*c_0110_5^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB