Magma V2.19-8 Tue Aug 20 2013 16:18:39 on localhost [Seed = 1242290041] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2831 geometric_solution 6.05076416 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 1 0 2 2031 0132 1302 0132 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 -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.521624569589 0.700693925433 3 0 3 4 0132 0132 0213 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 1 -1 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.254202635828 0.668247739452 5 4 0 3 0132 1302 0132 2103 0 0 0 0 0 1 -1 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 -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.701450868809 1.017243325184 1 1 6 2 0132 0213 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.077924294905 0.653008547022 6 5 1 2 0132 0213 0132 2031 0 0 0 0 0 0 0 0 1 0 0 -1 -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 0 0 0 0.688216186286 1.737421988147 2 5 4 5 0132 1302 0213 2031 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.267257585621 1.536231602284 4 6 6 3 0132 3201 2310 0132 0 0 0 0 0 0 0 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 -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.128909280267 0.686114586039 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : 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' : 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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : negation(d['c_1010_2']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_1010_2']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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' : d['c_0011_2'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_6'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : d['c_0101_6'], 'c_0110_1' : d['c_0101_3'], 'c_0110_0' : d['c_0101_2'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0011_2']), 'c_1010_4' : d['c_0011_2'], 'c_1010_3' : negation(d['c_1010_2']), 'c_1010_2' : d['c_1010_2'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : d['c_0101_6']})} 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_2, c_0011_4, c_0101_2, c_0101_3, c_0101_6, c_1010_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 42771614203918/1251761445*c_1010_2^15 + 62095258719844/417253815*c_1010_2^14 - 307641553525138/1251761445*c_1010_2^13 + 133511371284578/417253815*c_1010_2^12 + 1584050879141737/1251761445*c_1010_2^11 - 33384298870196/27816921*c_1010_2^10 + 661103504109584/417253815*c_1010_2^9 - 1972338248689516/1251761445*c_1010_2^8 - 1356484605306592/1251761445*c_1010_2^7 + 677887696728614/417253815*c_1010_2^6 - 1042009919604448/1251761445*c_1010_2^5 + 83344062898379/37932165*c_1010_2^4 - 3830269455472256/1251761445*c_1010_2^3 + 2279244877688777/1251761445*c_1010_2^2 - 41821564070126/83450763*c_1010_2 + 66428122322948/1251761445, c_0011_0 - 1, c_0011_2 + 735947629/280979*c_1010_2^15 - 3210717200/280979*c_1010_2^14 + 5315171823/280979*c_1010_2^13 - 6923507749/280979*c_1010_2^12 - 27215687482/280979*c_1010_2^11 + 26062327664/280979*c_1010_2^10 - 34245619739/280979*c_1010_2^9 + 34148846934/280979*c_1010_2^8 + 23162001183/280979*c_1010_2^7 - 35220311565/280979*c_1010_2^6 + 18112840598/280979*c_1010_2^5 - 47395359945/280979*c_1010_2^4 + 66228109991/280979*c_1010_2^3 - 39596237912/280979*c_1010_2^2 + 10957949471/280979*c_1010_2 - 1167899823/280979, c_0011_4 + 373996600/280979*c_1010_2^15 - 1608228209/280979*c_1010_2^14 + 2609294991/280979*c_1010_2^13 - 3389902447/280979*c_1010_2^12 - 13993913700/280979*c_1010_2^11 + 12306624610/280979*c_1010_2^10 - 16987601031/280979*c_1010_2^9 + 16449787482/280979*c_1010_2^8 + 12457307664/280979*c_1010_2^7 - 16857350757/280979*c_1010_2^6 + 8542637141/280979*c_1010_2^5 - 23803769770/280979*c_1010_2^4 + 32273937413/280979*c_1010_2^3 - 18625858253/280979*c_1010_2^2 + 4971782831/280979*c_1010_2 - 510384285/280979, c_0101_2 - 446851064/280979*c_1010_2^15 + 1930259885/280979*c_1010_2^14 - 3150627726/280979*c_1010_2^13 + 4093852280/280979*c_1010_2^12 + 16663972783/280979*c_1010_2^11 - 15061240074/280979*c_1010_2^10 + 20398470163/280979*c_1010_2^9 - 19992201509/280979*c_1010_2^8 - 14676629187/280979*c_1010_2^7 + 20546516566/280979*c_1010_2^6 - 10391372171/280979*c_1010_2^5 + 28536582624/280979*c_1010_2^4 - 39065914736/280979*c_1010_2^3 + 22743764990/280979*c_1010_2^2 - 6111715695/280979*c_1010_2 + 630035198/280979, c_0101_3 - 647943659/280979*c_1010_2^15 + 2829383551/280979*c_1010_2^14 - 4688584632/280979*c_1010_2^13 + 6105601935/280979*c_1010_2^12 + 23948135469/280979*c_1010_2^11 - 23056552530/280979*c_1010_2^10 + 30146050046/280979*c_1010_2^9 - 30162979045/280979*c_1010_2^8 - 20360896028/280979*c_1010_2^7 + 31143332060/280979*c_1010_2^6 - 15959446983/280979*c_1010_2^5 + 41747535101/280979*c_1010_2^4 - 58452518109/280979*c_1010_2^3 + 34960531301/280979*c_1010_2^2 - 9661706274/280979*c_1010_2 + 1026267925/280979, c_0101_6 + 784331344/280979*c_1010_2^15 - 3399080167/280979*c_1010_2^14 + 5574904282/280979*c_1010_2^13 - 7251784487/280979*c_1010_2^12 - 29166037051/280979*c_1010_2^11 + 26868687035/280979*c_1010_2^10 - 36068340070/280979*c_1010_2^9 + 35514796192/280979*c_1010_2^8 + 25374144416/280979*c_1010_2^7 - 36534805019/280979*c_1010_2^6 + 18630594760/280979*c_1010_2^5 - 50231870990/280979*c_1010_2^4 + 69235152261/280979*c_1010_2^3 - 40713391270/280979*c_1010_2^2 + 11072895155/280979*c_1010_2 - 1158327944/280979, c_1010_2^16 - 5*c_1010_2^15 + 10*c_1010_2^14 - 14*c_1010_2^13 - 31*c_1010_2^12 + 59*c_1010_2^11 - 69*c_1010_2^10 + 76*c_1010_2^9 + 2*c_1010_2^8 - 68*c_1010_2^7 + 55*c_1010_2^6 - 80*c_1010_2^5 + 131*c_1010_2^4 - 111*c_1010_2^3 + 49*c_1010_2^2 - 11*c_1010_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB