Magma V2.19-8 Tue Aug 20 2013 16:14:20 on localhost [Seed = 4299811] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s306 geometric_solution 4.47176257 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 0 1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.412107120551 0.115678554273 2 0 2 0 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.162161460252 1.577609663804 1 1 3 4 0132 3201 0132 0132 0 0 0 0 0 0 0 0 -1 0 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 -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.760068620589 1.054955996576 5 4 4 2 0132 2031 1230 0132 0 0 0 0 0 0 0 0 -1 0 1 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 0 0 0 -1 0 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.600306036755 0.780596373127 3 5 2 3 1302 0132 0132 3012 0 0 0 0 0 1 0 -1 1 0 -1 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 1 0 -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.600306036755 0.780596373127 3 4 5 5 0132 0132 2031 1302 0 0 0 0 0 -1 0 1 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 -1 0 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.544951603176 0.303914467119 ==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_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_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_5' : d['c_0101_2'], 'c_1100_4' : d['c_0110_4'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0110_4'], 'c_1100_2' : d['c_0110_4'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : 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' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_0110_0'], 'c_1001_3' : negation(d['c_0110_4']), 'c_1001_2' : d['c_0011_3'], 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : d['c_0110_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0110_4'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0110_0'], 'c_1010_0' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0101_2, c_0101_3, c_0110_0, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 2 Groebner basis: [ t - 2*c_0110_4 - 3, c_0011_0 - 1, c_0011_3 + 1, c_0101_2 - c_0110_4, c_0101_3 - 1, c_0110_0 + c_0110_4, c_0110_4^2 + c_0110_4 - 1 ], Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0101_2, c_0101_3, c_0110_0, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t + 254748332493/4324679687*c_0110_4^12 - 335787742345/4324679687*c_0110_4^11 + 7742547948106/4324679687*c_0110_4^10 - 10603507759055/4324679687*c_0110_4^9 - 9574682898822/4324679687*c_0110_4^8 + 14364322171092/4324679687*c_0110_4^7 - 25145235874467/4324679687*c_0110_4^6 - 18547289709324/4324679687*c_0110_4^5 + 7211129058321/4324679687*c_0110_4^4 - 5522791000585/4324679687*c_0110_4^3 - 4640065505425/4324679687*c_0110_4^2 + 1660631139968/4324679687*c_0110_4 + 761421841014/4324679687, c_0011_0 - 1, c_0011_3 + 21204211397/4324679687*c_0110_4^12 - 32044562142/4324679687*c_0110_4^11 + 652578428023/4324679687*c_0110_4^10 - 1012081035992/4324679687*c_0110_4^9 - 540903042584/4324679687*c_0110_4^8 + 1190458393422/4324679687*c_0110_4^7 - 2335897787096/4324679687*c_0110_4^6 - 992880153509/4324679687*c_0110_4^5 + 551543524571/4324679687*c_0110_4^4 - 574887520239/4324679687*c_0110_4^3 - 245807767169/4324679687*c_0110_4^2 + 127305955049/4324679687*c_0110_4 + 39105883475/4324679687, c_0101_2 - 166426498414/4324679687*c_0110_4^12 + 242598485217/4324679687*c_0110_4^11 - 5103698491612/4324679687*c_0110_4^10 + 7661314556471/4324679687*c_0110_4^9 + 4819026034199/4324679687*c_0110_4^8 - 9370066317691/4324679687*c_0110_4^7 + 17771005577155/4324679687*c_0110_4^6 + 9011844290522/4324679687*c_0110_4^5 - 4475264790276/4324679687*c_0110_4^4 + 4216488327980/4324679687*c_0110_4^3 + 2230231523452/4324679687*c_0110_4^2 - 1026183188919/4324679687*c_0110_4 - 360249214377/4324679687, c_0101_3 + 189379415792/4324679687*c_0110_4^12 - 274974042231/4324679687*c_0110_4^11 + 5805916573140/4324679687*c_0110_4^10 - 8684701341210/4324679687*c_0110_4^9 - 5535772152472/4324679687*c_0110_4^8 + 10631504358222/4324679687*c_0110_4^7 - 20146488850100/4324679687*c_0110_4^6 - 10389337900367/4324679687*c_0110_4^5 + 5043967918265/4324679687*c_0110_4^4 - 4746098754256/4324679687*c_0110_4^3 - 2589327760294/4324679687*c_0110_4^2 + 1158936410534/4324679687*c_0110_4 + 421192749273/4324679687, c_0110_0 - 125014495645/4324679687*c_0110_4^12 + 179019461312/4324679687*c_0110_4^11 - 3827701483392/4324679687*c_0110_4^10 + 5654103535546/4324679687*c_0110_4^9 + 3810071448218/4324679687*c_0110_4^8 - 7018341448619/4324679687*c_0110_4^7 + 13148988485930/4324679687*c_0110_4^6 + 7188937184462/4324679687*c_0110_4^5 - 3352045607117/4324679687*c_0110_4^4 + 3053329749813/4324679687*c_0110_4^3 + 1789648039572/4324679687*c_0110_4^2 - 773056385337/4324679687*c_0110_4 - 293024607604/4324679687, c_0110_4^13 - c_0110_4^12 + 30*c_0110_4^11 - 32*c_0110_4^10 - 50*c_0110_4^9 + 43*c_0110_4^8 - 81*c_0110_4^7 - 103*c_0110_4^6 + 2*c_0110_4^5 - 13*c_0110_4^4 - 25*c_0110_4^3 + 5*c_0110_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB