Magma V2.19-8 Tue Aug 20 2013 16:18:01 on localhost [Seed = 3381155078] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2247 geometric_solution 5.67892975 oriented_manifold CS_known 0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 3201 2031 1302 0 0 0 0 0 -1 -1 2 1 0 -2 1 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 1 -1 0 0 1 -1 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.594837313493 0.150759494630 0 2 0 3 0132 0132 2310 0132 0 0 0 0 0 -1 1 0 -1 0 0 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 -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.824280014338 0.464146972512 4 1 5 3 0132 0132 0132 1230 0 0 0 0 0 1 -1 0 -1 0 1 0 0 1 0 -1 0 -1 1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.692476853890 0.899562231516 2 5 1 4 3012 3201 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.692476853890 0.899562231516 2 4 3 4 0132 2310 0132 3201 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.022701366137 1.188502979080 6 6 3 2 0132 3201 2310 0132 0 0 0 0 0 -1 0 1 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 1 0 -1 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.089736869115 1.732549155152 5 6 5 6 0132 1302 2310 2031 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.467619249298 0.875412778708 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : negation(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' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(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' : d['c_0011_5'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(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_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_5']), '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t + 78738481963329/4672822065650*c_0101_2*c_0101_5^17 - 467530093650957/4672822065650*c_0101_2*c_0101_5^16 - 2010262915569003/4672822065650*c_0101_2*c_0101_5^15 + 579700878681422/2336411032825*c_0101_2*c_0101_5^14 + 13113909155043809/4672822065650*c_0101_2*c_0101_5^13 + 8405155762772951/2336411032825*c_0101_2*c_0101_5^12 - 862665057880814/467282206565*c_0101_2*c_0101_5^11 - 42978221078655491/4672822065650*c_0101_2*c_0101_5^10 - 40113640063198761/4672822065650*c_0101_2*c_0101_5^9 + 7209443785293307/4672822065650*c_0101_2*c_0101_5^8 + 24610735806217668/2336411032825*c_0101_2*c_0101_5^7 + 40683965641168013/4672822065650*c_0101_2*c_0101_5^6 + 2291230374471789/4672822065650*c_0101_2*c_0101_5^5 - 18291153951735703/4672822065650*c_0101_2*c_0101_5^4 - 13241919103746593/4672822065650*c_0101_2*c_0101_5^3 - 810430255902109/934564413130*c_0101_2*c_0101_5^2 - 240636419562138/2336411032825*c_0101_2*c_0101_5 - 18063099847203/4672822065650*c_0101_2, c_0011_0 - 1, c_0011_3 - 8134124880853/2336411032825*c_0101_2*c_0101_5^17 + 50546254078624/2336411032825*c_0101_2*c_0101_5^16 + 194904050913946/2336411032825*c_0101_2*c_0101_5^15 - 181264997613858/2336411032825*c_0101_2*c_0101_5^14 - 1331816503199763/2336411032825*c_0101_2*c_0101_5^13 - 1341243990731239/2336411032825*c_0101_2*c_0101_5^12 + 288745179829266/467282206565*c_0101_2*c_0101_5^11 + 4224810821160862/2336411032825*c_0101_2*c_0101_5^10 + 2807498054284377/2336411032825*c_0101_2*c_0101_5^9 - 2049792869319199/2336411032825*c_0101_2*c_0101_5^8 - 4911274637423077/2336411032825*c_0101_2*c_0101_5^7 - 2664420185447591/2336411032825*c_0101_2*c_0101_5^6 + 1058503494571752/2336411032825*c_0101_2*c_0101_5^5 + 1947429422327671/2336411032825*c_0101_2*c_0101_5^4 + 774355903310076/2336411032825*c_0101_2*c_0101_5^3 + 3903325518238/467282206565*c_0101_2*c_0101_5^2 - 49532488473618/2336411032825*c_0101_2*c_0101_5 - 4342596911679/2336411032825*c_0101_2, c_0011_5 - 4138097371147/2336411032825*c_0101_2*c_0101_5^17 + 23803262379926/2336411032825*c_0101_2*c_0101_5^16 + 111237682163704/2336411032825*c_0101_2*c_0101_5^15 - 47759554882617/2336411032825*c_0101_2*c_0101_5^14 - 724689383793762/2336411032825*c_0101_2*c_0101_5^13 - 989603181403886/2336411032825*c_0101_2*c_0101_5^12 + 90207505460849/467282206565*c_0101_2*c_0101_5^11 + 2515318095702988/2336411032825*c_0101_2*c_0101_5^10 + 2382129788742398/2336411032825*c_0101_2*c_0101_5^9 - 479971272462676/2336411032825*c_0101_2*c_0101_5^8 - 3040487523409048/2336411032825*c_0101_2*c_0101_5^7 - 2457788142937134/2336411032825*c_0101_2*c_0101_5^6 + 27801678340448/2336411032825*c_0101_2*c_0101_5^5 + 1300896433801054/2336411032825*c_0101_2*c_0101_5^4 + 828707076097249/2336411032825*c_0101_2*c_0101_5^3 + 29561976049367/467282206565*c_0101_2*c_0101_5^2 - 41902185579732/2336411032825*c_0101_2*c_0101_5 - 15923354131321/2336411032825*c_0101_2, c_0101_0 + 1741504793506/2336411032825*c_0101_5^17 - 6707566313873/2336411032825*c_0101_5^16 - 67702195508442/2336411032825*c_0101_5^15 - 57073147140934/2336411032825*c_0101_5^14 + 385370461269726/2336411032825*c_0101_5^13 + 948430896023803/2336411032825*c_0101_5^12 + 61629684765013/467282206565*c_0101_5^11 - 1679338871948324/2336411032825*c_0101_5^10 - 2650493140112229/2336411032825*c_0101_5^9 - 795400847055702/2336411032825*c_0101_5^8 + 2177120909272079/2336411032825*c_0101_5^7 + 2924790867759282/2336411032825*c_0101_5^6 + 899194572758496/2336411032825*c_0101_5^5 - 1044314494197192/2336411032825*c_0101_5^4 - 1085110316575777/2336411032825*c_0101_5^3 - 61315221366286/467282206565*c_0101_5^2 + 35600288304086/2336411032825*c_0101_5 + 28193902611733/2336411032825, c_0101_1 - 3220093548938/2336411032825*c_0101_5^17 + 19236333772504/2336411032825*c_0101_5^16 + 81241878316841/2336411032825*c_0101_5^15 - 48074658188193/2336411032825*c_0101_5^14 - 531692893815523/2336411032825*c_0101_5^13 - 686022137611519/2336411032825*c_0101_5^12 + 70028869908616/467282206565*c_0101_5^11 + 1781469605886302/2336411032825*c_0101_5^10 + 1677791306950617/2336411032825*c_0101_5^9 - 330111605152404/2336411032825*c_0101_5^8 - 2126205244552467/2336411032825*c_0101_5^7 - 1739783223540711/2336411032825*c_0101_5^6 - 36536135166383/2336411032825*c_0101_5^5 + 890778461339366/2336411032825*c_0101_5^4 + 608255596154546/2336411032825*c_0101_5^3 + 24515505363853/467282206565*c_0101_5^2 - 30567707609778/2336411032825*c_0101_5 - 10703225258734/2336411032825, c_0101_2^2 - 10534310670951/4672822065650*c_0101_5^17 + 59986023206833/4672822065650*c_0101_5^16 + 287028028496757/4672822065650*c_0101_5^15 - 53722456720293/2336411032825*c_0101_5^14 - 1859247311405421/4672822065650*c_0101_5^13 - 1308414708229869/2336411032825*c_0101_5^12 + 105338121491181/467282206565*c_0101_5^11 + 6514177767109579/4672822065650*c_0101_5^10 + 6373967416005909/4672822065650*c_0101_5^9 - 1021609776662983/4672822065650*c_0101_5^8 - 3946330255161467/2336411032825*c_0101_5^7 - 6613136041067947/4672822065650*c_0101_5^6 - 125131006547091/4672822065650*c_0101_5^5 + 3380722297931107/4672822065650*c_0101_5^4 + 2247431146562167/4672822065650*c_0101_5^3 + 85722231822661/934564413130*c_0101_5^2 - 50154735596378/2336411032825*c_0101_5 - 42974770731993/4672822065650, c_0101_5^18 - 5*c_0101_5^17 - 31*c_0101_5^16 - 10*c_0101_5^15 + 179*c_0101_5^14 + 376*c_0101_5^13 + 104*c_0101_5^12 - 659*c_0101_5^11 - 1071*c_0101_5^10 - 419*c_0101_5^9 + 758*c_0101_5^8 + 1199*c_0101_5^7 + 557*c_0101_5^6 - 259*c_0101_5^5 - 463*c_0101_5^4 - 231*c_0101_5^3 - 34*c_0101_5^2 + 11*c_0101_5 + 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB