Magma V2.19-8 Tue Aug 20 2013 16:14:36 on localhost [Seed = 795783976] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s592 geometric_solution 5.07019860 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 -1 0 1 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 1 -1 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.480459126510 0.764704304239 0 3 2 4 0132 0132 1230 0132 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 -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.910770626489 0.968723847555 3 0 4 1 2310 0132 0132 3012 0 0 0 0 0 1 -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 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.910770626489 0.968723847555 3 1 2 3 3201 0132 3201 2310 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.195533087630 0.766865036042 5 5 1 2 0132 2310 0132 0132 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 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.573992798284 1.039835724292 4 5 5 4 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 -0.790193884123 0.466399829795 ==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' : negation(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' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0101_3']), 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : 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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_2'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : negation(d['c_0101_0'])})} 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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 88785010/1375193*c_0101_3^18 - 465751373/1375193*c_0101_3^17 - 208212900/1375193*c_0101_3^16 + 986130297/1375193*c_0101_3^15 - 1046237603/1375193*c_0101_3^14 - 2755643107/1375193*c_0101_3^13 + 1279191338/1375193*c_0101_3^12 + 5097088065/1375193*c_0101_3^11 + 9121335457/1375193*c_0101_3^10 - 5771779592/1375193*c_0101_3^9 - 24431683523/1375193*c_0101_3^8 + 4542358308/1375193*c_0101_3^7 + 25543529243/1375193*c_0101_3^6 - 2674214381/1375193*c_0101_3^5 - 13836715019/1375193*c_0101_3^4 + 1157789316/1375193*c_0101_3^3 + 3748662162/1375193*c_0101_3^2 - 193905286/1375193*c_0101_3 - 393680872/1375193, c_0011_0 - 1, c_0011_4 + 63644936/1375193*c_0101_3^18 + 33613246/1375193*c_0101_3^17 - 298627103/1375193*c_0101_3^16 + 222287996/1375193*c_0101_3^15 + 551872055/1375193*c_0101_3^14 - 646490685/1375193*c_0101_3^13 - 525745833/1375193*c_0101_3^12 - 1143602500/1375193*c_0101_3^11 + 1530862810/1375193*c_0101_3^10 + 4939526136/1375193*c_0101_3^9 - 3878643399/1375193*c_0101_3^8 - 6088863402/1375193*c_0101_3^7 + 4586711065/1375193*c_0101_3^6 + 3686840255/1375193*c_0101_3^5 - 2855568890/1375193*c_0101_3^4 - 1080752280/1375193*c_0101_3^3 + 880246824/1375193*c_0101_3^2 + 119075325/1375193*c_0101_3 - 101504583/1375193, c_0101_0 + 58619576/1375193*c_0101_3^18 + 84068982/1375193*c_0101_3^17 - 193028201/1375193*c_0101_3^16 + 36449023/1375193*c_0101_3^15 + 522285609/1375193*c_0101_3^14 - 107770136/1375193*c_0101_3^13 - 537551127/1375193*c_0101_3^12 - 1565192942/1375193*c_0101_3^11 - 34481661/1375193*c_0101_3^10 + 4379813422/1375193*c_0101_3^9 + 424287581/1375193*c_0101_3^8 - 4861209957/1375193*c_0101_3^7 - 304658559/1375193*c_0101_3^6 + 2791576531/1375193*c_0101_3^5 + 64871587/1375193*c_0101_3^4 - 805378295/1375193*c_0101_3^3 - 11072459/1375193*c_0101_3^2 + 88986902/1375193*c_0101_3 + 4257908/1375193, c_0101_1 - 24067484/1375193*c_0101_3^18 - 29772502/1375193*c_0101_3^17 + 87592684/1375193*c_0101_3^16 - 28985350/1375193*c_0101_3^15 - 216992307/1375193*c_0101_3^14 + 89166164/1375193*c_0101_3^13 + 222417627/1375193*c_0101_3^12 + 592911040/1375193*c_0101_3^11 - 123418873/1375193*c_0101_3^10 - 1843863435/1375193*c_0101_3^9 + 190568763/1375193*c_0101_3^8 + 2135586157/1375193*c_0101_3^7 - 279482819/1375193*c_0101_3^6 - 1262416388/1375193*c_0101_3^5 + 203539819/1375193*c_0101_3^4 + 370886481/1375193*c_0101_3^3 - 61673184/1375193*c_0101_3^2 - 41343530/1375193*c_0101_3 + 5094553/1375193, c_0101_2 - 2*c_0101_3^18 - 3*c_0101_3^17 + 7*c_0101_3^16 - 20*c_0101_3^14 + 3*c_0101_3^13 + 24*c_0101_3^12 + 53*c_0101_3^11 - c_0101_3^10 - 165*c_0101_3^9 - 23*c_0101_3^8 + 211*c_0101_3^7 + 22*c_0101_3^6 - 147*c_0101_3^5 - 8*c_0101_3^4 + 58*c_0101_3^3 + c_0101_3^2 - 11*c_0101_3, c_0101_3^19 + 3/2*c_0101_3^18 - 7/2*c_0101_3^17 + 10*c_0101_3^15 - 3/2*c_0101_3^14 - 12*c_0101_3^13 - 53/2*c_0101_3^12 + 1/2*c_0101_3^11 + 165/2*c_0101_3^10 + 23/2*c_0101_3^9 - 211/2*c_0101_3^8 - 11*c_0101_3^7 + 147/2*c_0101_3^6 + 4*c_0101_3^5 - 29*c_0101_3^4 - 1/2*c_0101_3^3 + 6*c_0101_3^2 - 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB