Magma V2.19-8 Tue Aug 20 2013 23:47:12 on localhost [Seed = 3052658675] Type ? for help. Type -D to quit. Loading file "K14n9757__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n9757 geometric_solution 10.52635174 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 1 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 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.182929237966 1.070201317801 0 0 5 4 0132 1302 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 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.844816615007 0.907878177196 6 0 8 7 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.966299929792 0.748824674167 9 6 10 0 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.090321890025 0.802650518794 5 11 1 9 2103 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.282645191620 1.021662397072 9 9 4 1 2103 1302 2103 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 2 -3 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.398548283414 0.647922820209 2 7 3 11 0132 1302 2310 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 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.473255506013 0.645260153322 10 8 2 6 1230 2103 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 -0.298359609222 0.964777416167 10 7 11 2 0132 2103 1302 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.336838163989 0.340168622008 3 4 5 5 0132 1302 2103 2031 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 -1 -2 3 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.398548283414 0.647922820209 8 7 11 3 0132 3012 2031 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.966819812634 0.710717322580 8 4 6 10 2031 0132 1230 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.464291628821 0.508415897090 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_3']), 'c_1001_10' : negation(d['c_0011_7']), 'c_1001_5' : negation(d['c_0011_11']), 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_0011_10']), 'c_1001_6' : d['c_0011_10'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : negation(d['c_0011_10']), 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : d['c_0011_5'], 'c_1001_8' : d['c_0011_7'], 'c_1010_11' : d['c_1001_4'], 'c_1010_10' : negation(d['c_0101_6']), '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_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_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_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), 'c_1100_7' : d['c_0101_11'], 'c_1100_6' : d['c_0011_3'], 'c_1100_1' : negation(d['c_0011_5']), 'c_1100_0' : negation(d['c_1001_4']), 'c_1100_3' : negation(d['c_1001_4']), 'c_1100_2' : d['c_0101_11'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_10'], 'c_1100_10' : negation(d['c_1001_4']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_0'], 'c_1010_6' : negation(d['c_0101_11']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : negation(d['c_0011_10']), 'c_1010_2' : negation(d['c_0011_10']), 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : d['c_0011_5'], 'c_1010_8' : negation(d['c_0011_0']), 'c_1100_8' : d['c_0101_11'], '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' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_0'], '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' : d['c_0011_7'], 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_11']), '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_0'], 'c_0101_8' : negation(d['c_0011_11']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_11']), 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_5'], 'c_0110_7' : d['c_0011_10'], 'c_0110_6' : d['c_0101_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_5, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_6, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 1434777686355098040166280/3907335086172968044018501*c_1001_4^14 - 4193717557991904626446225/3907335086172968044018501*c_1001_4^13 + 7430090080891202009849231/3907335086172968044018501*c_1001_4^12 + 23797818371389500011104298/3907335086172968044018501*c_1001_4^11 - 16863652006503227634879306/3907335086172968044018501*c_1001_4^10 - 538747086679829422011749/50744611508739844727513*c_1001_4^9 - 17951659006228055740120509/3907335086172968044018501*c_1001_4^8 - 109330608014026133446321308/3907335086172968044018501*c_1001_4^7 - 5519218668908237171392721/558190726596138292002643*c_1001_4^6 + 89932078964112682264118864/3907335086172968044018501*c_1001_4^5 + 39431079119305451702483026/3907335086172968044018501*c_1001_4^4 + 85498008150572478851174446/3907335086172968044018501*c_1001_4^3 - 211670375707309014439053540/3907335086172968044018501*c_1001_4^2 + 140877871300114379346521352/3907335086172968044018501*c_1001_4 - 420594807089114194610163320/3907335086172968044018501, c_0011_0 - 1, c_0011_10 - 106774873258613/442191161413655467*c_1001_4^14 - 433686188859684/442191161413655467*c_1001_4^13 + 1913208313849040/442191161413655467*c_1001_4^12 + 6750167529344608/442191161413655467*c_1001_4^11 - 7553562225472547/442191161413655467*c_1001_4^10 - 24042730017498746/442191161413655467*c_1001_4^9 + 13974523247703745/442191161413655467*c_1001_4^8 + 6802370118447262/442191161413655467*c_1001_4^7 + 11364166464599115/442191161413655467*c_1001_4^6 + 161416741218662031/442191161413655467*c_1001_4^5 + 88253899040500837/442191161413655467*c_1001_4^4 + 17991224864481963/442191161413655467*c_1001_4^3 + 94507018657439677/442191161413655467*c_1001_4^2 - 52359837550183224/442191161413655467*c_1001_4 + 169560046217773375/442191161413655467, c_0011_11 + 871707965322635/442191161413655467*c_1001_4^14 + 8604335981474011/442191161413655467*c_1001_4^13 + 8440618602121023/442191161413655467*c_1001_4^12 - 59533902872525185/442191161413655467*c_1001_4^11 - 78904615915582180/442191161413655467*c_1001_4^10 + 163057468200824116/442191161413655467*c_1001_4^9 + 264097640897168497/442191161413655467*c_1001_4^8 + 41586262740172718/442191161413655467*c_1001_4^7 - 69047765303056065/442191161413655467*c_1001_4^6 - 201461448515001771/442191161413655467*c_1001_4^5 - 104783254975158105/442191161413655467*c_1001_4^4 - 147344915358617454/442191161413655467*c_1001_4^3 + 376373124780834052/442191161413655467*c_1001_4^2 + 941201518656477787/442191161413655467*c_1001_4 - 90795123539637199/442191161413655467, c_0011_3 - 960775089832321/442191161413655467*c_1001_4^14 - 8648886818699007/442191161413655467*c_1001_4^13 - 9113536141155859/442191161413655467*c_1001_4^12 + 52894155907128924/442191161413655467*c_1001_4^11 + 80696798367745198/442191161413655467*c_1001_4^10 - 119639406263738880/442191161413655467*c_1001_4^9 - 250253133389349744/442191161413655467*c_1001_4^8 - 137098607440475771/442191161413655467*c_1001_4^7 - 49179923248078127/442191161413655467*c_1001_4^6 + 105848093264748864/442191161413655467*c_1001_4^5 + 125244473421722900/442191161413655467*c_1001_4^4 + 348661194982524460/442191161413655467*c_1001_4^3 + 131995538677355349/442191161413655467*c_1001_4^2 - 820815888024219475/442191161413655467*c_1001_4 - 466327216505736471/442191161413655467, c_0011_5 - 1229970315705313/442191161413655467*c_1001_4^14 - 361478598122696/442191161413655467*c_1001_4^13 + 20525658607108155/442191161413655467*c_1001_4^12 + 16757408392861364/442191161413655467*c_1001_4^11 - 102554524147188466/442191161413655467*c_1001_4^10 - 101182695669215521/442191161413655467*c_1001_4^9 + 199724699053926392/442191161413655467*c_1001_4^8 + 272607601927651377/442191161413655467*c_1001_4^7 + 75644533228556786/442191161413655467*c_1001_4^6 + 3301309960410576/442191161413655467*c_1001_4^5 - 61973526547804105/442191161413655467*c_1001_4^4 - 378803427534168508/442191161413655467*c_1001_4^3 - 280662837908313076/442191161413655467*c_1001_4^2 + 644955759288554244/442191161413655467*c_1001_4 + 297382514176041795/442191161413655467, c_0011_7 + 999162813616278/442191161413655467*c_1001_4^14 + 1963804527437890/442191161413655467*c_1001_4^13 - 2504150362306035/442191161413655467*c_1001_4^12 - 8815699969868004/442191161413655467*c_1001_4^11 - 18469371465806838/442191161413655467*c_1001_4^10 + 12224866786327942/442191161413655467*c_1001_4^9 + 124650262260203144/442191161413655467*c_1001_4^8 + 43419151055404046/442191161413655467*c_1001_4^7 - 81018399880652085/442191161413655467*c_1001_4^6 + 39873547493293446/442191161413655467*c_1001_4^5 - 154662777316821228/442191161413655467*c_1001_4^4 - 247543334383353188/442191161413655467*c_1001_4^3 - 26693113498910443/442191161413655467*c_1001_4^2 + 132428282933695148/442191161413655467*c_1001_4 + 188723586870142277/442191161413655467, c_0101_0 - 1048274614808226/442191161413655467*c_1001_4^14 - 6050374538557453/442191161413655467*c_1001_4^13 - 944554433620300/442191161413655467*c_1001_4^12 + 40318325092330630/442191161413655467*c_1001_4^11 + 31755362450663670/442191161413655467*c_1001_4^10 - 106828288801872725/442191161413655467*c_1001_4^9 - 128880702131400662/442191161413655467*c_1001_4^8 - 20955984851854095/442191161413655467*c_1001_4^7 - 53440389869392004/442191161413655467*c_1001_4^6 + 36258854695654054/442191161413655467*c_1001_4^5 + 262063386578148093/442191161413655467*c_1001_4^4 + 182615736841983999/442191161413655467*c_1001_4^3 - 317725463868653762/442191161413655467*c_1001_4^2 - 543325848443005324/442191161413655467*c_1001_4 - 18474060508074069/442191161413655467, c_0101_1 + 3739511453023840/442191161413655467*c_1001_4^14 + 14962646818028824/442191161413655467*c_1001_4^13 - 9770365960612069/442191161413655467*c_1001_4^12 - 92642485452784669/442191161413655467*c_1001_4^11 - 22384595397355402/442191161413655467*c_1001_4^10 + 219996236232132837/442191161413655467*c_1001_4^9 + 221348333355503265/442191161413655467*c_1001_4^8 + 160582573088126974/442191161413655467*c_1001_4^7 + 135561023468825689/442191161413655467*c_1001_4^6 - 163326571977741923/442191161413655467*c_1001_4^5 - 338594954485239887/442191161413655467*c_1001_4^4 - 122386372987175204/442191161413655467*c_1001_4^3 + 638278438029340446/442191161413655467*c_1001_4^2 + 462451371466391962/442191161413655467*c_1001_4 + 310318603735404628/442191161413655467, c_0101_10 - 1372471024653980/442191161413655467*c_1001_4^14 - 5036037247159285/442191161413655467*c_1001_4^13 + 576900330783258/442191161413655467*c_1001_4^12 + 27279376753297857/442191161413655467*c_1001_4^11 + 40832337090755423/442191161413655467*c_1001_4^10 - 56830393868819854/442191161413655467*c_1001_4^9 - 215869955008995307/442191161413655467*c_1001_4^8 - 67094708655990903/442191161413655467*c_1001_4^7 + 127556259582195921/442191161413655467*c_1001_4^6 - 31109169969526830/442191161413655467*c_1001_4^5 + 158159939604702102/442191161413655467*c_1001_4^4 + 128355647707859309/442191161413655467*c_1001_4^3 - 183270766630231879/442191161413655467*c_1001_4^2 - 682609632860741884/442191161413655467*c_1001_4 + 14502885713779296/442191161413655467, c_0101_11 - 657786700499629/442191161413655467*c_1001_4^14 - 1745415024247560/442191161413655467*c_1001_4^13 + 1997485130986144/442191161413655467*c_1001_4^12 + 4171868215672835/442191161413655467*c_1001_4^11 - 1746224971427579/442191161413655467*c_1001_4^10 + 15203784844387127/442191161413655467*c_1001_4^9 - 20376020386952898/442191161413655467*c_1001_4^8 - 102447069542627415/442191161413655467*c_1001_4^7 - 32877766156322851/442191161413655467*c_1001_4^6 - 114287539738112908/442191161413655467*c_1001_4^5 - 117508469230902853/442191161413655467*c_1001_4^4 + 175202853862483355/442191161413655467*c_1001_4^3 + 54227968809537895/442191161413655467*c_1001_4^2 + 112669127619694254/442191161413655467*c_1001_4 - 367150761178811074/442191161413655467, c_0101_6 + 1795656485295573/442191161413655467*c_1001_4^14 + 6996748957076199/442191161413655467*c_1001_4^13 - 3980928544298551/442191161413655467*c_1001_4^12 - 33557580744120131/442191161413655467*c_1001_4^11 - 11316953456620880/442191161413655467*c_1001_4^10 + 38240687411216404/442191161413655467*c_1001_4^9 + 117997210274994214/442191161413655467*c_1001_4^8 + 221767326567394425/442191161413655467*c_1001_4^7 + 7853506146502751/442191161413655467*c_1001_4^6 + 58393960733797169/442191161413655467*c_1001_4^5 + 143265877133423995/442191161413655467*c_1001_4^4 - 249209245913954794/442191161413655467*c_1001_4^3 + 7000923852626855/442191161413655467*c_1001_4^2 + 377202932237841452/442191161413655467*c_1001_4 + 361515003555927200/442191161413655467, c_1001_4^15 + 4*c_1001_4^14 - 2*c_1001_4^13 - 22*c_1001_4^12 - 6*c_1001_4^11 + 41*c_1001_4^10 + 43*c_1001_4^9 + 90*c_1001_4^8 + 110*c_1001_4^7 - 29*c_1001_4^6 - 86*c_1001_4^5 - 79*c_1001_4^4 + 94*c_1001_4^3 + 67*c_1001_4^2 + 194*c_1001_4 + 313 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.480 Total time: 1.690 seconds, Total memory usage: 32.09MB