Magma V2.19-8 Tue Aug 20 2013 23:41:02 on localhost [Seed = 290944498] Type ? for help. Type -D to quit. Loading file "L13a1461__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L13a1461 geometric_solution 7.13080208 oriented_manifold CS_known -0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 10 1 1 2 3 0132 1302 0132 0132 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 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.524509357943 0.504495719972 0 4 5 0 0132 0132 0132 2031 1 1 0 1 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 1 -1 0 0 -1 1 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.989353802394 1.049704693843 4 4 5 0 0132 1230 3120 0132 1 1 0 1 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 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.524509357943 0.504495719972 5 6 0 7 0132 0132 0132 0132 1 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 0 0 0 0 0 0 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 1.833841472318 1.868291970434 2 1 2 7 0132 0132 3012 1230 1 1 1 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 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.009660855237 0.952550897877 3 7 2 1 0132 1302 3120 0132 1 1 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 0 0 0 1 0 -1 -1 0 0 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.028424580786 0.479765987609 8 3 8 7 0132 0132 2310 2031 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.113713210484 0.910728951508 4 6 3 5 3012 1302 0132 2031 1 1 1 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 0 0 0 0 0 -1 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.732422222225 0.272604486936 6 6 9 9 0132 3201 3201 0132 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.345467032721 0.102715802167 8 9 8 9 2310 2310 0132 3201 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.648349916780 0.239858641224 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_0110_7'], 'c_1001_4' : d['c_0011_0'], 'c_1001_7' : d['c_0101_8'], 'c_1001_6' : d['c_0101_8'], 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : d['c_0101_0'], 'c_1001_3' : d['c_0011_7'], 'c_1001_2' : negation(d['c_0110_7']), 'c_1001_9' : negation(d['c_0101_8']), 'c_1001_8' : negation(d['c_0101_6']), 's_2_8' : d['1'], 's_2_9' : d['1'], 's_2_0' : negation(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_2_6' : d['1'], 's_2_7' : negation(d['1']), 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0011_9']), 'c_1100_8' : negation(d['c_0011_9']), 'c_1100_5' : negation(d['c_0011_7']), 'c_1100_4' : d['c_0110_7'], 'c_1100_7' : negation(d['c_0101_5']), 'c_1100_6' : d['c_0011_3'], 'c_1100_1' : negation(d['c_0011_7']), 'c_1100_0' : negation(d['c_0101_5']), 'c_1100_3' : negation(d['c_0101_5']), 'c_1100_2' : negation(d['c_0101_5']), 'c_1010_7' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0011_7'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_8'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0011_0'], 'c_1010_0' : d['c_0011_7'], 'c_1010_9' : d['c_0101_8'], 'c_1010_8' : negation(d['c_0101_8']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : 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' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_3'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_3']), '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' : d['c_0101_5'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_7'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_6'], 'c_0101_8' : d['c_0101_8'], 'c_0110_9' : negation(d['c_0101_8']), 'c_0110_8' : d['c_0101_6'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_7'], 'c_0110_7' : d['c_0110_7'], 'c_0110_6' : d['c_0101_8']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_7, c_0011_9, c_0101_0, c_0101_1, c_0101_5, c_0101_6, c_0101_8, c_0110_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t - 108812397485822681591639577635/12560561855397441565733248*c_0101_8^\ 9 - 55578751253411213564664410137/6280280927698720782866624*c_0101_\ 8^8 - 1542047354124993480470379665/120774633224975399670512*c_0101_\ 8^7 - 14047743680830905154918013905/3140140463849360391433312*c_010\ 1_8^6 - 248806058429556904706397006577/12560561855397441565733248*c\ _0101_8^5 - 3379239809915620545789061979/483098532899901598682048*c\ _0101_8^4 - 27830193162708698396064173743/3140140463849360391433312\ *c_0101_8^3 - 489173808368532896284474901/3140140463849360391433312\ *c_0101_8^2 - 195227737039131602994605863/966197065799803197364096*\ c_0101_8 + 992280526353966911847872675/6280280927698720782866624, c_0011_0 - 1, c_0011_3 - 24579698557540634320/444024386856527204671*c_0101_8^9 - 1609795828007165198948/444024386856527204671*c_0101_8^8 - 713925322016975495647/444024386856527204671*c_0101_8^7 - 1420576838109534259968/444024386856527204671*c_0101_8^6 + 207575253146505109102/444024386856527204671*c_0101_8^5 - 3359282509512622183772/444024386856527204671*c_0101_8^4 + 623606413761864757162/444024386856527204671*c_0101_8^3 - 506152611063947215408/444024386856527204671*c_0101_8^2 + 446566980257735210324/444024386856527204671*c_0101_8 + 311310289244734535968/444024386856527204671, c_0011_7 + 9315981326557882754385/444024386856527204671*c_0101_8^9 + 8072919154264583623424/444024386856527204671*c_0101_8^8 + 13404992086904057466280/444024386856527204671*c_0101_8^7 + 3695337875790547028216/444024386856527204671*c_0101_8^6 + 21852573683537298209221/444024386856527204671*c_0101_8^5 + 4381942016360377986320/444024386856527204671*c_0101_8^4 + 10710616270486925439764/444024386856527204671*c_0101_8^3 - 597765979619113259032/444024386856527204671*c_0101_8^2 + 824441426099001528245/444024386856527204671*c_0101_8 - 657521717207235623216/444024386856527204671, c_0011_9 - 386369753860776495520/444024386856527204671*c_0101_8^9 + 749261485101047669492/444024386856527204671*c_0101_8^8 + 26124567048160412416/444024386856527204671*c_0101_8^7 + 694999005112739976480/444024386856527204671*c_0101_8^6 - 1638635168719126893152/444024386856527204671*c_0101_8^5 + 1741817986031416246400/444024386856527204671*c_0101_8^4 - 920883881643476862785/444024386856527204671*c_0101_8^3 + 295230764379133061760/444024386856527204671*c_0101_8^2 - 819713076348969470458/444024386856527204671*c_0101_8 - 25104815017170511432/444024386856527204671, c_0101_0 - 15527761184839945/173295866088887*c_0101_8^9 - 18999831541068823/173295866088887*c_0101_8^8 - 26384912244934142/173295866088887*c_0101_8^7 - 13014166471504731/173295866088887*c_0101_8^6 - 37608045830533531/173295866088887*c_0101_8^5 - 19955592789607753/173295866088887*c_0101_8^4 - 19069261066413990/173295866088887*c_0101_8^3 - 3873747388019446/173295866088887*c_0101_8^2 - 610577922691889/173295866088887*c_0101_8 + 136277477032329/173295866088887, c_0101_1 - 1, c_0101_5 - 974861318017777036200/444024386856527204671*c_0101_8^9 - 4122474869014661936655/444024386856527204671*c_0101_8^8 - 5182117128447505627720/444024386856527204671*c_0101_8^7 - 5215310977513319224729/444024386856527204671*c_0101_8^6 - 4351127379781601921848/444024386856527204671*c_0101_8^5 - 7842040699834561792257/444024386856527204671*c_0101_8^4 - 4986435016037622460888/444024386856527204671*c_0101_8^3 - 2822966614152075564278/444024386856527204671*c_0101_8^2 - 656523564507670317256/444024386856527204671*c_0101_8 + 44880014867516215697/444024386856527204671, c_0101_6 + 1361315545981608452880/444024386856527204671*c_0101_8^9 - 1211749247384640800128/444024386856527204671*c_0101_8^8 + 648290425828000956064/444024386856527204671*c_0101_8^7 - 1301182379009511124472/444024386856527204671*c_0101_8^6 + 3705225612363741523951/444024386856527204671*c_0101_8^5 - 3653026237995742710928/444024386856527204671*c_0101_8^4 + 2218315468985604311804/444024386856527204671*c_0101_8^3 - 676146640953982066936/444024386856527204671*c_0101_8^2 + 922219241922787527917/444024386856527204671*c_0101_8 + 113215658276365151760/444024386856527204671, c_0101_8^10 + 974/985*c_0101_8^9 + 1434/985*c_0101_8^8 + 476/985*c_0101_8^7 + 2259/985*c_0101_8^6 + 146/197*c_0101_8^5 + 1018/985*c_0101_8^4 - 4/985*c_0101_8^3 + 41/985*c_0101_8^2 - 18/985*c_0101_8 + 2/985, c_0110_7 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB