Magma V2.19-8 Wed Aug 21 2013 01:01:55 on localhost [Seed = 2917905922] Type ? for help. Type -D to quit. Loading file "L14n13481__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n13481 geometric_solution 12.02019403 oriented_manifold CS_known -0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 1 2 0132 0132 1023 1023 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 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.550280207515 0.360911117991 0 3 0 4 0132 0132 1023 0132 0 0 1 1 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 -1 1 -1 3 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.729336179920 0.833387597141 5 0 6 0 0132 0132 0132 1023 0 0 1 1 0 1 -1 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 1 -1 0 -1 0 1 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.729336179920 0.833387597141 5 1 6 5 1230 0132 0213 1302 0 1 1 1 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 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.537329168367 1.012386168329 7 8 1 9 0132 0132 0132 0132 0 0 1 1 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 1 0 -1 0 0 -1 0 1 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.462670831633 1.012386168329 2 3 3 7 0132 3012 2031 2103 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 0 0 0 0 0 1 0 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.537329168367 1.012386168329 10 3 9 2 0132 0213 0132 0132 0 0 1 1 0 0 -1 1 0 0 1 -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 0 -1 1 0 0 1 -1 0 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.718290877177 1.081803614328 4 11 10 5 0132 0132 3120 2103 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 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.184061168478 0.926855343730 11 4 10 12 0132 0132 1230 0132 0 1 1 1 0 0 0 0 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 2 0 -2 -3 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.170127495293 1.416418176500 12 12 4 6 3012 0132 0132 0132 0 0 1 1 0 -1 0 1 1 0 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 -1 0 1 1 0 0 -1 3 0 0 -3 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.452409144943 0.728073175912 6 11 7 8 0132 1230 3120 3012 1 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 0 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.938095819567 0.899482906197 8 7 10 12 0132 0132 3012 2310 1 1 1 1 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 1 0 -1 0 0 -2 2 3 0 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.451448486286 0.490225108348 11 9 8 9 3201 0132 0132 1230 0 1 1 1 0 1 0 -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 1 0 -1 3 0 0 -3 1 -1 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.384280142444 0.990893126663 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_10']), 'c_1001_10' : negation(d['c_0011_12']), 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : negation(d['c_0011_0']), 'c_1001_4' : d['c_1001_12'], 'c_1001_7' : d['c_0011_12'], 'c_1001_6' : d['c_1001_12'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_1001_12'], 'c_1001_2' : d['c_0101_5'], 'c_1001_9' : d['c_0101_7'], 'c_1001_8' : d['c_0101_7'], 'c_1010_12' : d['c_0101_7'], 'c_1010_11' : d['c_0011_12'], 'c_1010_10' : d['c_0101_11'], 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], '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_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_0']), 'c_1100_4' : negation(d['c_1100_0']), 'c_1100_7' : negation(d['c_0101_10']), 'c_1100_6' : negation(d['c_1100_0']), 'c_1100_1' : negation(d['c_1100_0']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_0101_5'], 'c_1100_2' : negation(d['c_1100_0']), 's_0_10' : d['1'], 'c_1100_9' : negation(d['c_1100_0']), 'c_1100_11' : d['c_0011_12'], 'c_1100_10' : negation(d['c_0101_7']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_10']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : d['c_0011_10'], 'c_1010_4' : d['c_0101_7'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_1001_12'], 'c_1010_0' : d['c_0101_5'], 'c_1010_9' : d['c_1001_12'], 'c_1010_8' : d['c_1001_12'], 'c_1100_8' : d['c_0101_6'], '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_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_6'], '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' : negation(d['c_0011_12']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_11'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : negation(d['c_0011_10']), '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_0110_11' : negation(d['c_0101_11']), 'c_0110_10' : d['c_0101_6'], 'c_0110_12' : negation(d['c_0011_12']), 'c_0101_12' : d['c_0101_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_10']), 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_7'], 'c_0101_8' : negation(d['c_0101_11']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_6'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0101_7'], 'c_0110_7' : d['c_0101_0'], 'c_0110_6' : d['c_0101_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_5, c_0101_6, c_0101_7, c_1001_12, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 2089944398743063208727361/1056391819348923814772736*c_1100_0^16 - 757863734308534727734571/16768124116649584361472*c_1100_0^15 - 424324821300247280514126311/1056391819348923814772736*c_1100_0^14 - 110366752095169652277339769/66024488709307738423296*c_1100_0^13 - 182398908673660363530414439/58688434408273545265152*c_1100_0^12 - 2607739712086870521441016079/1056391819348923814772736*c_1100_0^11 - 567060469157963543346719977/176065303224820635795456*c_1100_0^10 - 242692082965454172320293757/1056391819348923814772736*c_1100_0^9 + 6598077392035124909603063/33012244354653869211648*c_1100_0^8 + 274955110328559812241708869/1056391819348923814772736*c_1100_0^7 + 80507576350546971530979691/264097954837230953693184*c_1100_0^6 - 1443323202712888432493017/1726130423772751331328*c_1100_0^5 + 204400174726103516760962063/1056391819348923814772736*c_1100_0^4 - 1603853012299431363565715/8877242179402721132544*c_1100_0^3 + 142978833993861936422053673/1056391819348923814772736*c_1100_0^2 - 7317307045425089500608427/62140695255819047927808*c_1100_0 + 2076032573738589457074943/132048977418615476846592, c_0011_0 - 1, c_0011_10 - 42432315498867123/2568646463947546624*c_1100_0^16 - 1021772007956154907/2568646463947546624*c_1100_0^15 - 9834323942172808317/2568646463947546624*c_1100_0^14 - 11749462984322694911/642161615986886656*c_1100_0^13 - 57708089052499878315/1284323231973773312*c_1100_0^12 - 153682315068677492497/2568646463947546624*c_1100_0^11 - 83621598188944916477/1284323231973773312*c_1100_0^10 - 111814399294250517831/2568646463947546624*c_1100_0^9 - 7640202235112635871/642161615986886656*c_1100_0^8 + 11584114165733826483/2568646463947546624*c_1100_0^7 + 5180975117224833369/642161615986886656*c_1100_0^6 - 2356845129860936119/642161615986886656*c_1100_0^5 - 13880043634356358019/2568646463947546624*c_1100_0^4 - 6798428805166514267/2568646463947546624*c_1100_0^3 + 5144269579732235443/2568646463947546624*c_1100_0^2 + 2617072906905958419/2568646463947546624*c_1100_0 + 337178647804141705/321080807993443328, c_0011_11 - 18306871443675871/1284323231973773312*c_1100_0^16 - 426605281618966931/1284323231973773312*c_1100_0^15 - 3926803517033573273/1284323231973773312*c_1100_0^14 - 2200469572216174701/160540403996721664*c_1100_0^13 - 19926871510636510101/642161615986886656*c_1100_0^12 - 53812421275685318809/1284323231973773312*c_1100_0^11 - 38704554372028937773/642161615986886656*c_1100_0^10 - 49526577118215908675/1284323231973773312*c_1100_0^9 - 3508211190757954253/160540403996721664*c_1100_0^8 - 695108490723315293/1284323231973773312*c_1100_0^7 + 7232335014446899877/321080807993443328*c_1100_0^6 + 2672608672963805369/321080807993443328*c_1100_0^5 + 11265609563284945937/1284323231973773312*c_1100_0^4 - 5132179394093777939/1284323231973773312*c_1100_0^3 - 2267967102863981289/1284323231973773312*c_1100_0^2 - 1043500603631766717/1284323231973773312*c_1100_0 + 72364404899691897/160540403996721664, c_0011_12 + 5459753224471037/2568646463947546624*c_1100_0^16 + 119165547583440253/2568646463947546624*c_1100_0^15 + 952784865525607507/2568646463947546624*c_1100_0^14 + 701014181520103903/642161615986886656*c_1100_0^13 - 1272177515929810359/1284323231973773312*c_1100_0^12 - 31835533249868649593/2568646463947546624*c_1100_0^11 - 34659147671043359621/1284323231973773312*c_1100_0^10 - 104883687711890937719/2568646463947546624*c_1100_0^9 - 31133122297804576645/642161615986886656*c_1100_0^8 - 94472491914712969733/2568646463947546624*c_1100_0^7 - 12395678330193624295/642161615986886656*c_1100_0^6 - 3234922271546141647/642161615986886656*c_1100_0^5 + 7002058854601061997/2568646463947546624*c_1100_0^4 + 489173342972988413/2568646463947546624*c_1100_0^3 - 2828691631424396221/2568646463947546624*c_1100_0^2 - 2996722724636308901/2568646463947546624*c_1100_0 - 166769875157464927/321080807993443328, c_0101_0 - 1, c_0101_1 + 7208053984245751/642161615986886656*c_1100_0^16 + 175544211516533065/642161615986886656*c_1100_0^15 + 1719028362490685885/642161615986886656*c_1100_0^14 + 4231561426787934243/321080807993443328*c_1100_0^13 + 343771411530106985/10033775249795104*c_1100_0^12 + 32445460783406095571/642161615986886656*c_1100_0^11 + 18881381864832518987/321080807993443328*c_1100_0^10 + 29097430796658322763/642161615986886656*c_1100_0^9 + 6074961450536322815/321080807993443328*c_1100_0^8 + 7575965639037251/642161615986886656*c_1100_0^7 - 1118735935848615009/160540403996721664*c_1100_0^6 + 89455251307374161/160540403996721664*c_1100_0^5 + 3036494829359870503/642161615986886656*c_1100_0^4 + 2867251701216897801/642161615986886656*c_1100_0^3 + 510377817904965325/642161615986886656*c_1100_0^2 - 572060734624733565/642161615986886656*c_1100_0 + 49423938624213001/80270201998360832, c_0101_10 + 42432315498867123/2568646463947546624*c_1100_0^16 + 1021772007956154907/2568646463947546624*c_1100_0^15 + 9834323942172808317/2568646463947546624*c_1100_0^14 + 11749462984322694911/642161615986886656*c_1100_0^13 + 57708089052499878315/1284323231973773312*c_1100_0^12 + 153682315068677492497/2568646463947546624*c_1100_0^11 + 83621598188944916477/1284323231973773312*c_1100_0^10 + 111814399294250517831/2568646463947546624*c_1100_0^9 + 7640202235112635871/642161615986886656*c_1100_0^8 - 11584114165733826483/2568646463947546624*c_1100_0^7 - 5180975117224833369/642161615986886656*c_1100_0^6 + 2356845129860936119/642161615986886656*c_1100_0^5 + 13880043634356358019/2568646463947546624*c_1100_0^4 + 6798428805166514267/2568646463947546624*c_1100_0^3 - 5144269579732235443/2568646463947546624*c_1100_0^2 - 2617072906905958419/2568646463947546624*c_1100_0 - 16097839810698377/321080807993443328, c_0101_11 - 1214100673712977/1284323231973773312*c_1100_0^16 - 11753515968796821/1284323231973773312*c_1100_0^15 + 130559421452472249/1284323231973773312*c_1100_0^14 + 156134549364129837/80270201998360832*c_1100_0^13 + 7088258236034131289/642161615986886656*c_1100_0^12 + 35206593095987064993/1284323231973773312*c_1100_0^11 + 22085658251860630085/642161615986886656*c_1100_0^10 + 59693468326691732435/1284323231973773312*c_1100_0^9 + 3008874021746705153/80270201998360832*c_1100_0^8 + 30853673783029786677/1284323231973773312*c_1100_0^7 + 5479266739716291963/321080807993443328*c_1100_0^6 + 1947312272058415887/321080807993443328*c_1100_0^5 + 7434771730055798975/1284323231973773312*c_1100_0^4 - 1574031961254256789/1284323231973773312*c_1100_0^3 - 864005217384270455/1284323231973773312*c_1100_0^2 - 1102509931690201323/1284323231973773312*c_1100_0 + 44372624047982031/160540403996721664, c_0101_5 - 1, c_0101_6 - 4023546936456149/2568646463947546624*c_1100_0^16 - 90569151261174877/2568646463947546624*c_1100_0^15 - 779244390072623675/2568646463947546624*c_1100_0^14 - 741810321954943933/642161615986886656*c_1100_0^13 - 1871368645426357525/1284323231973773312*c_1100_0^12 + 3271757483793343625/2568646463947546624*c_1100_0^11 + 3529101251717895573/1284323231973773312*c_1100_0^10 + 10067969873766166943/2568646463947546624*c_1100_0^9 + 1369851902317936907/642161615986886656*c_1100_0^8 - 5381061468763502843/2568646463947546624*c_1100_0^7 - 2766453814005983009/642161615986886656*c_1100_0^6 - 3262628107125798081/642161615986886656*c_1100_0^5 - 7018635295926943237/2568646463947546624*c_1100_0^4 - 4132212906912318365/2568646463947546624*c_1100_0^3 - 6248882865718392427/2568646463947546624*c_1100_0^2 - 3916973885235330651/2568646463947546624*c_1100_0 - 191902528637505377/321080807993443328, c_0101_7 - 51573841186484787/2568646463947546624*c_1100_0^16 - 1223592064925223567/2568646463947546624*c_1100_0^15 - 11526523155877738597/2568646463947546624*c_1100_0^14 - 3327345775149978867/160540403996721664*c_1100_0^13 - 61799049465124656317/1284323231973773312*c_1100_0^12 - 155224774748754985597/2568646463947546624*c_1100_0^11 - 92674054509162138497/1284323231973773312*c_1100_0^10 - 130848250529407880359/2568646463947546624*c_1100_0^9 - 385477087005258307/20067550499590208*c_1100_0^8 - 10988876392076914945/2568646463947546624*c_1100_0^7 + 6426219337618332817/642161615986886656*c_1100_0^6 + 928935405278480413/642161615986886656*c_1100_0^5 + 1769119142724495421/2568646463947546624*c_1100_0^4 - 4420646717957767247/2568646463947546624*c_1100_0^3 - 3736259948572693173/2568646463947546624*c_1100_0^2 - 2450021248053134817/2568646463947546624*c_1100_0 - 92487347219403635/321080807993443328, c_1001_12 + 42432315498867123/2568646463947546624*c_1100_0^16 + 1021772007956154907/2568646463947546624*c_1100_0^15 + 9834323942172808317/2568646463947546624*c_1100_0^14 + 11749462984322694911/642161615986886656*c_1100_0^13 + 57708089052499878315/1284323231973773312*c_1100_0^12 + 153682315068677492497/2568646463947546624*c_1100_0^11 + 83621598188944916477/1284323231973773312*c_1100_0^10 + 111814399294250517831/2568646463947546624*c_1100_0^9 + 7640202235112635871/642161615986886656*c_1100_0^8 - 11584114165733826483/2568646463947546624*c_1100_0^7 - 5180975117224833369/642161615986886656*c_1100_0^6 + 2356845129860936119/642161615986886656*c_1100_0^5 + 13880043634356358019/2568646463947546624*c_1100_0^4 + 6798428805166514267/2568646463947546624*c_1100_0^3 - 5144269579732235443/2568646463947546624*c_1100_0^2 - 2617072906905958419/2568646463947546624*c_1100_0 - 16097839810698377/321080807993443328, c_1100_0^17 + 24*c_1100_0^16 + 230*c_1100_0^15 + 1093*c_1100_0^14 + 2670*c_1100_0^13 + 3593*c_1100_0^12 + 4131*c_1100_0^11 + 2975*c_1100_0^10 + 1175*c_1100_0^9 + 91*c_1100_0^8 - 379*c_1100_0^7 + 192*c_1100_0^6 + 253*c_1100_0^5 + 232*c_1100_0^4 + 22*c_1100_0^3 + 32*c_1100_0^2 + 25*c_1100_0 + 24 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.190 Total time: 0.400 seconds, Total memory usage: 32.09MB