Magma V2.19-8 Wed Aug 21 2013 01:03:54 on localhost [Seed = 3987469763] Type ? for help. Type -D to quit. Loading file "L14n23925__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n23925 geometric_solution 11.97422850 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 1 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 1 -1 0 1 0 5 -6 0 0 0 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.230555630803 0.913674051453 0 5 7 6 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 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.033710595225 1.476209133669 8 0 10 9 0132 0132 0132 0132 0 1 1 1 0 0 0 0 -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 -1 1 0 5 0 0 -5 0 6 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.626310934921 1.243751238642 7 11 9 0 0132 0132 0132 0132 0 1 1 1 0 1 0 -1 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 5 -5 6 0 0 -6 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.637300136208 0.615428701121 9 5 0 10 0132 1230 0132 0132 0 1 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 0 -1 0 0 6 -6 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.598023547225 1.470466477047 12 1 4 11 0132 0132 3012 1023 1 0 1 1 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 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.630814935272 0.607887999771 11 9 1 12 2103 2103 0132 3012 1 1 0 1 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 1 0 -1 0 0 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.347868680655 0.613999862292 3 10 8 1 0132 2031 2031 0132 1 1 1 1 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 -1 1 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.359225321001 0.676535179076 2 12 11 7 0132 0132 1302 1302 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.572629016169 0.573757768585 4 6 2 3 0132 2103 0132 0132 0 1 1 1 0 0 0 0 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 0 0 0 0 5 -5 -1 0 0 1 -1 -5 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.123925979300 1.094758971813 7 12 4 2 1302 1302 0132 0132 0 1 1 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 0 0 0 0 0 0 0 0 0 1 -1 -6 0 6 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.443987727129 0.211583257060 8 3 6 5 2031 0132 2103 1023 0 1 1 1 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 1 0 -1 0 0 -1 1 0 0 0 0 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.661962244734 0.725237151876 5 8 6 10 0132 0132 1230 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.551920482708 0.472825029848 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_6'], 'c_1001_10' : d['c_0101_5'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : negation(d['c_0110_6']), 'c_1001_7' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0011_10'], 'c_1001_0' : d['c_0011_6'], 'c_1001_3' : d['c_0101_12'], 'c_1001_2' : negation(d['c_0110_6']), 'c_1001_9' : d['c_0011_6'], 'c_1001_8' : d['c_0011_10'], 'c_1010_12' : d['c_0011_10'], 'c_1010_11' : d['c_0101_12'], 'c_1010_10' : negation(d['c_0110_6']), 's_3_11' : d['1'], 's_3_10' : 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_0'], 'c_0101_10' : negation(d['c_0011_11']), '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' : negation(d['c_0011_0']), 'c_1100_5' : d['c_0110_6'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_1001_12']), 'c_1100_6' : negation(d['c_1001_12']), 'c_1100_1' : negation(d['c_1001_12']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1100_0'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0110_6']), 'c_1100_10' : d['c_1100_0'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : negation(d['c_0101_12']), 'c_1010_5' : d['c_0011_10'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0011_6'], 'c_1010_2' : d['c_0011_6'], 'c_1010_1' : negation(d['c_0011_4']), 'c_1010_0' : negation(d['c_0110_6']), 'c_1010_9' : d['c_0101_12'], 'c_1010_8' : d['c_1001_12'], 'c_1100_8' : d['c_0101_0'], '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_0110_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_4']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_11'], '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' : negation(d['c_0011_11']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_10'], 'c_0110_10' : d['c_0101_2'], 'c_0110_12' : d['c_0101_5'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_11']), 'c_0101_8' : negation(d['c_0011_11']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1100_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_11']), 'c_0110_5' : d['c_0101_12'], 'c_0110_4' : negation(d['c_0011_11']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0110_6']})} 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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_12, c_0101_2, c_0101_5, c_0110_6, c_1001_12, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 13747938668426631453173713785151/18376602954652904133298970844*c_11\ 00_0^14 + 185283775238605213423573585186513/18376602954652904133298\ 970844*c_1100_0^13 - 25656324316321776393217577088148/3533962106664\ 02002563441747*c_1100_0^12 - 347880584484181046314568321194540/4594\ 150738663226033324742711*c_1100_0^11 - 991398648794703594809747167593370/4594150738663226033324742711*c_11\ 00_0^10 + 888206351697126003113855197536922/45941507386632260333247\ 42711*c_1100_0^9 - 5162526628910303205027420697833743/9188301477326\ 452066649485422*c_1100_0^8 + 145278509910458811876642885155387/4375\ 38165586973907935689782*c_1100_0^7 - 2132674637540316092252991769717220/4594150738663226033324742711*c_1\ 100_0^6 + 66090863404984343378555912675377/291692110391315938623793\ 188*c_1100_0^5 - 198237017557206193606215960017287/7067924213328040\ 05126883494*c_1100_0^4 + 838024172458538809287043264279531/91883014\ 77326452066649485422*c_1100_0^3 - 747115286305512800793815128879205\ /9188301477326452066649485422*c_1100_0^2 + 7196424275119014380435958061469/680614924246403856788850772*c_1100_\ 0 - 130764533779840413489380026469705/18376602954652904133298970844\ , c_0011_0 - 1, c_0011_10 - 220622489307739262633/1363749087028507842465*c_1100_0^14 - 1068341464807745188639/454583029009502614155*c_1100_0^13 + 405469009581099129409/30305535267300174277*c_1100_0^12 + 44282905012563326112376/1363749087028507842465*c_1100_0^11 + 91571242191542960055398/1363749087028507842465*c_1100_0^10 + 11009673879317101534166/1363749087028507842465*c_1100_0^9 + 22673782363044291183679/272749817405701568493*c_1100_0^8 + 10927201190616154853009/272749817405701568493*c_1100_0^7 + 69667691021194529132843/1363749087028507842465*c_1100_0^6 + 3977905151932462724216/151527676336500871385*c_1100_0^5 + 8464995976722733669940/272749817405701568493*c_1100_0^4 + 6567974469682823635481/272749817405701568493*c_1100_0^3 + 13152975777797370970652/1363749087028507842465*c_1100_0^2 + 8786746598962159876579/1363749087028507842465*c_1100_0 + 2674995323603480119751/1363749087028507842465, c_0011_11 - 410967710036397756464/4091247261085523527395*c_1100_0^14 - 617434874802561409769/454583029009502614155*c_1100_0^13 + 885077359853319377401/90916605801900522831*c_1100_0^12 + 45981281825605730879563/4091247261085523527395*c_1100_0^11 + 101873006217904834199954/4091247261085523527395*c_1100_0^10 - 122699433836533550516497/4091247261085523527395*c_1100_0^9 + 49990207387702362398725/818249452217104705479*c_1100_0^8 - 23596025829317772783802/818249452217104705479*c_1100_0^7 + 117973249211128584980519/4091247261085523527395*c_1100_0^6 - 16507949422567390171841/1363749087028507842465*c_1100_0^5 + 10168685996803953946583/818249452217104705479*c_1100_0^4 - 236318807277071395105/818249452217104705479*c_1100_0^3 - 15814365916393098921964/4091247261085523527395*c_1100_0^2 + 7431631266950630497477/4091247261085523527395*c_1100_0 - 9083714585341949878837/4091247261085523527395, c_0011_4 - 1871311946757186457489/12273741783256570582185*c_1100_0^14 - 2868254439507175596769/1363749087028507842465*c_1100_0^13 + 1290212225216462293450/90916605801900522831*c_1100_0^12 + 255122009635897767761033/12273741783256570582185*c_1100_0^11 + 543540537405938952484774/12273741783256570582185*c_1100_0^10 - 380784497294720744456012/12273741783256570582185*c_1100_0^9 + 216151618883938519917083/2454748356651314116437*c_1100_0^8 - 49313054614416677017535/2454748356651314116437*c_1100_0^7 + 500332326360482348655814/12273741783256570582185*c_1100_0^6 - 3413775611197386744886/4091247261085523527395*c_1100_0^5 + 50830277871689549398525/2454748356651314116437*c_1100_0^4 + 15872936004540131621674/2454748356651314116437*c_1100_0^3 - 1315185755783382351959/12273741783256570582185*c_1100_0^2 + 56148243325216776874817/12273741783256570582185*c_1100_0 - 4654263643646249956262/12273741783256570582185, c_0011_6 - 1, c_0101_0 - 58965785564724631111/4091247261085523527395*c_1100_0^14 - 30565696565846614267/151527676336500871385*c_1100_0^13 + 117352083072137356649/90916605801900522831*c_1100_0^12 + 8481309304748383986962/4091247261085523527395*c_1100_0^11 + 22102733193691237400716/4091247261085523527395*c_1100_0^10 + 2384795220329719855252/4091247261085523527395*c_1100_0^9 + 10483914615854725544144/818249452217104705479*c_1100_0^8 + 959708958207157039714/818249452217104705479*c_1100_0^7 + 24646622582473784656741/4091247261085523527395*c_1100_0^6 + 5450823805996738142231/1363749087028507842465*c_1100_0^5 + 2230080702081206920366/818249452217104705479*c_1100_0^4 + 2715145706785071634879/818249452217104705479*c_1100_0^3 + 669643343168917011259/4091247261085523527395*c_1100_0^2 + 5056104797077358452598/4091247261085523527395*c_1100_0 + 2332580662538128623307/4091247261085523527395, c_0101_1 - 988886052045864433436/12273741783256570582185*c_1100_0^14 - 1566862620343617752096/1363749087028507842465*c_1100_0^13 + 632812227100552334029/90916605801900522831*c_1100_0^12 + 174003732899764677077242/12273741783256570582185*c_1100_0^11 + 374369312719678373194961/12273741783256570582185*c_1100_0^10 - 29981269422641382411133/12273741783256570582185*c_1100_0^9 + 111060025124481377639716/2454748356651314116437*c_1100_0^8 + 17786584094364595615214/2454748356651314116437*c_1100_0^7 + 354828069096603891997391/12273741783256570582185*c_1100_0^6 + 33506878737557239333966/4091247261085523527395*c_1100_0^5 + 37288742550696066181082/2454748356651314116437*c_1100_0^4 + 26578749654327394505858/2454748356651314116437*c_1100_0^3 + 48315545775149279018279/12273741783256570582185*c_1100_0^2 + 50466528698817167377813/12273741783256570582185*c_1100_0 + 5142777618734807770607/12273741783256570582185, c_0101_12 + 3570670484695084586/74386313837918609589*c_1100_0^14 + 1930952358722296062/2755048660663652207*c_1100_0^13 - 32331959593610036689/8265145981990956621*c_1100_0^12 - 732043331284126162657/74386313837918609589*c_1100_0^11 - 1583054931162228596975/74386313837918609589*c_1100_0^10 - 344540358015287051258/74386313837918609589*c_1100_0^9 - 1912337776618927142726/74386313837918609589*c_1100_0^8 - 773565749407473201136/74386313837918609589*c_1100_0^7 - 1344952071791652124097/74386313837918609589*c_1100_0^6 - 218105377501793859514/24795437945972869863*c_1100_0^5 - 748317580103385446389/74386313837918609589*c_1100_0^4 - 581310798842102426341/74386313837918609589*c_1100_0^3 - 232010114225612224460/74386313837918609589*c_1100_0^2 - 220369074487698631870/74386313837918609589*c_1100_0 - 32000174951970284123/74386313837918609589, c_0101_2 - 1586618553583336637986/12273741783256570582185*c_1100_0^14 - 2585290870787475780916/1363749087028507842465*c_1100_0^13 + 949946137196672345375/90916605801900522831*c_1100_0^12 + 339343360926825660196952/12273741783256570582185*c_1100_0^11 + 684716630462016045758776/12273741783256570582185*c_1100_0^10 + 137450648538113720913832/12273741783256570582185*c_1100_0^9 + 151463062329778628670881/2454748356651314116437*c_1100_0^8 + 104954398738933367470618/2454748356651314116437*c_1100_0^7 + 449109466889764826940781/12273741783256570582185*c_1100_0^6 + 111411188038425002126711/4091247261085523527395*c_1100_0^5 + 58098724613277650074573/2454748356651314116437*c_1100_0^4 + 52871187667614778337299/2454748356651314116437*c_1100_0^3 + 100781177018870478809014/12273741783256570582185*c_1100_0^2 + 70604882491343078268878/12273741783256570582185*c_1100_0 + 25096695944242479654112/12273741783256570582185, c_0101_5 - 87487796091401786480/818249452217104705479*c_1100_0^14 - 134244706122242701544/90916605801900522831*c_1100_0^13 + 300914552520868578810/30305535267300174277*c_1100_0^12 + 12055924844142456906589/818249452217104705479*c_1100_0^11 + 25708258434895070281085/818249452217104705479*c_1100_0^10 - 18087993012710575158103/818249452217104705479*c_1100_0^9 + 49498676296529991266684/818249452217104705479*c_1100_0^8 - 12680482785766859642048/818249452217104705479*c_1100_0^7 + 25034506293231673315955/818249452217104705479*c_1100_0^6 - 1706581208675769979499/272749817405701568493*c_1100_0^5 + 13605789412501385590609/818249452217104705479*c_1100_0^4 + 2384968009755660712315/818249452217104705479*c_1100_0^3 + 688314209873639971703/818249452217104705479*c_1100_0^2 + 1672564290114592352125/818249452217104705479*c_1100_0 - 858501535209733690474/818249452217104705479, c_0110_6 - 76096393206562773643/818249452217104705479*c_1100_0^14 - 124180380808110959291/90916605801900522831*c_1100_0^13 + 679629444616120195528/90916605801900522831*c_1100_0^12 + 16283664981616877336453/818249452217104705479*c_1100_0^11 + 34122192383236551999307/818249452217104705479*c_1100_0^10 + 8355771070647348071116/818249452217104705479*c_1100_0^9 + 38461787211768528627493/818249452217104705479*c_1100_0^8 + 23161583048085521697230/818249452217104705479*c_1100_0^7 + 28302235641158625488620/818249452217104705479*c_1100_0^6 + 5326067823763637292965/272749817405701568493*c_1100_0^5 + 15637913824914582174335/818249452217104705479*c_1100_0^4 + 14049525788608251525455/818249452217104705479*c_1100_0^3 + 5989167690329891787241/818249452217104705479*c_1100_0^2 + 3429158553479467311389/818249452217104705479*c_1100_0 + 1108831905898296469303/818249452217104705479, c_1001_12 - 2038778343960050320484/12273741783256570582185*c_1100_0^14 - 3143767144245912192179/1363749087028507842465*c_1100_0^13 + 1386324361899436132784/90916605801900522831*c_1100_0^12 + 289999199208368896026043/12273741783256570582185*c_1100_0^11 + 641745852651734846972024/12273741783256570582185*c_1100_0^10 - 333928998272606019854797/12273741783256570582185*c_1100_0^9 + 242477999185537907699431/2454748356651314116437*c_1100_0^8 - 48623294605471006121584/2454748356651314116437*c_1100_0^7 + 694656042573236325485624/12273741783256570582185*c_1100_0^6 - 10430945659997689046426/4091247261085523527395*c_1100_0^5 + 66344772776146517454674/2454748356651314116437*c_1100_0^4 + 20952763992948208777916/2454748356651314116437*c_1100_0^3 + 33484218419979334568021/12273741783256570582185*c_1100_0^2 + 57198042290747356916932/12273741783256570582185*c_1100_0 - 15816602222760272133307/12273741783256570582185, c_1100_0^15 + 14*c_1100_0^14 - 90*c_1100_0^13 - 152*c_1100_0^12 - 341*c_1100_0^11 + 108*c_1100_0^10 - 615*c_1100_0^9 + 50*c_1100_0^8 - 386*c_1100_0^7 - 23*c_1100_0^6 - 215*c_1100_0^5 - 75*c_1100_0^4 - 44*c_1100_0^3 - 43*c_1100_0^2 - 2*c_1100_0 - 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.160 Total time: 0.370 seconds, Total memory usage: 32.09MB