Magma V2.19-8 Tue Aug 20 2013 16:16:49 on localhost [Seed = 2985307495] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1085 geometric_solution 4.95204109 oriented_manifold CS_known 0.0000000000000001 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 0 0 0 0 0 0 0 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.137851179600 0.695424695680 0 3 5 5 0132 0132 2310 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.168907965435 3.243791640611 3 0 2 2 0132 0132 2031 1302 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 0 -1 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.262780673130 0.553288083591 2 1 4 0 0132 0132 3201 0132 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 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.137851179600 0.695424695680 3 4 0 4 2310 2310 0132 3201 0 0 0 0 0 1 -1 0 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 -1 0 1 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.274266052523 1.383603583698 6 1 1 6 0132 3201 0132 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.059672124910 0.196423517043 5 6 6 5 0132 1230 3012 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 2.957775352761 1.190352502060 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(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' : negation(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_5']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0101_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], '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_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_3']), '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_0101_3'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_0']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_3'])})} 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_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 387495565/4353619*c_0101_6^16 + 13318852326/4353619*c_0101_6^14 - 148176646862/4353619*c_0101_6^12 + 612827586141/4353619*c_0101_6^10 - 881175691163/4353619*c_0101_6^8 + 579192237880/4353619*c_0101_6^6 - 181158468504/4353619*c_0101_6^4 + 23308340355/4353619*c_0101_6^2 - 583369332/4353619, c_0011_0 - 1, c_0011_4 + 45790323/4353619*c_0101_6^17 - 1579683631/4353619*c_0101_6^15 + 17706556865/4353619*c_0101_6^13 - 74543120202/4353619*c_0101_6^11 + 112307532492/4353619*c_0101_6^9 - 77790322315/4353619*c_0101_6^7 + 25550295857/4353619*c_0101_6^5 - 3330366363/4353619*c_0101_6^3 + 54497518/4353619*c_0101_6, c_0011_5 + 492673/4353619*c_0101_6^16 - 14907092/4353619*c_0101_6^14 + 119662771/4353619*c_0101_6^12 - 35745188/4353619*c_0101_6^10 - 1743327595/4353619*c_0101_6^8 + 2560910008/4353619*c_0101_6^6 - 1311285232/4353619*c_0101_6^4 + 252707720/4353619*c_0101_6^2 - 12289866/4353619, c_0101_0 - 11492711/4353619*c_0101_6^16 + 396601635/4353619*c_0101_6^14 - 4448349994/4353619*c_0101_6^12 + 18756734459/4353619*c_0101_6^10 - 28385166064/4353619*c_0101_6^8 + 19814984398/4353619*c_0101_6^6 - 6613677381/4353619*c_0101_6^4 + 890737908/4353619*c_0101_6^2 - 18459030/4353619, c_0101_1 - 22235429/4353619*c_0101_6^17 + 766737747/4353619*c_0101_6^15 - 8585874510/4353619*c_0101_6^13 + 36050716886/4353619*c_0101_6^11 - 53832766619/4353619*c_0101_6^9 + 36435973602/4353619*c_0101_6^7 - 11464096160/4353619*c_0101_6^5 + 1397295592/4353619*c_0101_6^3 - 27090203/4353619*c_0101_6, c_0101_3 + 26561593/4353619*c_0101_6^17 - 915094178/4353619*c_0101_6^15 + 10229392002/4353619*c_0101_6^13 - 42793532038/4353619*c_0101_6^11 + 63466949328/4353619*c_0101_6^9 - 43389410905/4353619*c_0101_6^7 + 14314125786/4353619*c_0101_6^5 - 2046926655/4353619*c_0101_6^3 + 91663840/4353619*c_0101_6, c_0101_6^18 - 35*c_0101_6^16 + 404*c_0101_6^14 - 1822*c_0101_6^12 + 3270*c_0101_6^10 - 2932*c_0101_6^8 + 1416*c_0101_6^6 - 358*c_0101_6^4 + 40*c_0101_6^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB