Magma V2.19-8 Tue Aug 20 2013 23:48:46 on localhost [Seed = 2480273719] Type ? for help. Type -D to quit. Loading file "L12n1006__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L12n1006 geometric_solution 11.25448707 oriented_manifold CS_known 0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 1 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 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.848876054919 0.669328717928 0 5 7 6 0132 0132 0132 0132 1 1 0 0 0 -1 0 1 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 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 1.225170295841 1.371781918967 8 0 9 8 0132 0132 0132 2103 0 1 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 -1 0 1 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.693209273280 0.657494344613 10 7 4 0 0132 2031 3201 0132 0 1 0 1 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 -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.044287990375 0.562872489261 3 6 0 10 2310 3012 0132 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 -1 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.358996949785 1.174099384819 8 1 7 8 1230 0132 0213 1302 1 0 0 0 0 1 -1 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 -1 0 1 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.693209273280 0.657494344613 4 9 1 10 1230 3120 0132 2031 1 1 0 0 0 0 -1 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 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.047159285456 1.195125125621 3 5 11 1 1302 0213 0132 0132 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 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.227407352920 0.627456082504 2 5 5 2 0132 3012 2031 2103 0 1 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 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.693209273280 0.657494344613 11 6 11 2 0321 3120 2310 0132 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 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.585583561610 1.381372294365 3 6 4 11 0132 1302 1230 1302 1 1 1 0 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 1 0 0 -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.755971588496 0.988322548175 9 9 10 7 0321 3201 2031 0132 1 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 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.199245339354 0.664143518617 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_11'], 'c_1001_10' : d['c_0011_4'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_7' : d['c_1001_5'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_0101_8'], 'c_1001_0' : d['c_0011_7'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0011_6']), 'c_1001_9' : negation(d['c_1001_5']), 'c_1001_8' : negation(d['c_0011_0']), 'c_1010_11' : d['c_1001_5'], 'c_1010_10' : d['c_1010_10'], 's_0_10' : d['1'], 's_3_10' : 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_0'], '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_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_1100_8' : negation(d['c_0101_8']), 'c_1100_5' : d['c_0101_8'], 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_7' : negation(d['c_1010_10']), 'c_1100_6' : negation(d['c_1010_10']), 'c_1100_1' : negation(d['c_1010_10']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_11'], 's_3_11' : d['1'], 'c_1100_9' : d['c_0011_11'], 'c_1100_11' : negation(d['c_1010_10']), 'c_1100_10' : d['c_0101_11'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_8'], 'c_1010_6' : d['c_0011_10'], 'c_1010_5' : d['c_0101_8'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_0011_7'], 'c_1010_2' : d['c_0011_7'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : negation(d['c_0011_6']), 'c_1010_9' : negation(d['c_0011_6']), 'c_1010_8' : negation(d['c_0011_7']), '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'], '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_10']), '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_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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_10'], 'c_0110_10' : negation(d['c_0101_11']), 'c_0101_7' : d['c_0011_10'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_7'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_11']), 'c_0101_2' : negation(d['c_0011_11']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_11']), 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_11']), 'c_0110_8' : negation(d['c_0011_11']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0011_4']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_4, c_0011_6, c_0011_7, c_0101_0, c_0101_1, c_0101_11, c_0101_8, c_1001_5, c_1010_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 718201514623842603688042/717332930462395290625*c_1010_10^12 + 1616651591927071600019873/717332930462395290625*c_1010_10^11 - 2885937748236013338021633/1147732688739832465000*c_1010_10^10 - 9259950828975606229414611/2869331721849581162500*c_1010_10^9 + 17069166642946469991053769/5738663443699162325000*c_1010_10^8 + 428172656007423131920787/143466586092479058125*c_1010_10^7 - 3503627527341728489971223/573866344369916232500*c_1010_10^6 - 236053331697586747403124101/22954653774796649300000*c_1010_10^5 - 10585333026081440537381153/2869331721849581162500*c_1010_10^4 + 1232247732004324868525729/918186150991865972000*c_1010_10^3 + 16276026802019703033784583/22954653774796649300000*c_1010_10^2 - 179217599121651867125811/2295465377479664930000*c_1010_10 - 5173611761669295377034429/91818615099186597200000, c_0011_0 - 1, c_0011_10 + 9266132269741500672/229546537747966493*c_1010_10^12 - 24182898147246838656/229546537747966493*c_1010_10^11 + 32010626316451289488/229546537747966493*c_1010_10^10 + 18177430528747624720/229546537747966493*c_1010_10^9 - 33839618461243638776/229546537747966493*c_1010_10^8 - 15211481681003705856/229546537747966493*c_1010_10^7 + 61262204323986370568/229546537747966493*c_1010_10^6 + 73041085349905010108/229546537747966493*c_1010_10^5 + 8830968150959622264/229546537747966493*c_1010_10^4 - 15198710851666829198/229546537747966493*c_1010_10^3 - 2093961446038385238/229546537747966493*c_1010_10^2 + 645672003202868336/229546537747966493*c_1010_10 + 126143983954699503/229546537747966493, c_0011_11 + 3150681415353304064/229546537747966493*c_1010_10^12 - 6043599922767870464/229546537747966493*c_1010_10^11 + 4838896923371985088/229546537747966493*c_1010_10^10 + 14981065744619687872/229546537747966493*c_1010_10^9 - 9380575832597149624/229546537747966493*c_1010_10^8 - 12505816676641965816/229546537747966493*c_1010_10^7 + 18889331918741333136/229546537747966493*c_1010_10^6 + 38856614745059662748/229546537747966493*c_1010_10^5 + 17461534867062097328/229546537747966493*c_1010_10^4 - 4043768220734783400/229546537747966493*c_1010_10^3 - 2103370556961053088/229546537747966493*c_1010_10^2 + 664312476983487110/229546537747966493*c_1010_10 + 105185584826592219/229546537747966493, c_0011_4 + 9118514424579233280/229546537747966493*c_1010_10^12 - 19562910647263029760/229546537747966493*c_1010_10^11 + 21045162778173940064/229546537747966493*c_1010_10^10 + 30907668676585143504/229546537747966493*c_1010_10^9 - 22667201887098765592/229546537747966493*c_1010_10^8 - 29725111092322324488/229546537747966493*c_1010_10^7 + 51314346664700423592/229546537747966493*c_1010_10^6 + 99624259234274599956/229546537747966493*c_1010_10^5 + 45549158645113821820/229546537747966493*c_1010_10^4 - 6955272097081141506/229546537747966493*c_1010_10^3 - 7988322160911117310/229546537747966493*c_1010_10^2 - 196306993581563314/229546537747966493*c_1010_10 + 669002477475627157/229546537747966493, c_0011_6 + 14048514991295559936/229546537747966493*c_1010_10^12 - 34374929462027714688/229546537747966493*c_1010_10^11 + 43554620053951673488/229546537747966493*c_1010_10^10 + 32402203973130527232/229546537747966493*c_1010_10^9 - 41851688719720580032/229546537747966493*c_1010_10^8 - 31899780352163657856/229546537747966493*c_1010_10^7 + 85749777972789231120/229546537747966493*c_1010_10^6 + 126277503693010391416/229546537747966493*c_1010_10^5 + 37859396326800004316/229546537747966493*c_1010_10^4 - 16720946161778781684/229546537747966493*c_1010_10^3 - 7611867781998733680/229546537747966493*c_1010_10^2 + 351345834225722284/229546537747966493*c_1010_10 + 1219599340526365581/229546537747966493, c_0011_7 - 5119061752897364992/229546537747966493*c_1010_10^12 + 12968312291225850112/229546537747966493*c_1010_10^11 - 17101791277712332736/229546537747966493*c_1010_10^10 - 10034690710138201616/229546537747966493*c_1010_10^9 + 15758967267721039200/229546537747966493*c_1010_10^8 + 9899544908944175056/229546537747966493*c_1010_10^7 - 31322962053879177432/229546537747966493*c_1010_10^6 - 43529053510328486532/229546537747966493*c_1010_10^5 - 10655179151382078712/229546537747966493*c_1010_10^4 + 6140389098852763948/229546537747966493*c_1010_10^3 + 2329963247701432758/229546537747966493*c_1010_10^2 - 175514628038237112/229546537747966493*c_1010_10 - 781642729764786352/229546537747966493, c_0101_0 - 1, c_0101_1 - 844530472430828032/229546537747966493*c_1010_10^12 + 3825814847011780608/229546537747966493*c_1010_10^11 - 7518742082131926944/229546537747966493*c_1010_10^10 + 5227014938068317168/229546537747966493*c_1010_10^9 + 4000365302266990776/229546537747966493*c_1010_10^8 - 3670493838489624616/229546537747966493*c_1010_10^7 - 7081917395046750808/229546537747966493*c_1010_10^6 + 3620486656751866088/229546537747966493*c_1010_10^5 + 9465686147373885268/229546537747966493*c_1010_10^4 + 2148044206411939484/229546537747966493*c_1010_10^3 - 1306382800305247656/229546537747966493*c_1010_10^2 - 211363551444404192/229546537747966493*c_1010_10 - 129011441128199199/229546537747966493, c_0101_11 - 908567789530019840/229546537747966493*c_1010_10^12 + 2150267771820546816/229546537747966493*c_1010_10^11 - 2582913359400437760/229546537747966493*c_1010_10^10 - 2393203757419198864/229546537747966493*c_1010_10^9 + 2570474853145409776/229546537747966493*c_1010_10^8 + 2518316134470227376/229546537747966493*c_1010_10^7 - 5163740482273542028/229546537747966493*c_1010_10^6 - 9277917049707933496/229546537747966493*c_1010_10^5 - 2702945188286255256/229546537747966493*c_1010_10^4 + 1748221242929301474/229546537747966493*c_1010_10^3 + 1313185174174908548/229546537747966493*c_1010_10^2 - 101459735640305822/229546537747966493*c_1010_10 - 119541626263797862/229546537747966493, c_0101_8 - 2487901325967854080/229546537747966493*c_1010_10^12 + 5874583061102405632/229546537747966493*c_1010_10^11 - 7291096544432376480/229546537747966493*c_1010_10^10 - 6095044117917740816/229546537747966493*c_1010_10^9 + 6281020227879752728/229546537747966493*c_1010_10^8 + 6846319439982593552/229546537747966493*c_1010_10^7 - 15296947629788147008/229546537747966493*c_1010_10^6 - 23333163277120687380/229546537747966493*c_1010_10^5 - 8825556885953149736/229546537747966493*c_1010_10^4 + 1714604754098905802/229546537747966493*c_1010_10^3 + 708060465151778326/229546537747966493*c_1010_10^2 - 327891309395688560/229546537747966493*c_1010_10 - 22399166568908317/229546537747966493, c_1001_5 - 3150681415353304064/229546537747966493*c_1010_10^12 + 6043599922767870464/229546537747966493*c_1010_10^11 - 4838896923371985088/229546537747966493*c_1010_10^10 - 14981065744619687872/229546537747966493*c_1010_10^9 + 9380575832597149624/229546537747966493*c_1010_10^8 + 12505816676641965816/229546537747966493*c_1010_10^7 - 18889331918741333136/229546537747966493*c_1010_10^6 - 38856614745059662748/229546537747966493*c_1010_10^5 - 17461534867062097328/229546537747966493*c_1010_10^4 + 4043768220734783400/229546537747966493*c_1010_10^3 + 2103370556961053088/229546537747966493*c_1010_10^2 - 664312476983487110/229546537747966493*c_1010_10 - 105185584826592219/229546537747966493, c_1010_10^13 - 5/2*c_1010_10^12 + 49/16*c_1010_10^11 + 21/8*c_1010_10^10 - 61/16*c_1010_10^9 - 9/4*c_1010_10^8 + 55/8*c_1010_10^7 + 561/64*c_1010_10^6 + 17/16*c_1010_10^5 - 149/64*c_1010_10^4 - 23/64*c_1010_10^3 + 9/32*c_1010_10^2 + 9/256*c_1010_10 - 1/64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.270 seconds, Total memory usage: 32.09MB