Magma V2.19-8 Tue Aug 20 2013 16:14:32 on localhost [Seed = 408519700] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s522 geometric_solution 4.92773649 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 1 1 0 3201 0132 3201 2310 0 0 0 0 0 0 1 -1 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 1 0 -1 1 0 0 -1 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.379845781369 0.766054605883 0 0 3 2 2310 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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.827920789013 1.088721401249 3 4 1 5 1302 0132 0132 0132 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 -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.456141773977 0.495107137685 4 2 5 1 0132 2031 2310 0132 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 1 0 -1 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.456141773977 0.495107137685 3 2 4 4 0132 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.478212530596 0.463052713690 5 3 2 5 3012 3201 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.993500878977 1.092478100717 ==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' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : negation(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' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0101_3'], 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0011_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_2']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_2'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0011_2'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : negation(d['c_0011_2']), 'c_0110_0' : negation(d['c_0011_2']), 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_3'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0011_2'], 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0011_2']})} 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_2, c_0011_5, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 486933602258338765/494061880721352776*c_0101_5^17 - 551631020507223939/141160537348957936*c_0101_5^16 + 2228285254132618959/123515470180338194*c_0101_5^15 + 7921276524741156349/70580268674478968*c_0101_5^14 + 4360205547750156016/61757735090169097*c_0101_5^13 - 87102474163232098459/141160537348957936*c_0101_5^12 - 421758435098428093165/247030940360676388*c_0101_5^11 - 1128851874602663858089/494061880721352776*c_0101_5^10 - 606102448383393150551/247030940360676388*c_0101_5^9 - 388302401472365026953/247030940360676388*c_0101_5^8 + 1006136815162414732753/988123761442705552*c_0101_5^7 + 1561390427178580058043/988123761442705552*c_0101_5^6 - 112665961977704211487/988123761442705552*c_0101_5^5 + 586536377132629626961/988123761442705552*c_0101_5^4 + 1094179682132165763081/988123761442705552*c_0101_5^3 - 219377904299377549557/494061880721352776*c_0101_5^2 - 121854524916941514613/247030940360676388*c_0101_5 + 5057808158710122058/61757735090169097, c_0011_0 - 1, c_0011_2 + 11259054443192869/141160537348957936*c_0101_5^17 + 2143401510694428/8822533584309871*c_0101_5^16 - 116323137608103867/70580268674478968*c_0101_5^15 - 526905377927695845/70580268674478968*c_0101_5^14 + 58803085533999981/141160537348957936*c_0101_5^13 + 1637062297414810259/35290134337239484*c_0101_5^12 + 6771250215696433763/70580268674478968*c_0101_5^11 + 1025226728230982562/8822533584309871*c_0101_5^10 + 9283504780079973281/70580268674478968*c_0101_5^9 + 8170594724431617201/141160537348957936*c_0101_5^8 - 10269463758288076817/141160537348957936*c_0101_5^7 - 3915296962631067115/141160537348957936*c_0101_5^6 + 2520532995242082809/141160537348957936*c_0101_5^5 - 9121470075958856405/141160537348957936*c_0101_5^4 - 1846653579361129599/70580268674478968*c_0101_5^3 + 264538611540367057/8822533584309871*c_0101_5^2 + 63485275745673509/17645067168619742*c_0101_5 - 17634339734089586/8822533584309871, c_0011_5 - 6163893265488455/141160537348957936*c_0101_5^17 - 9580260607461207/70580268674478968*c_0101_5^16 + 64931692647940393/70580268674478968*c_0101_5^15 + 295903596673529193/70580268674478968*c_0101_5^14 - 79150235722495883/141160537348957936*c_0101_5^13 - 1915836983808899825/70580268674478968*c_0101_5^12 - 3676876818698073049/70580268674478968*c_0101_5^11 - 1929011506089387023/35290134337239484*c_0101_5^10 - 4144956432698021431/70580268674478968*c_0101_5^9 - 2104225040322621871/141160537348957936*c_0101_5^8 + 8805041604946262805/141160537348957936*c_0101_5^7 + 2324613778831647063/141160537348957936*c_0101_5^6 - 2936613283619558041/141160537348957936*c_0101_5^5 + 6147831769998233641/141160537348957936*c_0101_5^4 + 169330973082058101/17645067168619742*c_0101_5^3 - 955763771350359097/35290134337239484*c_0101_5^2 + 7356029661355679/8822533584309871*c_0101_5 + 16682618599335135/8822533584309871, c_0101_1 + 17600527392601607/141160537348957936*c_0101_5^17 + 13069383173875677/35290134337239484*c_0101_5^16 - 184211321072261419/70580268674478968*c_0101_5^15 - 810636223951985711/70580268674478968*c_0101_5^14 + 232441597502279391/141160537348957936*c_0101_5^13 + 1284464730051683849/17645067168619742*c_0101_5^12 + 10171542264795874827/70580268674478968*c_0101_5^11 + 1484439923966607209/8822533584309871*c_0101_5^10 + 13310303206389763059/70580268674478968*c_0101_5^9 + 9734619498753942387/141160537348957936*c_0101_5^8 - 17974835602376968007/141160537348957936*c_0101_5^7 - 5194053414261941305/141160537348957936*c_0101_5^6 + 4116433856164374803/141160537348957936*c_0101_5^5 - 14545457937696263447/141160537348957936*c_0101_5^4 - 2129106998245540029/70580268674478968*c_0101_5^3 + 1765767972267854341/35290134337239484*c_0101_5^2 + 28000141475296686/8822533584309871*c_0101_5 - 28851518559214239/8822533584309871, c_0101_3 - 668841418457049/141160537348957936*c_0101_5^17 - 123607348916909/70580268674478968*c_0101_5^16 + 9493373188627651/70580268674478968*c_0101_5^15 + 12854694825487279/70580268674478968*c_0101_5^14 - 163177097923314893/141160537348957936*c_0101_5^13 - 186979408673597839/70580268674478968*c_0101_5^12 + 83672245266883285/70580268674478968*c_0101_5^11 + 267006363912357349/35290134337239484*c_0101_5^10 + 809645034359167031/70580268674478968*c_0101_5^9 + 2799072127569448919/141160537348957936*c_0101_5^8 + 2407746413111746043/141160537348957936*c_0101_5^7 - 433246600088745783/141160537348957936*c_0101_5^6 - 197414489436440015/141160537348957936*c_0101_5^5 + 759180322210328679/141160537348957936*c_0101_5^4 - 114388274730235115/17645067168619742*c_0101_5^3 - 199000247377298691/35290134337239484*c_0101_5^2 + 20533395314023775/8822533584309871*c_0101_5 + 4354832068358225/8822533584309871, c_0101_5^18 + 4*c_0101_5^17 - 18*c_0101_5^16 - 114*c_0101_5^15 - 79*c_0101_5^14 + 608*c_0101_5^13 + 1754*c_0101_5^12 + 2472*c_0101_5^11 + 2770*c_0101_5^10 + 1949*c_0101_5^9 - 633*c_0101_5^8 - 1415*c_0101_5^7 + 29*c_0101_5^6 - 553*c_0101_5^5 - 1094*c_0101_5^4 + 252*c_0101_5^3 + 472*c_0101_5^2 - 32*c_0101_5 - 32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB