Magma V2.19-8 Tue Aug 20 2013 16:14:28 on localhost [Seed = 3633923292] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s452 geometric_solution 4.77026770 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 1 2 3 1 0132 0132 0132 0321 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 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.717887545350 0.753197064850 0 0 2 3 0132 0321 3120 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.336927556970 0.695685864879 4 0 1 4 0132 0132 3120 3201 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 0 0 0 0 0 1 -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.495096254381 0.664091536167 5 5 1 0 0132 2310 2031 0132 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 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.345641265085 0.482188904386 2 2 4 4 0132 2310 2031 1302 0 0 0 0 0 1 -1 0 0 0 0 0 0 -1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.903434869602 1.205331089288 3 5 5 3 0132 3201 2310 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.154896041307 0.593107903620 ==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' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0101_4'], 'c_1100_1' : negation(d['c_0101_2']), 'c_1100_0' : d['c_1001_1'], 'c_1100_3' : d['c_1001_1'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_0'], '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_0']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_1001_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0101_2']), 'c_0110_4' : d['c_0101_2'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_1001_1']), 'c_1010_0' : negation(d['c_1001_1'])})} 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_0, c_0101_2, c_0101_4, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 75921218924185438/1054759204855641*c_1001_1^20 + 41485078706519084/351586401618547*c_1001_1^19 + 409259742974142368/1054759204855641*c_1001_1^18 + 261622281209690445/351586401618547*c_1001_1^17 - 707202225394161902/1054759204855641*c_1001_1^16 - 2018650366493818085/1054759204855641*c_1001_1^15 + 1060577981366257042/1054759204855641*c_1001_1^14 + 2010490523683917640/1054759204855641*c_1001_1^13 - 90615193573164376/1054759204855641*c_1001_1^12 - 1074318472238356106/351586401618547*c_1001_1^11 - 743089062731298047/1054759204855641*c_1001_1^10 - 4754143954044925864/1054759204855641*c_1001_1^9 + 8884318614899910197/1054759204855641*c_1001_1^8 - 875986216180641940/1054759204855641*c_1001_1^7 + 720671577759834074/351586401618547*c_1001_1^6 + 230781699081858643/1054759204855641*c_1001_1^5 - 4438423746332879893/1054759204855641*c_1001_1^4 + 469989882233347918/1054759204855641*c_1001_1^3 + 1105238680751775673/1054759204855641*c_1001_1^2 - 31341956285791923/351586401618547*c_1001_1 - 67304997064367837/1054759204855641, c_0011_0 - 1, c_0011_3 + 7384654970076915/351586401618547*c_1001_1^20 - 10931927850588578/351586401618547*c_1001_1^19 - 42619182817586161/351586401618547*c_1001_1^18 - 81284958114118027/351586401618547*c_1001_1^17 + 61325809104718322/351586401618547*c_1001_1^16 + 217120690412265308/351586401618547*c_1001_1^15 - 78152498682779028/351586401618547*c_1001_1^14 - 233057095149493554/351586401618547*c_1001_1^13 - 11984465632146813/351586401618547*c_1001_1^12 + 334162260524634852/351586401618547*c_1001_1^11 + 123769588341487267/351586401618547*c_1001_1^10 + 441302447119968657/351586401618547*c_1001_1^9 - 799822821625315405/351586401618547*c_1001_1^8 - 115628880397731704/351586401618547*c_1001_1^7 - 102363961370599766/351586401618547*c_1001_1^6 - 76828636465939709/351586401618547*c_1001_1^5 + 469324222160470721/351586401618547*c_1001_1^4 + 26384835837844756/351586401618547*c_1001_1^3 - 155715801906301601/351586401618547*c_1001_1^2 - 2584096627976102/351586401618547*c_1001_1 + 13565981465668064/351586401618547, c_0101_0 + 3411239886060315/351586401618547*c_1001_1^20 - 4813470785842792/351586401618547*c_1001_1^19 - 20031059445514807/351586401618547*c_1001_1^18 - 38767977549443081/351586401618547*c_1001_1^17 + 25538662475765721/351586401618547*c_1001_1^16 + 101316178437755967/351586401618547*c_1001_1^15 - 31315373117273836/351586401618547*c_1001_1^14 - 110289891529298208/351586401618547*c_1001_1^13 - 9950839584743551/351586401618547*c_1001_1^12 + 153536196785752599/351586401618547*c_1001_1^11 + 64662138701393202/351586401618547*c_1001_1^10 + 206044919948711874/351586401618547*c_1001_1^9 - 351090127422605622/351586401618547*c_1001_1^8 - 75138435502342721/351586401618547*c_1001_1^7 - 38472768501009884/351586401618547*c_1001_1^6 - 47178612668324733/351586401618547*c_1001_1^5 + 215472414033736142/351586401618547*c_1001_1^4 + 20618822083714068/351586401618547*c_1001_1^3 - 74734224455166032/351586401618547*c_1001_1^2 - 1965086472899009/351586401618547*c_1001_1 + 6463049142734918/351586401618547, c_0101_2 - 2009008986277838/351586401618547*c_1001_1^20 + 2974860015213232/351586401618547*c_1001_1^19 + 11478058460960561/351586401618547*c_1001_1^18 + 22218695929078689/351586401618547*c_1001_1^17 - 16035181286248092/351586401618547*c_1001_1^16 - 57376863920294354/351586401618547*c_1001_1^15 + 21597654491730018/351586401618547*c_1001_1^14 + 61119437875648276/351586401618547*c_1001_1^13 + 3380837973021891/351586401618547*c_1001_1^12 - 88540817903815407/351586401618547*c_1001_1^11 - 32071685759635809/351586401618547*c_1001_1^10 - 123072216739778163/351586401618547*c_1001_1^9 + 214999270830815636/351586401618547*c_1001_1^8 + 21416569070708309/351586401618547*c_1001_1^7 + 33533653124083473/351586401618547*c_1001_1^6 + 19903138104425593/351586401618547*c_1001_1^5 - 122956018665523518/351586401618547*c_1001_1^4 - 3724292924221213/351586401618547*c_1001_1^3 + 39488725219562474/351586401618547*c_1001_1^2 + 711017031004259/351586401618547*c_1001_1 - 3411239886060315/351586401618547, c_0101_4 - 10822153100/442688621*c_1001_1^20 + 16524792011/442688621*c_1001_1^19 + 61521099141/442688621*c_1001_1^18 + 116519261041/442688621*c_1001_1^17 - 94454782594/442688621*c_1001_1^16 - 311918433312/442688621*c_1001_1^15 + 128067146553/442688621*c_1001_1^14 + 332050750855/442688621*c_1001_1^13 + 4006853275/442688621*c_1001_1^12 - 487425028236/442688621*c_1001_1^11 - 158940538190/442688621*c_1001_1^10 - 644919875937/442688621*c_1001_1^9 + 1200862989002/442688621*c_1001_1^8 + 100280183210/442688621*c_1001_1^7 + 161623383749/442688621*c_1001_1^6 + 97999527415/442688621*c_1001_1^5 - 682597225236/442688621*c_1001_1^4 - 3696170334/442688621*c_1001_1^3 + 222819786303/442688621*c_1001_1^2 - 3296909852/442688621*c_1001_1 - 19426910957/442688621, c_1001_1^21 - 2*c_1001_1^20 - 5*c_1001_1^19 - 8*c_1001_1^18 + 14*c_1001_1^17 + 25*c_1001_1^16 - 26*c_1001_1^15 - 26*c_1001_1^14 + 15*c_1001_1^13 + 46*c_1001_1^12 - 7*c_1001_1^11 + 51*c_1001_1^10 - 139*c_1001_1^9 + 41*c_1001_1^8 - 5*c_1001_1^7 - 4*c_1001_1^6 + 69*c_1001_1^5 - 30*c_1001_1^4 - 23*c_1001_1^3 + 11*c_1001_1^2 + 2*c_1001_1 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.220 seconds, Total memory usage: 32.09MB