Magma V2.19-8 Tue Aug 20 2013 16:16:30 on localhost [Seed = 1377029812] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0792 geometric_solution 4.73072475 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 1023 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 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.678620807979 0.213870364286 0 3 0 3 0132 0132 1023 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.737465877253 0.119361722032 4 0 5 0 0132 0132 0132 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 -1 1 0 -1 0 0 1 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.784679557414 0.997718194907 4 1 4 1 3012 0132 0321 1023 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.678620807979 0.213870364286 2 5 3 3 0132 3012 0321 1230 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 0 0 0 1 0 -1 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.206680279043 0.957682756234 4 6 6 2 1230 0132 1023 0132 0 0 0 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 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.028227183740 0.699915614365 6 5 5 6 3201 0132 1023 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.735250414304 0.577382377508 ==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' : negation(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' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0110_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : negation(d['c_0011_5']), 'c_1100_3' : negation(d['c_0011_5']), 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : negation(d['c_0101_3']), '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_5'], 'c_0011_4' : d['c_0011_0'], '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' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0110_3'], '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_0110_3'], 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : d['c_0011_0'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0110_3'], '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_5, c_0101_0, c_0101_1, c_0101_3, c_0101_6, c_0110_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 242272179/17920*c_0110_3^17 - 139265087/1120*c_0110_3^16 - 3365820851/8960*c_0110_3^15 - 3101212043/4480*c_0110_3^14 - 35412103031/17920*c_0110_3^13 - 1487494973/640*c_0110_3^12 + 1948626415/3584*c_0110_3^11 - 124206491907/17920*c_0110_3^10 + 5515056369/1120*c_0110_3^9 + 18261754155/1792*c_0110_3^8 - 322010848053/8960*c_0110_3^7 + 270527858823/4480*c_0110_3^6 - 57238951709/896*c_0110_3^5 + 158696244811/3584*c_0110_3^4 - 354161940977/17920*c_0110_3^3 + 96840243757/17920*c_0110_3^2 - 732580547/896*c_0110_3 + 935838381/17920, c_0011_0 - 1, c_0011_5 + 4782969/1024*c_0110_3^17 + 11160261/256*c_0110_3^16 + 69618771/512*c_0110_3^15 + 8325909/32*c_0110_3^14 + 744076449/1024*c_0110_3^13 + 235388997/256*c_0110_3^12 - 16172865/1024*c_0110_3^11 + 2520016677/1024*c_0110_3^10 - 42953409/32*c_0110_3^9 - 1821813525/512*c_0110_3^8 + 6098451363/512*c_0110_3^7 - 4979043081/256*c_0110_3^6 + 5122569015/256*c_0110_3^5 - 13760589525/1024*c_0110_3^4 + 5926102687/1024*c_0110_3^3 - 1564029839/1024*c_0110_3^2 + 14348907/64*c_0110_3 - 14348907/1024, c_0101_0 + 3452231/512*c_0110_3^17 + 8081729/128*c_0110_3^16 + 50762629/256*c_0110_3^15 + 24468343/64*c_0110_3^14 + 544162431/512*c_0110_3^13 + 174642107/128*c_0110_3^12 + 15807809/512*c_0110_3^11 + 1828101443/512*c_0110_3^10 - 116614855/64*c_0110_3^9 - 1319907527/256*c_0110_3^8 + 4359654665/256*c_0110_3^7 - 3533398257/128*c_0110_3^6 + 3607779055/128*c_0110_3^5 - 9601269523/512*c_0110_3^4 + 4086124833/512*c_0110_3^3 - 1063196513/512*c_0110_3^2 + 19193049/64*c_0110_3 - 9422741/512, c_0101_1 + c_0110_3, c_0101_3 - 2985255/512*c_0110_3^17 - 436953/8*c_0110_3^16 - 43948231/256*c_0110_3^15 - 42403075/128*c_0110_3^14 - 471249915/512*c_0110_3^13 - 151486431/128*c_0110_3^12 - 16295745/512*c_0110_3^11 - 1581456807/512*c_0110_3^10 + 6256675/4*c_0110_3^9 + 1142162323/256*c_0110_3^8 - 3765560345/256*c_0110_3^7 + 3049090127/128*c_0110_3^6 - 3110134713/128*c_0110_3^5 + 8266257131/512*c_0110_3^4 - 3511895181/512*c_0110_3^3 + 911753497/512*c_0110_3^2 - 32828679/128*c_0110_3 + 8032473/512, c_0101_6 - 1594323/256*c_0110_3^17 - 14939397/256*c_0110_3^16 - 46983321/256*c_0110_3^15 - 90718947/256*c_0110_3^14 - 62987787/64*c_0110_3^13 - 40543335/32*c_0110_3^12 - 9731421/256*c_0110_3^11 - 422423343/128*c_0110_3^10 + 212722335/128*c_0110_3^9 + 152575407/32*c_0110_3^8 - 2009315445/128*c_0110_3^7 + 3251906423/128*c_0110_3^6 - 3314591885/128*c_0110_3^5 + 4400866249/256*c_0110_3^4 - 933741325/128*c_0110_3^3 + 484143007/256*c_0110_3^2 - 69618515/256*c_0110_3 + 531441/32, c_0110_3^18 + 9*c_0110_3^17 + 26*c_0110_3^16 + 46*c_0110_3^15 + 137*c_0110_3^14 + 145*c_0110_3^13 - 69*c_0110_3^12 + 528*c_0110_3^11 - 463*c_0110_3^10 - 666*c_0110_3^9 + 2804*c_0110_3^8 - 5014*c_0110_3^7 + 5672*c_0110_3^6 - 4305*c_0110_3^5 + 2198*c_0110_3^4 - 740*c_0110_3^3 + 157*c_0110_3^2 - 19*c_0110_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB