Magma V2.19-8 Tue Aug 20 2013 23:47:02 on localhost [Seed = 442265642] Type ? for help. Type -D to quit. Loading file "K14n6691__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n6691 geometric_solution 10.70250447 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0.375723905486 0.806448554932 0 5 3 6 0132 0132 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.298669535440 0.364273404567 4 0 8 7 1023 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.292757973739 0.813819372085 9 1 8 0 0132 0213 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.855943917334 0.792994118013 5 2 0 10 0132 1023 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 -1 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.611622616236 2.723382110216 4 1 11 7 0132 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.364728705427 0.791866209178 9 10 1 7 2103 1023 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.654026978325 1.641620978650 9 6 2 5 1230 0321 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.631306960677 1.067969352078 11 11 3 2 0321 3120 0321 0132 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 -7 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.959629616555 0.830279390219 3 7 6 10 0132 3012 2103 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.771254109061 0.637503859250 6 9 4 11 1023 2310 0132 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 -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.013013849610 0.709253549861 8 8 10 5 0321 3120 1230 0132 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 7 -6 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.959629616555 0.830279390219 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_0101_7'], 'c_1001_5' : negation(d['c_0011_8']), 'c_1001_4' : negation(d['c_0011_11']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0011_8']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_1'], 'c_1001_2' : negation(d['c_0011_11']), 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : negation(d['c_1001_11']), 'c_1010_11' : negation(d['c_0011_8']), 'c_1010_10' : negation(d['c_0101_11']), 's_3_11' : 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' : negation(d['c_0011_8']), '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_1100_9' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0110_10'], 'c_1100_4' : negation(d['c_1001_11']), 'c_1100_7' : d['c_1001_1'], 'c_1100_6' : d['c_1001_0'], 'c_1100_1' : d['c_1001_0'], 'c_1100_0' : negation(d['c_1001_11']), 'c_1100_3' : negation(d['c_1001_11']), 'c_1100_2' : d['c_1001_1'], 's_0_10' : d['1'], 'c_1100_11' : d['c_0110_10'], 'c_1100_10' : negation(d['c_1001_11']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0110_10'], 'c_1010_6' : d['c_0110_10'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0101_7'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_8']), 'c_1010_0' : negation(d['c_0011_11']), 'c_1010_9' : negation(d['c_0101_7']), 'c_1010_8' : negation(d['c_0011_11']), 'c_1100_8' : d['c_1001_1'], '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_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : 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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_8']), 'c_0110_10' : d['c_0110_10'], 'c_0110_0' : d['c_0011_3'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_8']), 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_11'], 'c_0101_2' : negation(d['c_0011_11']), 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : negation(d['c_0101_11']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : negation(d['c_0011_11']), 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : negation(d['c_0011_8']), 'c_0110_7' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0011_10']})} 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_3, c_0011_8, c_0101_0, c_0101_11, c_0101_7, c_0110_10, c_1001_0, c_1001_1, c_1001_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 248060724038124657142206662/3436352973424813264594224321*c_1001_11^\ 14 + 519604657484786581982317927/3436352973424813264594224321*c_100\ 1_11^13 + 1166754663085695901551054478/1145450991141604421531408107\ *c_1001_11^12 + 16040895161689163336512708403/343635297342481326459\ 4224321*c_1001_11^11 + 215631007920762764861611526/1986331198511452\ 7541007077*c_1001_11^10 + 15492174282509158330188727104/11454509911\ 41604421531408107*c_1001_11^9 + 43148853596962500191041001704/34363\ 52973424813264594224321*c_1001_11^8 - 9732183747780866011303800467/1145450991141604421531408107*c_1001_11\ ^7 - 46123472901576454396889490278/3436352973424813264594224321*c_1\ 001_11^6 + 56492634870754907495845131458/34363529734248132645942243\ 21*c_1001_11^5 + 7511143020571095801012140636/114545099114160442153\ 1408107*c_1001_11^4 + 82140227461517913671341187630/343635297342481\ 3264594224321*c_1001_11^3 + 37137190950935654905797800828/343635297\ 3424813264594224321*c_1001_11^2 + 1935552820439043970200185945/3436\ 352973424813264594224321*c_1001_11 - 15691437397260651787710412585/3436352973424813264594224321, c_0011_0 - 1, c_0011_10 - 302474725353829645504/87060195420050499470351*c_1001_11^14 + 882221016237018674859/87060195420050499470351*c_1001_11^13 + 330686009335780399689/7914563220004590860941*c_1001_11^12 + 1497323227309633150517/7914563220004590860941*c_1001_11^11 + 16008115166965110792/45748920346847346017*c_1001_11^10 + 24121423634655288127795/87060195420050499470351*c_1001_11^9 + 10951251788201153034137/87060195420050499470351*c_1001_11^8 - 82648297224433064060701/87060195420050499470351*c_1001_11^7 - 41471033571149915552289/87060195420050499470351*c_1001_11^6 + 61495493529566199502515/87060195420050499470351*c_1001_11^5 - 32938922568774451384761/87060195420050499470351*c_1001_11^4 + 104681917096191154836379/87060195420050499470351*c_1001_11^3 - 22311283719872198551026/87060195420050499470351*c_1001_11^2 + 39496735878166061496220/87060195420050499470351*c_1001_11 - 96887843412805903689666/87060195420050499470351, c_0011_11 + 474335466942100024571/87060195420050499470351*c_1001_11^14 - 1088615538457925372069/87060195420050499470351*c_1001_11^13 - 6594144719726987345598/87060195420050499470351*c_1001_11^12 - 28821541277331997835591/87060195420050499470351*c_1001_11^11 - 374433022741000741531/503238123815320806187*c_1001_11^10 - 71534834563374112534577/87060195420050499470351*c_1001_11^9 - 64038555629279695981102/87060195420050499470351*c_1001_11^8 + 70250929901150946027473/87060195420050499470351*c_1001_11^7 + 93607218339239130736698/87060195420050499470351*c_1001_11^6 - 10820436204956068761086/7914563220004590860941*c_1001_11^5 + 48503973146449469344694/87060195420050499470351*c_1001_11^4 - 12122228532696627778904/7914563220004590860941*c_1001_11^3 - 178221963210177552736822/87060195420050499470351*c_1001_11^2 + 9458058897922798831235/7914563220004590860941*c_1001_11 + 53250954428434988035399/87060195420050499470351, c_0011_3 - 1, c_0011_8 - 534780525754678623614/87060195420050499470351*c_1001_11^14 + 1483235012355370432014/87060195420050499470351*c_1001_11^13 + 6549645207432069643751/87060195420050499470351*c_1001_11^12 + 29783348709880994079878/87060195420050499470351*c_1001_11^11 + 352439213045858347679/503238123815320806187*c_1001_11^10 + 62341351633612007037633/87060195420050499470351*c_1001_11^9 + 67015768769738656554449/87060195420050499470351*c_1001_11^8 - 6949065525955948879851/7914563220004590860941*c_1001_11^7 - 19359074675698440599303/87060195420050499470351*c_1001_11^6 + 161392556400814115858116/87060195420050499470351*c_1001_11^5 - 100909858838212569766941/87060195420050499470351*c_1001_11^4 + 255277360692730367886415/87060195420050499470351*c_1001_11^3 + 48691795406755644704679/87060195420050499470351*c_1001_11^2 - 53894443811413569202296/87060195420050499470351*c_1001_11 + 11916577949890688291157/87060195420050499470351, c_0101_0 + 1342994284499829927252/87060195420050499470351*c_1001_11^14 - 3687279850592318682004/87060195420050499470351*c_1001_11^13 - 17143721205900012740815/87060195420050499470351*c_1001_11^12 - 74165837095184132734575/87060195420050499470351*c_1001_11^11 - 845309858363971375908/503238123815320806187*c_1001_11^10 - 121822635634371051117146/87060195420050499470351*c_1001_11^9 - 7001522940817172411350/7914563220004590860941*c_1001_11^8 + 309031509682875057733001/87060195420050499470351*c_1001_11^7 + 184266989474708194327620/87060195420050499470351*c_1001_11^6 - 406463527222946960996215/87060195420050499470351*c_1001_11^5 + 16272769870896763430588/7914563220004590860941*c_1001_11^4 - 411498647259542744467033/87060195420050499470351*c_1001_11^3 - 176023848620168547048769/87060195420050499470351*c_1001_11^2 + 144390259961325452555420/87060195420050499470351*c_1001_11 + 191500008715362108535533/87060195420050499470351, c_0101_11 - 453354698679852299967/87060195420050499470351*c_1001_11^14 + 1335541629085863740509/87060195420050499470351*c_1001_11^13 + 5647587621575178881291/87060195420050499470351*c_1001_11^12 + 23475929146703691132769/87060195420050499470351*c_1001_11^11 + 250139117389949322085/503238123815320806187*c_1001_11^10 + 26142291309544072060444/87060195420050499470351*c_1001_11^9 + 11204618876648136500864/87060195420050499470351*c_1001_11^8 - 109633844545817710299926/87060195420050499470351*c_1001_11^7 - 3423060718014113876349/7914563220004590860941*c_1001_11^6 + 181735876279614516643249/87060195420050499470351*c_1001_11^5 - 107633391256284233214618/87060195420050499470351*c_1001_11^4 + 81354799220090150072068/87060195420050499470351*c_1001_11^3 + 27272844878984400128652/87060195420050499470351*c_1001_11^2 - 204581774602683222841478/87060195420050499470351*c_1001_11 - 8836252361877859260470/87060195420050499470351, c_0101_7 - 162883757543103547560/87060195420050499470351*c_1001_11^14 + 640017323637660602885/87060195420050499470351*c_1001_11^13 + 1648905502301800912533/87060195420050499470351*c_1001_11^12 + 6144770681336685478136/87060195420050499470351*c_1001_11^11 + 35772375149231228405/503238123815320806187*c_1001_11^10 - 10100223132366598849466/87060195420050499470351*c_1001_11^9 - 13753850264040728930447/87060195420050499470351*c_1001_11^8 - 49090711963444886872741/87060195420050499470351*c_1001_11^7 + 13108393055138284806088/87060195420050499470351*c_1001_11^6 + 89726394136738982872484/87060195420050499470351*c_1001_11^5 - 100613118008658027872782/87060195420050499470351*c_1001_11^4 + 37487706639738839247734/87060195420050499470351*c_1001_11^3 + 3127010043492172098305/7914563220004590860941*c_1001_11^2 - 162986633255690929130894/87060195420050499470351*c_1001_11 + 5756121353107063908450/87060195420050499470351, c_0110_10 - 969755498555147933922/87060195420050499470351*c_1001_11^14 + 2775147136020870258786/87060195420050499470351*c_1001_11^13 + 11798671132512784033038/87060195420050499470351*c_1001_11^12 + 52671551018360568597124/87060195420050499470351*c_1001_11^11 + 596340742273805076461/503238123815320806187*c_1001_11^10 + 93378805510346355989754/87060195420050499470351*c_1001_11^9 + 88571645003397349657621/87060195420050499470351*c_1001_11^8 - 169798284046225452607333/87060195420050499470351*c_1001_11^7 - 37698460604836113362772/87060195420050499470351*c_1001_11^6 + 308088047756752175985775/87060195420050499470351*c_1001_11^5 - 192131563495032439319632/87060195420050499470351*c_1001_11^4 + 373243343835523936564539/87060195420050499470351*c_1001_11^3 + 5979609324251026183813/7914563220004590860941*c_1001_11^2 - 40477382763099747178646/87060195420050499470351*c_1001_11 - 43691606317955322212048/87060195420050499470351, c_1001_0 + 1110736877544350879206/87060195420050499470351*c_1001_11^14 - 2646064055870024053799/87060195420050499470351*c_1001_11^13 - 15117777131103022640673/87060195420050499470351*c_1001_11^12 - 66633147550643014357447/87060195420050499470351*c_1001_11^11 - 843134732817685644713/503238123815320806187*c_1001_11^10 - 158952030810334448444787/87060195420050499470351*c_1001_11^9 - 142323474922200366159912/87060195420050499470351*c_1001_11^8 + 153901093905356795047202/87060195420050499470351*c_1001_11^7 + 143040180514326808408621/87060195420050499470351*c_1001_11^6 - 350691580454133624590739/87060195420050499470351*c_1001_11^5 + 36021554200992192132346/87060195420050499470351*c_1001_11^4 - 278076382195646188537807/87060195420050499470351*c_1001_11^3 - 27605962863181910231350/7914563220004590860941*c_1001_11^2 + 8657941207683041994945/87060195420050499470351*c_1001_11 + 137341423904855353143472/87060195420050499470351, c_1001_1 - 200304411876770027/17436450114169937807*c_1001_11^14 + 538535565011644654/17436450114169937807*c_1001_11^13 + 2493498369082479012/17436450114169937807*c_1001_11^12 + 11406263869309483109/17436450114169937807*c_1001_11^11 + 137404254664117899/100788728983641259*c_1001_11^10 + 25555090546750511749/17436450114169937807*c_1001_11^9 + 26765730818701737255/17436450114169937807*c_1001_11^8 - 26884241728185595231/17436450114169937807*c_1001_11^7 - 12650762053822550458/17436450114169937807*c_1001_11^6 + 50936848146280770145/17436450114169937807*c_1001_11^5 - 41003336501379733384/17436450114169937807*c_1001_11^4 + 75935982672129306245/17436450114169937807*c_1001_11^3 + 32218025750544841725/17436450114169937807*c_1001_11^2 - 5847365291179580452/17436450114169937807*c_1001_11 - 17848893587032612641/17436450114169937807, c_1001_11^15 - 3*c_1001_11^14 - 12*c_1001_11^13 - 52*c_1001_11^12 - 96*c_1001_11^11 - 69*c_1001_11^10 - 52*c_1001_11^9 + 212*c_1001_11^8 + 42*c_1001_11^7 - 361*c_1001_11^6 + 234*c_1001_11^5 - 327*c_1001_11^4 - 65*c_1001_11^3 + 173*c_1001_11^2 + 61*c_1001_11 - 59 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.450 Total time: 1.659 seconds, Total memory usage: 32.09MB