Magma V2.19-8 Wed Aug 21 2013 01:01:06 on localhost [Seed = 3170543430] Type ? for help. Type -D to quit. Loading file "L14a20351__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L14a20351 geometric_solution 10.38112596 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 1 0132 0132 0132 2031 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 -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.751796741995 0.691066483769 0 0 4 4 0132 1302 3012 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 -1 1 0 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 0.279039617645 0.662721090076 5 0 5 6 0132 0132 3012 0132 1 1 1 0 0 0 -1 1 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 -1 -6 7 6 0 0 -6 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.460336617307 1.281704398360 7 8 8 0 0132 0132 3201 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 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.970048232675 0.293067652968 7 1 1 7 2103 1230 0132 3201 1 1 0 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 0 0 0 0 -10 1 0 9 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.751796741995 0.691066483769 2 2 9 9 0132 1230 0132 1230 1 1 0 1 0 0 1 -1 -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 7 -7 -6 0 0 6 -1 0 0 1 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.279039617645 0.662721090076 10 10 2 11 0132 2310 0132 0132 1 1 1 1 0 0 -1 1 -1 0 1 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 -7 7 -6 0 6 0 0 6 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.055346162381 0.285395585222 3 4 4 11 0132 2310 2103 2310 0 1 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 -9 10 -1 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.751796741995 0.691066483769 3 3 12 12 2310 0132 0132 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 0 0 0 0 0 0 0 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.609442159005 0.640050580611 5 11 11 5 3012 1302 3012 0132 1 1 1 0 0 0 1 -1 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 7 -7 7 0 -7 0 -6 0 0 6 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.751796741995 0.691066483769 6 12 12 6 0132 2103 0321 3201 1 1 1 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 6 0 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.780251261028 0.819438342532 7 9 6 9 3201 1230 0132 2031 1 1 0 1 0 1 -1 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 7 -7 0 0 0 0 0 1 -1 0 0 1 -7 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.460336617307 1.281704398360 8 10 10 8 3201 2103 0321 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.536486297530 0.213352411768 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_10'], 'c_1001_11' : negation(d['c_0101_5']), 'c_1001_10' : d['c_0011_12'], 'c_1001_12' : d['c_0011_10'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_7' : d['c_0011_4'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_8']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : negation(d['c_0011_11']), 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_1001_0'], 'c_1010_11' : d['c_0011_9'], 'c_1010_10' : negation(d['c_1001_0']), 's_0_10' : 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_10'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : negation(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' : negation(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' : negation(d['1']), 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_0101_5'], 'c_1100_8' : d['c_0011_12'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_0011_3'], 'c_1100_7' : d['c_0011_11'], 'c_1100_6' : negation(d['c_1001_5']), 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_1001_5']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_1001_5']), 'c_1100_10' : d['c_0011_10'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_11'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : d['c_0011_9'], 'c_1010_4' : negation(d['c_0011_4']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : d['c_1001_5'], 'c_1010_8' : negation(d['c_0101_8']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(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_0011_12'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(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_9'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_10']), '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_11']), 'c_0110_10' : d['c_0101_5'], 'c_0110_12' : d['c_0101_8'], 'c_0101_12' : negation(d['c_0101_10']), 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0101_10']), 'c_0101_2' : d['c_0011_9'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_9'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_5'], 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_4']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0011_9'], 'c_0110_4' : negation(d['c_0011_11']), 'c_0110_7' : negation(d['c_0101_10']), 'c_0011_10' : d['c_0011_10']})} 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_4, c_0011_9, c_0101_0, c_0101_10, c_0101_5, c_0101_8, c_1001_0, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t - 6031037909/26363591*c_1001_0^7 - 40164795057/105454364*c_1001_0^6 + 5719831398/26363591*c_1001_0^5 + 94896965443/105454364*c_1001_0^4 + 18624403413/52727182*c_1001_0^3 - 17587531221/52727182*c_1001_0^2 - 8026752553/26363591*c_1001_0 - 1037631065/105454364, c_0011_0 - 1, c_0011_10 + 52173160/26363591*c_1001_0^7 + 49616786/26363591*c_1001_0^6 - 90628484/26363591*c_1001_0^5 - 145292459/26363591*c_1001_0^4 + 30254728/26363591*c_1001_0^3 + 88293277/26363591*c_1001_0^2 + 21343376/26363591*c_1001_0 - 5416215/26363591, c_0011_11 - 1, c_0011_12 + 974661012/1239088777*c_1001_0^7 + 1888399017/1239088777*c_1001_0^6 - 3046056966/1239088777*c_1001_0^5 - 6361879823/1239088777*c_1001_0^4 + 943100930/1239088777*c_1001_0^3 + 4978559878/1239088777*c_1001_0^2 + 993420424/1239088777*c_1001_0 - 122184399/1239088777, c_0011_3 + 1657385860/1239088777*c_1001_0^7 + 1464081565/1239088777*c_1001_0^6 - 2891016148/1239088777*c_1001_0^5 - 4437720987/1239088777*c_1001_0^4 + 1154257861/1239088777*c_1001_0^3 + 1727026504/1239088777*c_1001_0^2 + 859045654/1239088777*c_1001_0 - 683079831/1239088777, c_0011_4 - 7228116298/1239088777*c_1001_0^7 - 16979554809/2478177554*c_1001_0^6 + 11472242593/1239088777*c_1001_0^5 + 46204804155/2478177554*c_1001_0^4 - 545658365/1239088777*c_1001_0^3 - 10243925532/1239088777*c_1001_0^2 - 4389071902/1239088777*c_1001_0 + 1440086835/2478177554, c_0011_9 - 7228116298/1239088777*c_1001_0^7 - 16979554809/2478177554*c_1001_0^6 + 11472242593/1239088777*c_1001_0^5 + 46204804155/2478177554*c_1001_0^4 - 545658365/1239088777*c_1001_0^3 - 10243925532/1239088777*c_1001_0^2 - 4389071902/1239088777*c_1001_0 + 1440086835/2478177554, c_0101_0 - 1, c_0101_10 + c_1001_0, c_0101_5 - 1657385860/1239088777*c_1001_0^7 - 1464081565/1239088777*c_1001_0^6 + 2891016148/1239088777*c_1001_0^5 + 4437720987/1239088777*c_1001_0^4 - 1154257861/1239088777*c_1001_0^3 - 1727026504/1239088777*c_1001_0^2 - 859045654/1239088777*c_1001_0 + 683079831/1239088777, c_0101_8 - 52173160/26363591*c_1001_0^7 - 49616786/26363591*c_1001_0^6 + 90628484/26363591*c_1001_0^5 + 145292459/26363591*c_1001_0^4 - 30254728/26363591*c_1001_0^3 - 88293277/26363591*c_1001_0^2 - 21343376/26363591*c_1001_0 + 5416215/26363591, c_1001_0^8 + 73/52*c_1001_0^7 - 18/13*c_1001_0^6 - 187/52*c_1001_0^5 - 7/13*c_1001_0^4 + 41/26*c_1001_0^3 + 11/13*c_1001_0^2 + 1/52*c_1001_0 + 1/13, c_1001_5 + 1 ], 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_4, c_0011_9, c_0101_0, c_0101_10, c_0101_5, c_0101_8, c_1001_0, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 27602185233670287533/4040925110208870*c_1001_5^11 - 6221260621311721480207/194772590312067534*c_1001_5^10 + 19681533184046417022669/324620983853445890*c_1001_5^9 - 567369269091812320276/37456267367705295*c_1001_5^8 - 37126293763566515441591/973862951560337670*c_1001_5^7 - 22281811122956277123607/486931475780168835*c_1001_5^6 + 52119999861705882423797/486931475780168835*c_1001_5^5 + 122251661726834314189/973862951560337670*c_1001_5^4 - 457017952913713719101/12485422455901765*c_1001_5^3 - 9207050787160816354027/194772590312067534*c_1001_5^2 + 28669200654322229757439/486931475780168835*c_1001_5 - 834932266460974917669/64924196770689178, c_0011_0 - 1, c_0011_10 - 12451416161948/118850738535555*c_1001_5^11 + 6136582983636/39616912845185*c_1001_5^10 + 36291565437398/118850738535555*c_1001_5^9 - 12609514254769/9142364502735*c_1001_5^8 - 19803176726698/23770147707111*c_1001_5^7 + 267514705576558/118850738535555*c_1001_5^6 + 187831683484642/118850738535555*c_1001_5^5 - 36514382683453/23770147707111*c_1001_5^4 - 15095091684166/9142364502735*c_1001_5^3 + 31886392853642/118850738535555*c_1001_5^2 - 5894738644016/39616912845185*c_1001_5 - 5184567261032/118850738535555, c_0011_11 - 1, c_0011_12 - 1870565202458/7923382569037*c_1001_5^11 + 99184414518149/79233825690370*c_1001_5^10 - 40567338010575/15846765138074*c_1001_5^9 + 2725115555216/3047454834245*c_1001_5^8 + 106644596443726/39616912845185*c_1001_5^7 + 15157418439926/39616912845185*c_1001_5^6 - 195388185051666/39616912845185*c_1001_5^5 + 44669612979976/39616912845185*c_1001_5^4 + 7065837287222/3047454834245*c_1001_5^3 + 51256951680588/39616912845185*c_1001_5^2 - 38722011605659/15846765138074*c_1001_5 + 49406099959789/79233825690370, c_0011_3 - 304036051224043/237701477071110*c_1001_5^11 + 414894951860863/79233825690370*c_1001_5^10 - 1019439694627906/118850738535555*c_1001_5^9 - 9496615677208/9142364502735*c_1001_5^8 + 1152778084905443/237701477071110*c_1001_5^7 + 2546485624558721/237701477071110*c_1001_5^6 - 1459970088358958/118850738535555*c_1001_5^5 - 987854184762727/237701477071110*c_1001_5^4 + 7424910339287/3656945801094*c_1001_5^3 + 1749912518947501/237701477071110*c_1001_5^2 - 238183870741118/39616912845185*c_1001_5 + 204445221524669/237701477071110, c_0011_4 + 1020201993166909/356552215606665*c_1001_5^11 - 1511379495829868/118850738535555*c_1001_5^10 + 8118523239457856/356552215606665*c_1001_5^9 - 140195976811061/54854187016410*c_1001_5^8 - 2015735730382331/142620886242666*c_1001_5^7 - 15642932871003703/713104431213330*c_1001_5^6 + 26172797997999593/713104431213330*c_1001_5^5 + 662218497383491/142620886242666*c_1001_5^4 - 541364454394439/54854187016410*c_1001_5^3 - 12974100415330517/713104431213330*c_1001_5^2 + 4533660218749601/237701477071110*c_1001_5 - 3541841627216023/713104431213330, c_0011_9 + 29214370155889/71310443121333*c_1001_5^11 - 137210189785732/118850738535555*c_1001_5^10 + 137110752074869/142620886242666*c_1001_5^9 + 145938191410679/54854187016410*c_1001_5^8 + 245821658443159/713104431213330*c_1001_5^7 - 2939459362226291/713104431213330*c_1001_5^6 - 279230877904529/713104431213330*c_1001_5^5 + 2047650756208519/713104431213330*c_1001_5^4 + 86691350537753/54854187016410*c_1001_5^3 - 1597646324337913/713104431213330*c_1001_5^2 + 22540758093419/47540295414222*c_1001_5 + 304936796437124/356552215606665, c_0101_0 - 1, c_0101_10 + 3422117390984/7923382569037*c_1001_5^11 - 204429140777529/79233825690370*c_1001_5^10 + 41493370659945/7923382569037*c_1001_5^9 - 6134878889601/3047454834245*c_1001_5^8 - 451922725412557/79233825690370*c_1001_5^7 - 423214659919767/79233825690370*c_1001_5^6 + 434048407149481/39616912845185*c_1001_5^5 + 222662650018753/79233825690370*c_1001_5^4 - 24886023864769/6094909668490*c_1001_5^3 - 268560420391373/39616912845185*c_1001_5^2 + 32473738352413/7923382569037*c_1001_5 - 101318346498429/79233825690370, c_0101_5 - 153287936161963/237701477071110*c_1001_5^11 + 204883531478893/79233825690370*c_1001_5^10 - 476764623660826/118850738535555*c_1001_5^9 - 20678104211831/18284729005470*c_1001_5^8 + 634816040659493/237701477071110*c_1001_5^7 + 1422089961582731/237701477071110*c_1001_5^6 - 1270933949047801/237701477071110*c_1001_5^5 - 709352952074017/237701477071110*c_1001_5^4 + 3244156264385/3656945801094*c_1001_5^3 + 462867351232553/118850738535555*c_1001_5^2 - 113432328726688/39616912845185*c_1001_5 + 135745317282359/237701477071110, c_0101_8 + 59838870351127/118850738535555*c_1001_5^11 - 20667757241568/7923382569037*c_1001_5^10 + 637897533660233/118850738535555*c_1001_5^9 - 20858458350598/9142364502735*c_1001_5^8 - 434174840786474/118850738535555*c_1001_5^7 - 377694440405696/118850738535555*c_1001_5^6 + 1270637391534106/118850738535555*c_1001_5^5 + 25366836062446/118850738535555*c_1001_5^4 - 43922189621809/9142364502735*c_1001_5^3 - 122608213491572/23770147707111*c_1001_5^2 + 223987295284234/39616912845185*c_1001_5 - 31063296720952/23770147707111, c_1001_0 - 3422117390984/7923382569037*c_1001_5^11 + 204429140777529/79233825690370*c_1001_5^10 - 41493370659945/7923382569037*c_1001_5^9 + 6134878889601/3047454834245*c_1001_5^8 + 451922725412557/79233825690370*c_1001_5^7 + 423214659919767/79233825690370*c_1001_5^6 - 434048407149481/39616912845185*c_1001_5^5 - 222662650018753/79233825690370*c_1001_5^4 + 24886023864769/6094909668490*c_1001_5^3 + 268560420391373/39616912845185*c_1001_5^2 - 32473738352413/7923382569037*c_1001_5 + 101318346498429/79233825690370, c_1001_5^12 - 1196/241*c_1001_5^11 + 2480/241*c_1001_5^10 - 1226/241*c_1001_5^9 - 1056/241*c_1001_5^8 - 1228/241*c_1001_5^7 + 4139/241*c_1001_5^6 - 1228/241*c_1001_5^5 - 1056/241*c_1001_5^4 - 1226/241*c_1001_5^3 + 2480/241*c_1001_5^2 - 1196/241*c_1001_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.230 Total time: 0.450 seconds, Total memory usage: 32.09MB