Magma V2.19-8 Wed Aug 21 2013 00:53:10 on localhost [Seed = 1174426590] Type ? for help. Type -D to quit. Loading file "L12n1310__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L12n1310 geometric_solution 11.77483481 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 1 0 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 1 -1 -1 0 1 0 1 0 0 -1 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.923257560048 1.105705573994 0 5 5 4 0132 0132 2103 3120 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 -1 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.689922963187 0.576196174997 6 0 8 7 0132 0132 0132 0132 1 1 1 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 0 0 0 0 0 0 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.810123682855 0.741016257209 4 7 9 0 3120 2310 0132 0132 1 0 1 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 0 -1 0 0 1 -1 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.537983932312 0.243094403714 1 10 0 3 3120 0132 0132 3120 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 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.129799618440 0.600029230822 1 1 11 6 2103 0132 0132 2031 1 0 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 1 0 1 -2 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.146130431202 0.713117849007 2 5 11 12 0132 1302 1302 0132 0 1 1 1 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 0 0 0 0 0 0 0 2 -1 -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 1.268016608626 0.757068706296 11 10 2 3 1302 1023 0132 3201 1 1 1 1 0 0 0 0 -1 0 0 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 2 0 0 -2 0 1 0 -1 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.100595763539 1.029037452210 9 9 12 2 0321 3201 1230 0132 1 1 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 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.333737562528 0.806193297979 8 10 8 3 0321 2310 2310 0132 1 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 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.561637835913 1.058929765346 7 4 12 9 1023 0132 1302 3201 1 1 1 1 0 0 1 -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 1 -2 1 0 0 0 0 -1 1 0 0 2 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.283102746907 0.682001627815 6 7 12 5 2031 2031 3012 0132 1 0 1 1 0 0 0 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 0 0 0 0 1 0 0 -1 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.062345343853 1.190163212301 10 11 6 8 2031 1230 0132 3012 0 1 1 1 0 0 0 0 -1 0 1 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 1 -1 2 0 -2 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.547475970136 0.603392645654 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_12']), 'c_1001_10' : negation(d['c_0011_3']), 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_0011_10'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_12']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : negation(d['c_0011_12']), 'c_1001_3' : negation(d['c_0110_10']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_1001_2']), 'c_1001_8' : negation(d['c_0101_11']), 'c_1010_12' : d['c_0101_11'], 'c_1010_11' : d['c_0011_10'], 'c_1010_10' : d['c_1001_2'], 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : negation(d['c_0011_9']), 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_12']), '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' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0011_3']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_1001_12']), 'c_1100_4' : d['c_0011_8'], 'c_1100_7' : negation(d['c_0011_3']), 'c_1100_6' : d['c_0101_11'], 'c_1100_1' : negation(d['c_0101_1']), 'c_1100_0' : d['c_0011_8'], 'c_1100_3' : d['c_0011_8'], 'c_1100_2' : negation(d['c_0011_3']), 's_0_10' : d['1'], 'c_1100_9' : d['c_0011_8'], 'c_1100_11' : negation(d['c_1001_12']), 'c_1100_10' : negation(d['c_0011_9']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0110_10'], 'c_1010_6' : d['c_1001_12'], 'c_1010_5' : d['c_0011_0'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : negation(d['c_0011_12']), 'c_1010_2' : negation(d['c_0011_12']), 'c_1010_1' : d['c_0011_10'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0110_10']), 'c_1010_8' : d['c_1001_2'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(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_0101_11'], 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_10'], 'c_0110_6' : negation(d['c_0011_9']), '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_0101_1'], 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_0'], 'c_0101_7' : negation(d['c_0011_11']), 'c_0101_6' : negation(d['c_0011_11']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_8']), 'c_0101_2' : negation(d['c_0011_9']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_11'], 'c_0101_8' : negation(d['c_0101_11']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_8']), 'c_0110_8' : negation(d['c_0011_9']), '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_11']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_0'], 'c_0110_7' : d['c_0011_12'], 'c_0011_10' : d['c_0011_10'], '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_12, c_0011_3, c_0011_8, c_0011_9, c_0101_0, c_0101_1, c_0101_11, c_0110_10, c_1001_12, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 197518772451651815345540249/25296153463922951547927129*c_1001_2^14 + 3866107314323017442221523/193100408121549248457459*c_1001_2^13 + 936280577216761435827409289/8432051154640983849309043*c_1001_2^12 - 3762443565907458698453786843/25296153463922951547927129*c_1001_2^11 - 17930112732973264266211137275/25296153463922951547927129*c_1001_2\ ^10 - 54160491322193687251787279/3613736209131850221132447*c_1001_2\ ^9 + 39569009003821975258662008101/25296153463922951547927129*c_100\ 1_2^8 + 13659289582094879532406984896/8432051154640983849309043*c_1\ 001_2^7 + 6579813658813870316921090987/8432051154640983849309043*c_\ 1001_2^6 + 26923387053820164463136973520/25296153463922951547927129\ *c_1001_2^5 + 43321495506587920245586855937/25296153463922951547927\ 129*c_1001_2^4 + 50755105710429834122664661877/25296153463922951547\ 927129*c_1001_2^3 - 9987428475737470113878797840/252961534639229515\ 47927129*c_1001_2^2 - 28785185828685348786299364254/252961534639229\ 51547927129*c_1001_2 - 8537316878625416543605716443/252961534639229\ 51547927129, c_0011_0 - 1, c_0011_10 - 5432133794941166/213167342215709493*c_1001_2^14 + 19973496532639768/213167342215709493*c_1001_2^13 + 19338957786511275/71055780738569831*c_1001_2^12 - 177599982303165485/213167342215709493*c_1001_2^11 - 332053123851045197/213167342215709493*c_1001_2^10 + 439667366470733320/213167342215709493*c_1001_2^9 + 817288466182484767/213167342215709493*c_1001_2^8 + 27351852417677455/71055780738569831*c_1001_2^7 - 11098084810075154/71055780738569831*c_1001_2^6 + 484661011836096076/213167342215709493*c_1001_2^5 + 416295046131622592/213167342215709493*c_1001_2^4 + 553742583005060945/213167342215709493*c_1001_2^3 - 1094079465560044522/213167342215709493*c_1001_2^2 + 107996368456935097/213167342215709493*c_1001_2 + 264091950597263764/213167342215709493, c_0011_11 - 1462634533881429/71055780738569831*c_1001_2^14 + 5285974021306524/71055780738569831*c_1001_2^13 + 15936040494460436/71055780738569831*c_1001_2^12 - 46627827033983241/71055780738569831*c_1001_2^11 - 92297527704488685/71055780738569831*c_1001_2^10 + 110838807960785640/71055780738569831*c_1001_2^9 + 225134491567550102/71055780738569831*c_1001_2^8 + 41613740340079762/71055780738569831*c_1001_2^7 + 3389115386882304/71055780738569831*c_1001_2^6 + 131944898231024947/71055780738569831*c_1001_2^5 + 126366061480694610/71055780738569831*c_1001_2^4 + 164184449747586009/71055780738569831*c_1001_2^3 - 359293085845478821/71055780738569831*c_1001_2^2 + 18268564286177678/71055780738569831*c_1001_2 + 36334927239783892/71055780738569831, c_0011_12 + 3257890089395483/213167342215709493*c_1001_2^14 - 11772314299720696/213167342215709493*c_1001_2^13 - 12109854605956118/71055780738569831*c_1001_2^12 + 108090460229641079/213167342215709493*c_1001_2^11 + 210283879698450755/213167342215709493*c_1001_2^10 - 282911543706210856/213167342215709493*c_1001_2^9 - 527349813521912023/213167342215709493*c_1001_2^8 + 5130373334800997/71055780738569831*c_1001_2^7 + 33566542866553656/71055780738569831*c_1001_2^6 - 361188653393897413/213167342215709493*c_1001_2^5 - 416630904637549319/213167342215709493*c_1001_2^4 - 321238886538219845/213167342215709493*c_1001_2^3 + 772389212935752811/213167342215709493*c_1001_2^2 + 19164297230325251/213167342215709493*c_1001_2 - 206223781906877032/213167342215709493, c_0011_3 - 3923009050148651/213167342215709493*c_1001_2^14 + 12748137493749760/213167342215709493*c_1001_2^13 + 15764957829627112/71055780738569831*c_1001_2^12 - 108567956858044352/213167342215709493*c_1001_2^11 - 283312438457172983/213167342215709493*c_1001_2^10 + 203352430547530216/213167342215709493*c_1001_2^9 + 655943760919186036/213167342215709493*c_1001_2^8 + 94033957479225211/71055780738569831*c_1001_2^7 + 46423562888377509/71055780738569831*c_1001_2^6 + 566219440625469943/213167342215709493*c_1001_2^5 + 613993476864639272/213167342215709493*c_1001_2^4 + 725838630005630543/213167342215709493*c_1001_2^3 - 516622764100028953/213167342215709493*c_1001_2^2 - 149532755594968199/213167342215709493*c_1001_2 + 178821646939417375/213167342215709493, c_0011_8 - 2427264910577236/213167342215709493*c_1001_2^14 + 9946249235121977/213167342215709493*c_1001_2^13 + 7309924341055161/71055780738569831*c_1001_2^12 - 88215305413740790/213167342215709493*c_1001_2^11 - 118062195268808812/213167342215709493*c_1001_2^10 + 244214527522783268/213167342215709493*c_1001_2^9 + 318245348042512919/213167342215709493*c_1001_2^8 - 29164998291123185/71055780738569831*c_1001_2^7 - 42298217969899409/71055780738569831*c_1001_2^6 + 256576369550885270/213167342215709493*c_1001_2^5 + 118602754103175655/213167342215709493*c_1001_2^4 + 41508869421462115/213167342215709493*c_1001_2^3 - 702277265760206975/213167342215709493*c_1001_2^2 + 289409691516180608/213167342215709493*c_1001_2 + 135575563992299570/213167342215709493, c_0011_9 - 5473041056675186/213167342215709493*c_1001_2^14 + 19698376007314060/213167342215709493*c_1001_2^13 + 19838735719685673/71055780738569831*c_1001_2^12 - 173587653062685293/213167342215709493*c_1001_2^11 - 339780016804309817/213167342215709493*c_1001_2^10 + 409313991106159150/213167342215709493*c_1001_2^9 + 810106771252852555/213167342215709493*c_1001_2^8 + 47233509558512056/71055780738569831*c_1001_2^7 + 11958019943482412/71055780738569831*c_1001_2^6 + 575351995094229724/213167342215709493*c_1001_2^5 + 669411930707641991/213167342215709493*c_1001_2^4 + 677428396711378973/213167342215709493*c_1001_2^3 - 1141322789334572341/213167342215709493*c_1001_2^2 + 226455176666344414/213167342215709493*c_1001_2 + 182281043888466994/213167342215709493, c_0101_0 - 1, c_0101_1 + 1299556777306456/213167342215709493*c_1001_2^14 - 6365451714193604/213167342215709493*c_1001_2^13 - 3383752986471449/71055780738569831*c_1001_2^12 + 67114582961405881/213167342215709493*c_1001_2^11 + 50159206587517303/213167342215709493*c_1001_2^10 - 270807294024432869/213167342215709493*c_1001_2^9 - 190065889603430855/213167342215709493*c_1001_2^8 + 126849389410096761/71055780738569831*c_1001_2^7 + 98650615355248454/71055780738569831*c_1001_2^6 - 50344982597803040/213167342215709493*c_1001_2^5 + 166476018458613698/213167342215709493*c_1001_2^4 + 170119191025539629/213167342215709493*c_1001_2^3 + 645827535301247456/213167342215709493*c_1001_2^2 - 260762397532770071/213167342215709493*c_1001_2 - 334224921339757496/213167342215709493, c_0101_11 - 4971227227038139/213167342215709493*c_1001_2^14 + 15600650534686610/213167342215709493*c_1001_2^13 + 21093817772507217/71055780738569831*c_1001_2^12 - 136013304920314180/213167342215709493*c_1001_2^11 - 390957788138931613/213167342215709493*c_1001_2^10 + 256424713251681944/213167342215709493*c_1001_2^9 + 945996037359354134/213167342215709493*c_1001_2^8 + 140695620023808713/71055780738569831*c_1001_2^7 + 19065057433970518/71055780738569831*c_1001_2^6 + 485934340286450006/213167342215709493*c_1001_2^5 + 714787013847344395/213167342215709493*c_1001_2^4 + 720706635375895648/213167342215709493*c_1001_2^3 - 1015198665233931593/213167342215709493*c_1001_2^2 - 280423042198269484/213167342215709493*c_1001_2 + 148131060754183865/213167342215709493, c_0110_10 - 480336001572855/71055780738569831*c_1001_2^14 + 1227792737971280/71055780738569831*c_1001_2^13 + 7126923337841109/71055780738569831*c_1001_2^12 - 10203657370612907/71055780738569831*c_1001_2^11 - 46273867723146995/71055780738569831*c_1001_2^10 + 7018926353803225/71055780738569831*c_1001_2^9 + 111634183383511277/71055780738569831*c_1001_2^8 + 85311861187952396/71055780738569831*c_1001_2^7 + 16549012749241739/71055780738569831*c_1001_2^6 + 48370095513048012/71055780738569831*c_1001_2^5 + 54562030675748036/71055780738569831*c_1001_2^4 + 61714652061948897/71055780738569831*c_1001_2^3 + 2368457626087335/71055780738569831*c_1001_2^2 - 92373327843462053/71055780738569831*c_1001_2 + 34945678406207543/71055780738569831, c_1001_12 - 1, c_1001_2^15 - 3*c_1001_2^14 - 13*c_1001_2^13 + 25*c_1001_2^12 + 81*c_1001_2^11 - 36*c_1001_2^10 - 192*c_1001_2^9 - 118*c_1001_2^8 - 27*c_1001_2^7 - 116*c_1001_2^6 - 179*c_1001_2^5 - 186*c_1001_2^4 + 129*c_1001_2^3 + 83*c_1001_2^2 - 33*c_1001_2 - 19 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.210 Total time: 0.410 seconds, Total memory usage: 32.09MB