Magma V2.19-8 Wed Aug 21 2013 01:02:19 on localhost [Seed = 1074158473] Type ? for help. Type -D to quit. Loading file "L14n14269__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n14269 geometric_solution 11.75832240 oriented_manifold CS_known -0.0000000000000003 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 1 0 -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 0 0 -1 1 -1 0 9 -8 -1 1 0 0 9 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.339686273537 0.780032678126 0 5 7 6 0132 0132 0132 0132 0 1 1 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 0 0 0 1 0 0 -1 -9 0 0 9 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.632202708910 0.746824959692 4 0 6 8 1023 0132 2031 0132 0 0 1 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 -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.071083346816 1.225525704636 7 9 5 0 0132 0132 0132 0132 0 1 1 1 0 0 0 0 0 0 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 -1 0 1 0 0 9 -9 0 -9 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.632202708910 0.746824959692 5 2 0 10 0132 1023 0132 0132 0 1 1 1 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 1 -1 0 0 0 8 -8 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.120361724107 1.143833579715 4 1 9 3 0132 0132 1302 0132 0 1 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 0 0 0 0 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.339686273537 0.780032678126 7 11 1 2 2103 0132 0132 1302 0 1 0 1 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 0 0 1 -1 0 0 0 0 9 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.047169838164 0.813240396561 3 8 6 1 0132 1023 2103 0132 0 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 -1 0 1 0 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.909012787874 0.864678778292 7 10 2 12 1023 2031 0132 0132 0 0 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 -1 1 1 -1 0 0 -9 8 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.995638575880 0.918845479270 5 3 10 12 2031 0132 2031 1230 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.220993578521 0.486361031915 8 11 4 9 1302 3012 0132 1302 0 1 0 1 0 -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 -8 0 8 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.540673562715 0.989264563508 10 6 12 12 1230 0132 0132 2031 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.908174260533 0.663799141420 9 11 8 11 3012 1302 0132 0132 0 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 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.415716441458 0.143217934068 ==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' : negation(d['c_0011_11']), 'c_1001_12' : d['c_0011_10'], 'c_1001_5' : d['c_0011_12'], 'c_1001_4' : d['c_0101_2'], 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : d['c_0011_12'], 'c_1001_1' : d['c_0101_12'], 'c_1001_0' : negation(d['c_0110_10']), 'c_1001_3' : d['c_0101_12'], 'c_1001_2' : d['c_0101_2'], 'c_1001_9' : negation(d['c_0110_10']), 'c_1001_8' : negation(d['c_0110_10']), 'c_1010_12' : d['c_1001_11'], 'c_1010_11' : d['c_0011_12'], 'c_1010_10' : negation(d['c_0101_11']), '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_11'], 'c_0101_10' : d['c_0011_3'], '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' : d['c_0011_12'], 'c_1100_5' : d['c_0101_9'], 'c_1100_4' : d['c_0101_9'], 'c_1100_7' : d['c_0101_2'], 'c_1100_6' : d['c_0101_2'], 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : d['c_0101_9'], 'c_1100_3' : d['c_0101_9'], 'c_1100_2' : negation(d['c_1001_11']), 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_1001_11']), 'c_1100_10' : d['c_0101_9'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_12'], 'c_1010_6' : d['c_1001_11'], 'c_1010_5' : d['c_0101_12'], 'c_1010_4' : negation(d['c_0011_11']), 'c_1010_3' : negation(d['c_0110_10']), 'c_1010_2' : negation(d['c_0110_10']), 'c_1010_1' : d['c_0011_12'], 'c_1010_0' : d['c_0101_2'], 'c_1010_9' : d['c_0101_12'], 'c_1010_8' : d['c_0011_10'], 'c_1100_8' : negation(d['c_1001_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'], 'c_1100_12' : negation(d['c_1001_11']), '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_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_11']), '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_10'], 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : d['c_0101_11'], '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_0011_3'], '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' : d['c_0101_9'], '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_0011_12'], 'c_0110_8' : d['c_0101_12'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0101_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_11']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_3'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_2'])})} 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_12, c_0011_3, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_2, c_0101_9, c_0110_10, c_1001_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 6 Groebner basis: [ t - 23460356907/11780867*c_1001_11^5 + 138556498032/21878753*c_1001_11^4 - 540257547530/153151271*c_1001_11^3 + 99432243845/153151271*c_1001_11^2 + 24619984708/153151271*c_1001_11 - 14359445777/153151271, c_0011_0 - 1, c_0011_10 + 71258811/1682981*c_1001_11^5 - 2107450429/21878753*c_1001_11^4 - 62132825/1682981*c_1001_11^3 + 481781133/21878753*c_1001_11^2 + 1859438/1682981*c_1001_11 - 8472637/21878753, c_0011_11 - 12831598/1682981*c_1001_11^5 + 366943353/21878753*c_1001_11^4 + 15908294/1682981*c_1001_11^3 - 160931640/21878753*c_1001_11^2 - 1815578/1682981*c_1001_11 + 21990148/21878753, c_0011_12 + 31105984/1682981*c_1001_11^5 - 1027567240/21878753*c_1001_11^4 - 13074155/1682981*c_1001_11^3 + 446655880/21878753*c_1001_11^2 + 693719/1682981*c_1001_11 - 11128445/21878753, c_0011_3 - 23849826/1682981*c_1001_11^5 + 1067721831/21878753*c_1001_11^4 - 43508532/1682981*c_1001_11^3 - 432289921/21878753*c_1001_11^2 + 12313096/1682981*c_1001_11 - 22168709/21878753, c_0101_0 - 23849826/1682981*c_1001_11^5 + 1067721831/21878753*c_1001_11^4 - 43508532/1682981*c_1001_11^3 - 432289921/21878753*c_1001_11^2 + 12313096/1682981*c_1001_11 - 44047462/21878753, c_0101_1 + 99682024/1682981*c_1001_11^5 - 2982790019/21878753*c_1001_11^4 - 81463770/1682981*c_1001_11^3 + 728485130/21878753*c_1001_11^2 - 207117/1682981*c_1001_11 + 8363753/21878753, c_0101_11 - 11195405/1682981*c_1001_11^5 + 19455637/1682981*c_1001_11^4 + 24048760/1682981*c_1001_11^3 - 2815838/1682981*c_1001_11^2 - 2483366/1682981*c_1001_11 + 69406/1682981, c_0101_12 + 28290561/1682981*c_1001_11^5 - 761922180/21878753*c_1001_11^4 - 41262905/1682981*c_1001_11^3 + 224930916/21878753*c_1001_11^2 + 6187245/1682981*c_1001_11 - 5376271/21878753, c_0101_2 + 28423213/1682981*c_1001_11^5 - 875339590/21878753*c_1001_11^4 - 19330945/1682981*c_1001_11^3 + 246703997/21878753*c_1001_11^2 - 2066555/1682981*c_1001_11 - 5042363/21878753, c_0101_9 + 132652/1682981*c_1001_11^5 - 113417410/21878753*c_1001_11^4 + 21931960/1682981*c_1001_11^3 + 21773081/21878753*c_1001_11^2 - 8253800/1682981*c_1001_11 + 333908/21878753, c_0110_10 + 1, c_1001_11^6 - 388/169*c_1001_11^5 - 148/169*c_1001_11^4 + 112/169*c_1001_11^3 + 6/169*c_1001_11^2 - 3/169*c_1001_11 + 1/169 ], 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_12, c_0011_3, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_2, c_0101_9, c_0110_10, c_1001_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t + 1873236149793094824175/290567026132652371328*c_1001_11^12 - 11739532438654288789787/290567026132652371328*c_1001_11^11 + 10934576970672841494183/145283513066326185664*c_1001_11^10 - 2169962024899219562639/290567026132652371328*c_1001_11^9 - 15811967830555365296795/145283513066326185664*c_1001_11^8 + 28533438200137137603437/290567026132652371328*c_1001_11^7 + 1974371539005432662245/72641756533163092832*c_1001_11^6 - 12708089311110880498251/145283513066326185664*c_1001_11^5 + 738214449362418753447/290567026132652371328*c_1001_11^4 + 4431265852641457742051/290567026132652371328*c_1001_11^3 + 759843819093762352173/145283513066326185664*c_1001_11^2 + 32458220335853947927/36320878266581546416*c_1001_11 + 127802137249212515667/290567026132652371328, c_0011_0 - 1, c_0011_10 + 77285714039491500/73227577150366021*c_1001_11^12 - 427181573841095185/73227577150366021*c_1001_11^11 + 534520725499115327/73227577150366021*c_1001_11^10 + 657182954105669084/73227577150366021*c_1001_11^9 - 1616227611853748591/73227577150366021*c_1001_11^8 + 552337220296408715/73227577150366021*c_1001_11^7 + 1012620217552363819/73227577150366021*c_1001_11^6 - 888379289760695605/73227577150366021*c_1001_11^5 - 504736770676713841/73227577150366021*c_1001_11^4 + 34181218466676284/73227577150366021*c_1001_11^3 + 312608413398921411/73227577150366021*c_1001_11^2 + 63018355580219760/73227577150366021*c_1001_11 - 53639638001080455/73227577150366021, c_0011_11 + 90355454537087575/73227577150366021*c_1001_11^12 - 603452220696074883/73227577150366021*c_1001_11^11 + 1328272895765672549/73227577150366021*c_1001_11^10 - 796853408872510171/73227577150366021*c_1001_11^9 - 949033958136957465/73227577150366021*c_1001_11^8 + 1723721488582727055/73227577150366021*c_1001_11^7 - 569368345090331565/73227577150366021*c_1001_11^6 - 685482857213470472/73227577150366021*c_1001_11^5 + 220504259084628137/73227577150366021*c_1001_11^4 + 105544463505545949/73227577150366021*c_1001_11^3 - 34310578613541149/73227577150366021*c_1001_11^2 - 98754071364964776/73227577150366021*c_1001_11 + 60728368865788559/73227577150366021, c_0011_12 - 1, c_0011_3 + 199279467120537000/73227577150366021*c_1001_11^12 - 1323393188973280905/73227577150366021*c_1001_11^11 + 2902960255456634385/73227577150366021*c_1001_11^10 - 1830387457288703653/73227577150366021*c_1001_11^9 - 1638277097854781576/73227577150366021*c_1001_11^8 + 3073042002214626836/73227577150366021*c_1001_11^7 - 812312398232764055/73227577150366021*c_1001_11^6 - 1440454503182338332/73227577150366021*c_1001_11^5 + 159520778709101449/73227577150366021*c_1001_11^4 + 301679443592192499/73227577150366021*c_1001_11^3 - 11830617773149072/73227577150366021*c_1001_11^2 - 150460802298304014/73227577150366021*c_1001_11 + 53320091996638934/73227577150366021, c_0101_0 + 1, c_0101_1 - 70617131509508550/73227577150366021*c_1001_11^12 + 309744792392762962/73227577150366021*c_1001_11^11 + 91846748174395182/73227577150366021*c_1001_11^10 - 2067102230788804985/73227577150366021*c_1001_11^9 + 2798943447639786057/73227577150366021*c_1001_11^8 + 25998311486762151/73227577150366021*c_1001_11^7 - 2947658692499170953/73227577150366021*c_1001_11^6 + 1899263853768831387/73227577150366021*c_1001_11^5 + 1220047604254646102/73227577150366021*c_1001_11^4 - 730348306125336262/73227577150366021*c_1001_11^3 - 380811479248107077/73227577150366021*c_1001_11^2 + 86124769249228040/73227577150366021*c_1001_11 + 223595128039409963/73227577150366021, c_0101_11 + 92101518050460975/73227577150366021*c_1001_11^12 - 623322754177904404/73227577150366021*c_1001_11^11 + 1386596502010583508/73227577150366021*c_1001_11^10 - 820893801968520968/73227577150366021*c_1001_11^9 - 994158587138915563/73227577150366021*c_1001_11^8 + 1590353196561156872/73227577150366021*c_1001_11^7 - 308499935767801419/73227577150366021*c_1001_11^6 - 753994458856053343/73227577150366021*c_1001_11^5 - 45746553663581358/73227577150366021*c_1001_11^4 + 373058473007654710/73227577150366021*c_1001_11^3 + 153407793026723048/73227577150366021*c_1001_11^2 - 120118692685811287/73227577150366021*c_1001_11 - 2091158479615372/73227577150366021, c_0101_12 + 65187139738222400/73227577150366021*c_1001_11^12 - 363948623975359606/73227577150366021*c_1001_11^11 + 471095834424606905/73227577150366021*c_1001_11^10 + 531213785985892848/73227577150366021*c_1001_11^9 - 1390667328777184586/73227577150366021*c_1001_11^8 + 447596340177139300/73227577150366021*c_1001_11^7 + 1070386176379343370/73227577150366021*c_1001_11^6 - 902760736224284778/73227577150366021*c_1001_11^5 - 613605903591032496/73227577150366021*c_1001_11^4 + 316685500000913436/73227577150366021*c_1001_11^3 + 206228072074749686/73227577150366021*c_1001_11^2 - 60195796314436390/73227577150366021*c_1001_11 - 96915797422877621/73227577150366021, c_0101_2 + 5429991771286150/73227577150366021*c_1001_11^12 + 54203831582596644/73227577150366021*c_1001_11^11 - 562942582599002087/73227577150366021*c_1001_11^10 + 1535888444802912137/73227577150366021*c_1001_11^9 - 1408276118862601471/73227577150366021*c_1001_11^8 - 473594651663901451/73227577150366021*c_1001_11^7 + 1877272516119827583/73227577150366021*c_1001_11^6 - 996503117544546609/73227577150366021*c_1001_11^5 - 606441700663613606/73227577150366021*c_1001_11^4 + 413662806124422826/73227577150366021*c_1001_11^3 + 174583407173357391/73227577150366021*c_1001_11^2 - 25928972934791650/73227577150366021*c_1001_11 - 126679330616532342/73227577150366021, c_0101_9 + 65187139738222400/73227577150366021*c_1001_11^12 - 363948623975359606/73227577150366021*c_1001_11^11 + 471095834424606905/73227577150366021*c_1001_11^10 + 531213785985892848/73227577150366021*c_1001_11^9 - 1390667328777184586/73227577150366021*c_1001_11^8 + 447596340177139300/73227577150366021*c_1001_11^7 + 1070386176379343370/73227577150366021*c_1001_11^6 - 902760736224284778/73227577150366021*c_1001_11^5 - 613605903591032496/73227577150366021*c_1001_11^4 + 316685500000913436/73227577150366021*c_1001_11^3 + 206228072074749686/73227577150366021*c_1001_11^2 - 60195796314436390/73227577150366021*c_1001_11 - 96915797422877621/73227577150366021, c_0110_10 + 1, c_1001_11^13 - 161/25*c_1001_11^12 + 326/25*c_1001_11^11 - 129/25*c_1001_11^10 - 294/25*c_1001_11^9 + 339/25*c_1001_11^8 + 16/25*c_1001_11^7 - 202/25*c_1001_11^6 - 11/5*c_1001_11^5 + 49/25*c_1001_11^4 + 2*c_1001_11^3 - 16/25*c_1001_11^2 - 11/25*c_1001_11 - 4/25 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.170 Total time: 0.380 seconds, Total memory usage: 32.09MB