Magma V2.19-8 Tue Aug 20 2013 17:55:35 on localhost [Seed = 2564370250] Type ? for help. Type -D to quit. Loading file "9_11__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 9_11 geometric_solution 8.28858904 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 9 1 2 3 2 0132 0132 0132 1230 0 0 0 0 0 0 0 0 1 0 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 1 0 -1 -10 0 0 10 1 -1 0 0 0 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.419913002241 1.523735103344 0 4 4 5 0132 0132 1302 0132 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 10 -9 -1 10 0 0 -10 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.312364151118 0.707877856571 0 0 3 6 3012 0132 3012 0132 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 -1 1 0 1 0 0 -1 -10 10 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.218219777224 0.573205633093 6 2 5 0 1230 1230 2310 0132 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 0 0 0 9 0 -9 0 9 1 0 -10 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.488112494905 0.404898811874 1 1 7 8 2031 0132 0132 0132 0 0 0 0 0 1 0 -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 -10 0 10 9 0 0 -9 -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.478229901763 1.182432418835 6 3 1 8 0213 3201 0132 2031 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 -1 1 0 0 0 10 -10 0 0 0 0 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.047660820975 1.216226870566 5 3 2 8 0213 3012 0132 2310 0 0 0 0 0 0 0 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 1 -1 0 -9 0 9 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.628558246050 1.892194263727 8 7 7 4 3201 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.128145986831 0.574573270411 6 5 4 7 3201 1302 0132 2310 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 10 -10 0 -9 0 9 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.478229901763 1.182432418835 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_7' : negation(d['c_0011_7']), 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : d['c_0101_8'], 'c_1001_0' : negation(d['c_0011_3']), 'c_1001_3' : negation(d['c_0011_8']), 'c_1001_2' : negation(d['c_0011_3']), 'c_1001_8' : d['c_0101_8'], 's_2_8' : d['1'], 's_2_0' : 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_2_7' : d['1'], 's_0_8' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(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_8' : d['c_0011_7'], 'c_1100_5' : d['c_0101_4'], 'c_1100_4' : d['c_0011_7'], 'c_1100_7' : d['c_0011_7'], 'c_1100_6' : d['c_0011_8'], 'c_1100_1' : d['c_0101_4'], 'c_1100_0' : d['c_0011_5'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0011_8'], 'c_1010_7' : negation(d['c_0101_3']), 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0011_8'], 'c_1010_4' : d['c_0101_8'], 'c_1010_3' : negation(d['c_0011_3']), 'c_1010_2' : negation(d['c_0011_3']), 'c_1010_1' : negation(d['c_0101_3']), 'c_1010_0' : negation(d['c_0011_3']), 'c_1010_8' : negation(d['c_0101_4']), '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_3_7' : d['1'], 's_3_6' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_8' : d['1'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_6'], '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_0101_7' : negation(d['c_0101_3']), 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0011_6'], 'c_0101_8' : d['c_0101_8'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0011_6'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0110_3' : d['c_0011_6'], 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : d['c_0101_8'], 'c_0110_4' : d['c_0101_8'], 'c_0110_7' : d['c_0101_4'], 'c_0110_6' : negation(d['c_0101_8'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 10 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0011_6, c_0011_7, c_0011_8, c_0101_3, c_0101_4, c_0101_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 2342187006123/1633716628544*c_0101_8^15 - 7611561728091/1633716628544*c_0101_8^14 + 1114771223691/204214578568*c_0101_8^13 + 61391211722585/1633716628544*c_0101_8^12 + 44035641979271/408429157136*c_0101_8^11 + 14355059896949/74259846752*c_0101_8^10 + 427987511620297/1633716628544*c_0101_8^9 + 19038658565999/74259846752*c_0101_8^8 + 25263184263409/116694044896*c_0101_8^7 + 199852537404987/1633716628544*c_0101_8^6 + 8343714013599/116694044896*c_0101_8^5 + 28120927711913/1633716628544*c_0101_8^4 + 9262522250229/1633716628544*c_0101_8^3 - 9780285604911/816858314272*c_0101_8^2 - 9132039522785/1633716628544*c_0101_8 - 8650990024069/1633716628544, c_0011_0 - 1, c_0011_3 + 23901209/51002642*c_0101_8^15 + 25409709/51002642*c_0101_8^14 - 206157779/51002642*c_0101_8^13 - 269935151/51002642*c_0101_8^12 - 714924297/51002642*c_0101_8^11 - 665773543/51002642*c_0101_8^10 - 392292592/25501321*c_0101_8^9 - 194176439/25501321*c_0101_8^8 - 570446877/25501321*c_0101_8^7 + 57935503/51002642*c_0101_8^6 - 1226052129/51002642*c_0101_8^5 + 391786697/51002642*c_0101_8^4 - 520774971/51002642*c_0101_8^3 + 213538241/51002642*c_0101_8^2 - 73072942/25501321*c_0101_8 + 55870803/51002642, c_0011_5 + 32010147/51002642*c_0101_8^15 + 37298415/25501321*c_0101_8^14 - 202271801/51002642*c_0101_8^13 - 345061463/25501321*c_0101_8^12 - 863181940/25501321*c_0101_8^11 - 2417195105/51002642*c_0101_8^10 - 2722280509/51002642*c_0101_8^9 - 1763424319/51002642*c_0101_8^8 - 1410241237/51002642*c_0101_8^7 - 31897653/51002642*c_0101_8^6 - 695301763/51002642*c_0101_8^5 + 189418241/25501321*c_0101_8^4 - 240092557/51002642*c_0101_8^3 + 338966221/51002642*c_0101_8^2 - 4742693/25501321*c_0101_8 + 10090020/25501321, c_0011_6 + 9704011/25501321*c_0101_8^15 - 18919601/51002642*c_0101_8^14 - 130477737/25501321*c_0101_8^13 + 32711165/51002642*c_0101_8^12 + 139919404/25501321*c_0101_8^11 + 778806366/25501321*c_0101_8^10 + 2399766517/51002642*c_0101_8^9 + 3178751537/51002642*c_0101_8^8 + 1662684859/51002642*c_0101_8^7 + 2339313641/51002642*c_0101_8^6 - 296571701/51002642*c_0101_8^5 + 1428734217/51002642*c_0101_8^4 - 243521170/25501321*c_0101_8^3 + 362011051/51002642*c_0101_8^2 - 286549157/51002642*c_0101_8 + 17825243/25501321, c_0011_7 - 4814015/25501321*c_0101_8^15 - 1342966/25501321*c_0101_8^14 + 95038587/51002642*c_0101_8^13 + 47334781/51002642*c_0101_8^12 + 159310045/51002642*c_0101_8^11 - 4639533/25501321*c_0101_8^10 + 35922147/25501321*c_0101_8^9 - 67152269/51002642*c_0101_8^8 + 219245515/25501321*c_0101_8^7 - 95152974/25501321*c_0101_8^6 + 573072555/51002642*c_0101_8^5 - 428833641/51002642*c_0101_8^4 + 203383502/25501321*c_0101_8^3 - 176372493/51002642*c_0101_8^2 + 67439656/25501321*c_0101_8 - 57735645/51002642, c_0011_8 - 1, c_0101_3 - 23708367/51002642*c_0101_8^15 - 10105840/25501321*c_0101_8^14 + 199219599/51002642*c_0101_8^13 + 207531257/51002642*c_0101_8^12 + 371026530/25501321*c_0101_8^11 + 693537309/51002642*c_0101_8^10 + 997364409/51002642*c_0101_8^9 + 585007975/51002642*c_0101_8^8 + 658519914/25501321*c_0101_8^7 - 161903786/25501321*c_0101_8^6 + 1338515869/51002642*c_0101_8^5 - 414081599/25501321*c_0101_8^4 + 393522308/25501321*c_0101_8^3 - 194645292/25501321*c_0101_8^2 + 240039271/51002642*c_0101_8 - 48776708/25501321, c_0101_4 + 40722006/25501321*c_0101_8^15 + 72655500/25501321*c_0101_8^14 - 300341591/25501321*c_0101_8^13 - 1399547099/51002642*c_0101_8^12 - 1751481578/25501321*c_0101_8^11 - 2216228672/25501321*c_0101_8^10 - 2485922424/25501321*c_0101_8^9 - 1512006857/25501321*c_0101_8^8 - 3559313359/51002642*c_0101_8^7 + 173994767/51002642*c_0101_8^6 - 1238064878/25501321*c_0101_8^5 + 560562659/25501321*c_0101_8^4 - 935567425/51002642*c_0101_8^3 + 617615675/51002642*c_0101_8^2 - 236873713/51002642*c_0101_8 + 39072697/25501321, c_0101_8^16 + 2*c_0101_8^15 - 7*c_0101_8^14 - 19*c_0101_8^13 - 47*c_0101_8^12 - 62*c_0101_8^11 - 69*c_0101_8^10 - 41*c_0101_8^9 - 40*c_0101_8^8 + 5*c_0101_8^7 - 23*c_0101_8^6 + 15*c_0101_8^5 - 10*c_0101_8^4 + 11*c_0101_8^3 - 3*c_0101_8^2 + 2*c_0101_8 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB