Magma V2.19-8 Tue Aug 20 2013 23:52:19 on localhost [Seed = 711737601] Type ? for help. Type -D to quit. Loading file "L13n2575__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n2575 geometric_solution 10.47493503 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 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 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.552016455388 0.450212393972 0 5 6 2 0132 0132 0132 3120 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 0 0 0 0 0 0 0 1 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 0 0 0 0 0.528609691767 0.695341867206 1 0 7 6 3120 0132 0132 1230 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 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 1.142796105610 0.719019479075 6 5 8 0 1230 1230 0132 0132 1 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 0 0 0 0 0 0 0 0 0 0 0 -1 2 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.469879241608 0.580558796886 9 10 0 11 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 -1 0 1 0 0 0 0 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.234199241551 0.641464304066 6 1 3 7 2103 0132 3012 3120 1 1 1 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 -1 0 1 0 0 0 0 0 0 0 0 1 1 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.862359218426 0.836515673928 2 3 5 1 3012 3012 2103 0132 1 1 1 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.497552996304 1.042883862779 5 8 9 2 3120 3012 1230 0132 1 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 -1 3 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.421518184153 1.568388264595 7 9 11 3 1230 2103 0132 0132 1 1 1 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 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 0 0 0 0 0.819023915013 0.974736958548 4 8 10 7 0132 2103 1023 3012 1 1 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 -3 1 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.936817560491 0.760454943565 11 4 9 11 1302 0132 1023 2310 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 1 0 -1 1 0 -1 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.451580979263 0.749158948967 10 10 4 8 3201 2031 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 1 -1 0 0 0 0 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.409824982226 0.979082194170 ==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_0101_11'], 'c_1001_5' : d['c_0011_0'], 'c_1001_4' : negation(d['c_0101_8']), 'c_1001_7' : d['c_0011_11'], 'c_1001_6' : d['c_0011_0'], 'c_1001_1' : negation(d['c_0011_7']), 'c_1001_0' : d['c_0101_5'], 'c_1001_3' : d['c_0101_7'], 'c_1001_2' : negation(d['c_0101_8']), 'c_1001_9' : negation(d['c_0011_11']), 'c_1001_8' : d['c_0011_10'], 'c_1010_11' : d['c_0011_10'], 'c_1010_10' : negation(d['c_0101_8']), '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' : 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_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_0101_7']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_0101_1'], 'c_1100_6' : negation(d['c_0101_2']), 'c_1100_1' : negation(d['c_0101_2']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_0101_1'], 's_3_11' : d['1'], 'c_1100_11' : d['c_1100_0'], 'c_1100_10' : d['c_0011_11'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_8']), 'c_1010_6' : negation(d['c_0011_7']), 'c_1010_5' : negation(d['c_0011_7']), 'c_1010_4' : d['c_0101_11'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : d['c_0011_0'], 'c_1010_0' : negation(d['c_0101_8']), 'c_1010_9' : negation(d['c_0101_7']), 'c_1010_8' : d['c_0101_7'], 'c_1100_8' : d['c_1100_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'], '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' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), '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_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_8'], 'c_0110_10' : negation(d['c_0101_11']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_7'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_6'], 'c_0101_9' : d['c_0101_11'], 'c_0101_8' : d['c_0101_8'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0011_7'], 'c_0110_1' : d['c_0011_6'], 'c_1100_9' : negation(d['c_0011_11']), 'c_0110_3' : d['c_0011_6'], 'c_0110_2' : d['c_0011_6'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_1']})} 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_6, c_0011_7, c_0101_1, c_0101_11, c_0101_2, c_0101_5, c_0101_7, c_0101_8, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t - 48721177859492245094078607/3318961238174736415232*c_1100_0^10 + 850988429701550361983715869/36508573619922100567552*c_1100_0^9 + 42188060959268077529536217/570446462811282821368*c_1100_0^8 - 2143892503500580872673430807/36508573619922100567552*c_1100_0^7 - 7494104371595686410553123193/36508573619922100567552*c_1100_0^6 + 1459234270770377555268513503/36508573619922100567552*c_1100_0^5 + 8794653846536760467257028837/36508573619922100567552*c_1100_0^4 - 39499614168082047463973995/3318961238174736415232*c_1100_0^3 - 2325601792505095685775525365/18254286809961050283776*c_1100_0^2 + 296635966945283317107612991/9127143404980525141888*c_1100_0 - 84702401383904534766853445/36508573619922100567552, c_0011_0 - 1, c_0011_10 - 70331070669462099365/9648143134228884928*c_1100_0^10 + 104806490638294151397/9648143134228884928*c_1100_0^9 + 5721773619305523299/150752236472326327*c_1100_0^8 - 246468715724024943015/9648143134228884928*c_1100_0^7 - 1018040333055210744417/9648143134228884928*c_1100_0^6 + 93429575821693413807/9648143134228884928*c_1100_0^5 + 1186900974451589703133/9648143134228884928*c_1100_0^4 + 65069105125697821047/9648143134228884928*c_1100_0^3 - 313865482103784931777/4824071567114442464*c_1100_0^2 + 22904089330609857017/2412035783557221232*c_1100_0 + 11485297719700195011/9648143134228884928, c_0011_11 + 77108127382227215989/4824071567114442464*c_1100_0^10 - 107053401268740286745/4824071567114442464*c_1100_0^9 - 51296631774154492843/603008945889305308*c_1100_0^8 + 228205767262148682135/4824071567114442464*c_1100_0^7 + 1126062813412267273725/4824071567114442464*c_1100_0^6 + 9100921582967762313/4824071567114442464*c_1100_0^5 - 1273188501725070113273/4824071567114442464*c_1100_0^4 - 184051955021067349063/4824071567114442464*c_1100_0^3 + 324424297685304320851/2412035783557221232*c_1100_0^2 - 5123391082615462673/603008945889305308*c_1100_0 - 4718962831290193279/4824071567114442464, c_0011_6 + 39074801471154371065/9648143134228884928*c_1100_0^10 - 50731568646010967473/9648143134228884928*c_1100_0^9 - 6647867057483984139/301504472944652654*c_1100_0^8 + 94801001996239065363/9648143134228884928*c_1100_0^7 + 584159021755598700093/9648143134228884928*c_1100_0^6 + 62172669846785134981/9648143134228884928*c_1100_0^5 - 650759508503973968537/9648143134228884928*c_1100_0^4 - 164820446461195797187/9648143134228884928*c_1100_0^3 + 167388297849177003465/4824071567114442464*c_1100_0^2 + 3244585212186405453/2412035783557221232*c_1100_0 - 13765490528967240455/9648143134228884928, c_0011_7 + 146163830684887656509/9648143134228884928*c_1100_0^10 - 204004975300132594165/9648143134228884928*c_1100_0^9 - 24209225624143835539/301504472944652654*c_1100_0^8 + 434994835326667367455/9648143134228884928*c_1100_0^7 + 2123072889375887225585/9648143134228884928*c_1100_0^6 + 9455827617182692633/9648143134228884928*c_1100_0^5 - 2386566267849228672797/9648143134228884928*c_1100_0^4 - 333359759982992037199/9648143134228884928*c_1100_0^3 + 600300288449014790333/4824071567114442464*c_1100_0^2 - 25895980311950646239/2412035783557221232*c_1100_0 + 443975352841646269/9648143134228884928, c_0101_1 - 1, c_0101_11 + 2262551470035574751/2412035783557221232*c_1100_0^10 - 1760825252529435207/2412035783557221232*c_1100_0^9 - 3299485563927304815/603008945889305308*c_1100_0^8 - 957261902746159467/2412035783557221232*c_1100_0^7 + 32190329457185847719/2412035783557221232*c_1100_0^6 + 18926860774659426231/2412035783557221232*c_1100_0^5 - 26029753399124425211/2412035783557221232*c_1100_0^4 - 19061739313519446109/2412035783557221232*c_1100_0^3 + 4558168472795055961/1206017891778610616*c_1100_0^2 + 239002956889001335/150752236472326327*c_1100_0 + 630990103387376151/2412035783557221232, c_0101_2 + 78014773871402963793/9648143134228884928*c_1100_0^10 - 108800751473526311689/9648143134228884928*c_1100_0^9 - 12951249349140464005/301504472944652654*c_1100_0^8 + 233545844351855364379/9648143134228884928*c_1100_0^7 + 1135667748076885915253/9648143134228884928*c_1100_0^6 + 1767510733027862333/9648143134228884928*c_1100_0^5 - 1279663524149607598897/9648143134228884928*c_1100_0^4 - 169277416349720517067/9648143134228884928*c_1100_0^3 + 321887349384272206177/4824071567114442464*c_1100_0^2 - 15060469267595770667/2412035783557221232*c_1100_0 - 4706561969493497327/9648143134228884928, c_0101_5 + 43033598975484869631/4824071567114442464*c_1100_0^10 - 59451289355437145507/4824071567114442464*c_1100_0^9 - 28780679224147749775/603008945889305308*c_1100_0^8 + 127481271774742680597/4824071567114442464*c_1100_0^7 + 632360242762766618559/4824071567114442464*c_1100_0^6 + 5256763140890347163/4824071567114442464*c_1100_0^5 - 719737129875259576323/4824071567114442464*c_1100_0^4 - 102010783204431588997/4824071567114442464*c_1100_0^3 + 185217828152933028773/2412035783557221232*c_1100_0^2 - 603628330381685945/150752236472326327*c_1100_0 - 7294231492457765077/4824071567114442464, c_0101_7 + 146163830684887656509/9648143134228884928*c_1100_0^10 - 204004975300132594165/9648143134228884928*c_1100_0^9 - 24209225624143835539/301504472944652654*c_1100_0^8 + 434994835326667367455/9648143134228884928*c_1100_0^7 + 2123072889375887225585/9648143134228884928*c_1100_0^6 + 9455827617182692633/9648143134228884928*c_1100_0^5 - 2386566267849228672797/9648143134228884928*c_1100_0^4 - 333359759982992037199/9648143134228884928*c_1100_0^3 + 600300288449014790333/4824071567114442464*c_1100_0^2 - 23483944528393425007/2412035783557221232*c_1100_0 + 443975352841646269/9648143134228884928, c_0101_8 - 24436333030366035603/9648143134228884928*c_1100_0^10 + 35466862360160167235/9648143134228884928*c_1100_0^9 + 3980692274552811313/301504472944652654*c_1100_0^8 - 80830510097966699329/9648143134228884928*c_1100_0^7 - 348400119989074564359/9648143134228884928*c_1100_0^6 + 25056173512915557177/9648143134228884928*c_1100_0^5 + 394271937886319489579/9648143134228884928*c_1100_0^4 + 13154407517699586545/9648143134228884928*c_1100_0^3 - 105622977743688098783/4824071567114442464*c_1100_0^2 + 12010056236000990963/2412035783557221232*c_1100_0 + 10317351687288372149/9648143134228884928, c_1100_0^11 - 290/187*c_1100_0^10 - 953/187*c_1100_0^9 + 713/187*c_1100_0^8 + 2642/187*c_1100_0^7 - 412/187*c_1100_0^6 - 3086/187*c_1100_0^5 + 38/187*c_1100_0^4 + 1627/187*c_1100_0^3 - 354/187*c_1100_0^2 + 15/187*c_1100_0 + 1/187 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.100 Total time: 0.310 seconds, Total memory usage: 32.09MB