Magma V2.19-8 Wed Aug 21 2013 01:04:15 on localhost [Seed = 3920622003] Type ? for help. Type -D to quit. Loading file "L14n24027__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n24027 geometric_solution 12.23532914 oriented_manifold CS_known 0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 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 0 0 0 0 0 0 1 -1 -2 0 2 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.622995377673 0.550893742915 0 5 6 4 0132 0132 0132 0213 1 0 0 1 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 0 0 0 0 2 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.626435508396 0.624997820376 7 0 5 8 0132 0132 0132 0132 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 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.690188255959 1.550557595698 9 9 10 0 0132 0321 0132 0132 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 0 0 0 0 0 0 1 0 -1 0 0 2 -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.658122423144 0.506656734048 9 11 0 1 2310 0132 0132 0213 1 0 0 1 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 -1 1 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.099206288221 0.796541414688 6 1 12 2 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.205448167889 0.985585912368 7 11 5 1 1302 0321 1302 0132 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 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 0.205448167889 0.985585912368 2 6 8 12 0132 2031 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 -1 1 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.205448167889 0.985585912368 10 9 2 7 0321 0132 0132 0132 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 -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.045959037561 0.734470155065 3 8 4 3 0132 0132 3201 0321 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 -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.915135621497 1.356215372363 8 11 12 3 0321 2031 0213 0132 1 0 0 1 0 0 0 0 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 0 0 0 1 0 1 -2 0 0 0 0 1 -4 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.658122423144 0.506656734048 10 4 12 6 1302 0132 1302 0321 1 1 1 0 0 0 0 0 1 0 -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 1 -1 0 4 0 -4 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.123914181054 0.620170404585 11 10 7 5 2031 0213 0132 0132 1 1 0 1 0 0 0 0 0 0 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 1 0 -1 0 1 -1 0 0 4 -3 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.495760714282 0.614956452373 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_5'], 'c_1001_10' : d['c_0011_6'], 'c_1001_12' : d['c_0011_6'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0101_12'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_11'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : negation(d['c_0101_1']), 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_1001_5'], 'c_1010_11' : d['c_1001_1'], 'c_1010_10' : d['c_0011_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'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : negation(d['c_0011_10']), 'c_0101_10' : d['c_0011_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_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_1100_9' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_10'], 'c_1100_5' : d['c_1100_12'], 'c_1100_4' : d['c_1001_5'], 'c_1100_7' : d['c_1100_12'], 'c_1100_6' : d['c_0101_5'], 'c_1100_1' : d['c_0101_5'], 'c_1100_0' : d['c_1001_5'], 'c_1100_3' : d['c_1001_5'], 'c_1100_2' : d['c_1100_12'], 's_0_10' : d['1'], 'c_1100_11' : d['c_0101_12'], 'c_1100_10' : d['c_1001_5'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_6'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : d['c_1001_0'], 'c_1010_8' : negation(d['c_0101_1']), 'c_1100_8' : d['c_1100_12'], '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' : d['c_1100_12'], '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_3'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_0'], '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_6']), 'c_0110_10' : negation(d['c_0011_3']), 'c_0110_12' : d['c_0101_5'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0011_10']), 'c_0101_6' : negation(d['c_0011_0']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_12'], '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_10']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_3']), 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_10']), 'c_0110_5' : d['c_0101_12'], 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_7' : d['c_0101_12'], 'c_0110_6' : d['c_0101_1'], 's_2_9' : d['1']})} 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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_12, c_0101_5, c_1001_0, c_1001_1, c_1001_5, c_1100_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t - 14040671599088679829763709/378715571404502284288*c_1100_12^7 + 1625677030485253356752312475/1609541178469134708224*c_1100_12^6 - 22502518436029419850023996239/3219082356938269416448*c_1100_12^5 - 10771684475025084779612769509/804770589234567354112*c_1100_12^4 - 18807044697081274624625367819/1609541178469134708224*c_1100_12^3 - 3190344468425921548303953939/402385294617283677056*c_1100_12^2 - 2214882239680254111381306777/804770589234567354112*c_1100_12 - 90024565825675921649385051/201192647308641838528, c_0011_0 - 1, c_0011_10 + 8260476236123617/69719361451491584*c_1100_12^7 - 454337447321826591/139438722902983168*c_1100_12^6 + 808197631426794365/34859680725745792*c_1100_12^5 + 2554844706997543773/69719361451491584*c_1100_12^4 + 508360536284951799/17429840362872896*c_1100_12^3 + 638908235577316643/34859680725745792*c_1100_12^2 + 34333053836902539/8714920181436448*c_1100_12 + 8064312688761375/17429840362872896, c_0011_11 - 446818793400457/2489977194696128*c_1100_12^7 + 49316571146826841/9959908778784512*c_1100_12^6 - 88561390530713733/2489977194696128*c_1100_12^5 - 260738178435229747/4979954389392256*c_1100_12^4 - 11789489068235827/311247149337016*c_1100_12^3 - 67537852489303957/2489977194696128*c_1100_12^2 - 2649489626735405/622494298674032*c_1100_12 - 255862744348177/1244988597348064, c_0011_3 + 1572258445909365/69719361451491584*c_1100_12^7 - 42574271543513309/69719361451491584*c_1100_12^6 + 145086246851347111/34859680725745792*c_1100_12^5 + 297682392435591255/34859680725745792*c_1100_12^4 + 182632356909850619/17429840362872896*c_1100_12^3 + 189272277293010801/17429840362872896*c_1100_12^2 + 38682951239036233/8714920181436448*c_1100_12 + 11562175446711957/8714920181436448, c_0011_6 + 13694711938211/272341255669889*c_1100_12^7 - 24237014139492807/17429840362872896*c_1100_12^6 + 175050036832293059/17429840362872896*c_1100_12^5 + 124294643540103777/8714920181436448*c_1100_12^4 + 36795371382853081/4357460090718224*c_1100_12^3 + 17628830986173063/4357460090718224*c_1100_12^2 - 2053196570202021/4357460090718224*c_1100_12 - 604971335134793/2178730045359112, c_0101_0 - 1, c_0101_1 + 609437921805439/19919817557569024*c_1100_12^7 - 9186337247287317/9959908778784512*c_1100_12^6 + 81966219138186447/9959908778784512*c_1100_12^5 - 34028125791012623/4979954389392256*c_1100_12^4 - 71065899245017243/4979954389392256*c_1100_12^3 - 25491872525321707/2489977194696128*c_1100_12^2 - 18428937907349395/2489977194696128*c_1100_12 - 1086593171961137/1244988597348064, c_0101_12 + 1664052655394525/19919817557569024*c_1100_12^7 - 22747331583995965/9959908778784512*c_1100_12^6 + 158972927150849501/9959908778784512*c_1100_12^5 + 143924203708070115/4979954389392256*c_1100_12^4 + 106736700172844959/4979954389392256*c_1100_12^3 + 33906572078617193/2489977194696128*c_1100_12^2 + 9433963396679975/2489977194696128*c_1100_12 + 209967020112145/1244988597348064, c_0101_5 - 8260476236123617/69719361451491584*c_1100_12^7 + 454337447321826591/139438722902983168*c_1100_12^6 - 808197631426794365/34859680725745792*c_1100_12^5 - 2554844706997543773/69719361451491584*c_1100_12^4 - 508360536284951799/17429840362872896*c_1100_12^3 - 638908235577316643/34859680725745792*c_1100_12^2 - 34333053836902539/8714920181436448*c_1100_12 + 9365527674111521/17429840362872896, c_1001_0 - 15720608209077789/139438722902983168*c_1100_12^7 + 440258090304645811/139438722902983168*c_1100_12^6 - 1646426636453504001/69719361451491584*c_1100_12^5 - 1675463406047696929/69719361451491584*c_1100_12^4 - 274730874270685999/34859680725745792*c_1100_12^3 - 79449996755655399/34859680725745792*c_1100_12^2 + 80865644023112973/17429840362872896*c_1100_12 + 15230828215788693/17429840362872896, c_1001_1 + 13694711938211/272341255669889*c_1100_12^7 - 24237014139492807/17429840362872896*c_1100_12^6 + 175050036832293059/17429840362872896*c_1100_12^5 + 124294643540103777/8714920181436448*c_1100_12^4 + 36795371382853081/4357460090718224*c_1100_12^3 + 17628830986173063/4357460090718224*c_1100_12^2 + 2304263520516203/4357460090718224*c_1100_12 - 604971335134793/2178730045359112, c_1001_5 - 5765028973005981/19919817557569024*c_1100_12^7 + 158350952991874127/19919817557569024*c_1100_12^6 - 561181852140718249/9959908778784512*c_1100_12^5 - 916972352878493573/9959908778784512*c_1100_12^4 - 342253702761385967/4979954389392256*c_1100_12^3 - 232377832392726067/4979954389392256*c_1100_12^2 - 28307800663526731/2489977194696128*c_1100_12 - 2605703283646423/2489977194696128, c_1100_12^8 - 7872/289*c_1100_12^7 + 54456/289*c_1100_12^6 + 104576/289*c_1100_12^5 + 91544/289*c_1100_12^4 + 62208/289*c_1100_12^3 + 21728/289*c_1100_12^2 + 3584/289*c_1100_12 + 16/289 ], 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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_12, c_0101_5, c_1001_0, c_1001_1, c_1001_5, c_1100_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 9 Groebner basis: [ t - 1684827284725/17457927092032*c_1100_12^8 + 15042442993199/17457927092032*c_1100_12^7 - 25513283417435/17457927092032*c_1100_12^6 - 61051259406129/8728963546016*c_1100_12^5 + 200815201747151/8728963546016*c_1100_12^4 + 83308860228519/17457927092032*c_1100_12^3 - 84725200109743/1246994792288*c_1100_12^2 + 1502574454393185/17457927092032*c_1100_12 - 291751706697341/8728963546016, c_0011_0 - 1, c_0011_10 + 29104037/795277291*c_1100_12^8 - 108936822/795277291*c_1100_12^7 - 244187381/795277291*c_1100_12^6 + 1291791884/795277291*c_1100_12^5 + 746769317/795277291*c_1100_12^4 - 2710231275/795277291*c_1100_12^3 + 3040368028/795277291*c_1100_12^2 + 172705507/795277291*c_1100_12 + 13418417/795277291, c_0011_11 - 54027332/795277291*c_1100_12^8 + 233408620/795277291*c_1100_12^7 + 331236579/795277291*c_1100_12^6 - 2626187830/795277291*c_1100_12^5 - 6285712/795277291*c_1100_12^4 + 5519011771/795277291*c_1100_12^3 - 8117307385/795277291*c_1100_12^2 + 4074446546/795277291*c_1100_12 - 1704729849/795277291, c_0011_3 + 1099663701/22267764148*c_1100_12^8 - 5592858027/22267764148*c_1100_12^7 - 3314724625/22267764148*c_1100_12^6 + 29804532409/11133882074*c_1100_12^5 - 19617650943/11133882074*c_1100_12^4 - 126170382987/22267764148*c_1100_12^3 + 18332870457/1590554582*c_1100_12^2 - 167492523305/22267764148*c_1100_12 + 23484465569/11133882074, c_0011_6 + c_1100_12, c_0101_0 - 1, c_0101_1 + 41540659/1590554582*c_1100_12^8 - 177582669/1590554582*c_1100_12^7 - 252761891/1590554582*c_1100_12^6 + 987381200/795277291*c_1100_12^5 + 8779431/795277291*c_1100_12^4 - 3880027943/1590554582*c_1100_12^3 + 3028600808/795277291*c_1100_12^2 - 2951444257/1590554582*c_1100_12 + 1172849912/795277291, c_0101_12 + 32359605/795277291*c_1100_12^8 - 128323994/795277291*c_1100_12^7 - 240679079/795277291*c_1100_12^6 + 1497943464/795277291*c_1100_12^5 + 425868274/795277291*c_1100_12^4 - 3158149788/795277291*c_1100_12^3 + 4563486340/795277291*c_1100_12^2 - 751404962/795277291*c_1100_12 - 21743512/795277291, c_0101_5 - 1, c_1001_0 - 54027332/795277291*c_1100_12^8 + 233408620/795277291*c_1100_12^7 + 331236579/795277291*c_1100_12^6 - 2626187830/795277291*c_1100_12^5 - 6285712/795277291*c_1100_12^4 + 5519011771/795277291*c_1100_12^3 - 8117307385/795277291*c_1100_12^2 + 4074446546/795277291*c_1100_12 - 1704729849/795277291, c_1001_1 + 36583363/795277291*c_1100_12^8 - 156875270/795277291*c_1100_12^7 - 221618040/795277291*c_1100_12^6 + 1736306575/795277291*c_1100_12^5 + 54652240/795277291*c_1100_12^4 - 3478936260/795277291*c_1100_12^3 + 5556952352/795277291*c_1100_12^2 - 2664152987/795277291*c_1100_12 + 814913036/795277291, c_1001_5 - 41540659/1590554582*c_1100_12^8 + 177582669/1590554582*c_1100_12^7 + 252761891/1590554582*c_1100_12^6 - 987381200/795277291*c_1100_12^5 - 8779431/795277291*c_1100_12^4 + 3880027943/1590554582*c_1100_12^3 - 3028600808/795277291*c_1100_12^2 + 2951444257/1590554582*c_1100_12 - 1172849912/795277291, c_1100_12^9 - 5*c_1100_12^8 - 3*c_1100_12^7 + 52*c_1100_12^6 - 34*c_1100_12^5 - 95*c_1100_12^4 + 224*c_1100_12^3 - 185*c_1100_12^2 + 92*c_1100_12 - 28 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.350 Total time: 0.560 seconds, Total memory usage: 32.09MB