Magma V2.19-8 Tue Aug 20 2013 17:55:58 on localhost [Seed = 3616956469] Type ? for help. Type -D to quit. Loading file "10_144__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_144 geometric_solution 10.79659498 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.364912229303 0.915708901654 0 4 6 5 0132 2103 0132 0132 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 7 -1 -6 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 1.074897008261 0.475838112160 7 0 7 8 0132 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.404160199260 0.565213394965 6 9 10 0 1230 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.137471549241 0.413391489696 5 1 0 11 3201 2103 0132 0132 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 1 -1 0 0 0 0 0 0 -7 0 7 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.623375134968 1.702050908787 6 8 1 4 0213 2103 0132 2310 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 -6 6 0 0 0 1 -1 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.001121816983 0.556306858272 5 3 10 1 0213 3012 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.182248719604 0.664539657655 2 2 10 9 0132 1230 2310 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.883391446140 0.837984769958 11 5 2 9 1230 2103 0132 0213 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 -1 1 0 -1 0 0 1 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.669738172963 1.959929750331 7 3 11 8 3201 0132 1302 0213 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 1 0 -7 6 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.162902965360 1.170670584907 6 7 11 3 2103 3201 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.119700317558 1.036129555644 9 8 4 10 2031 3012 0132 0132 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 1 0 -1 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.730094362142 0.991978143363 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_8']), 'c_1001_10' : negation(d['c_0101_7']), 'c_1001_5' : d['c_0011_8'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_7' : negation(d['c_1001_3']), 'c_1001_6' : d['c_0011_10'], 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : d['c_0011_5'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : d['c_0011_5'], 'c_1001_8' : d['c_0011_5'], 'c_1010_11' : negation(d['c_0101_7']), 'c_1010_10' : d['c_1001_3'], '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' : d['c_0011_5'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(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' : negation(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' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0101_11'], 'c_1100_8' : d['c_1001_3'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : d['c_0011_4'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1001_3'], 's_3_11' : d['1'], 'c_1100_11' : d['c_1100_0'], 'c_1100_10' : d['c_1100_0'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_11'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : negation(d['c_0101_11']), 'c_1010_4' : negation(d['c_0011_8']), 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : d['c_0011_5'], 'c_1010_1' : d['c_0011_8'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : d['c_1001_3'], 'c_1010_8' : d['c_0101_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'], 's_1_7' : negation(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' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0110_6' : d['c_0101_1'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_5'], 'c_0110_10' : negation(d['c_0011_4']), 'c_0011_6' : d['c_0011_6'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0011_11'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_6'], 'c_0101_9' : negation(d['c_0011_11']), 'c_0101_8' : d['c_0101_7'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_11']), 'c_0110_8' : d['c_0011_11'], 'c_0110_1' : d['c_0011_6'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_6'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10']})} 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_4, c_0011_5, c_0011_6, c_0011_8, c_0101_1, c_0101_11, c_0101_7, c_1001_3, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t - 33911613287/2569294700*c_1100_0^9 + 283723395577/2569294700*c_1100_0^8 - 33986597704/128464735*c_1100_0^7 - 4837692989/128464735*c_1100_0^6 + 335714274799/642323675*c_1100_0^5 + 33218472309/73408420*c_1100_0^4 - 430084771659/513858940*c_1100_0^3 - 3426915875203/2569294700*c_1100_0^2 - 80328444382/91760525*c_1100_0 - 585415341993/2569294700, c_0011_0 - 1, c_0011_10 - 296039/3670421*c_1100_0^9 + 2395234/3670421*c_1100_0^8 - 5381452/3670421*c_1100_0^7 - 1189420/3670421*c_1100_0^6 + 7048609/3670421*c_1100_0^5 + 18636754/3670421*c_1100_0^4 - 15345037/3670421*c_1100_0^3 - 36367636/3670421*c_1100_0^2 - 34131987/3670421*c_1100_0 - 8633145/3670421, c_0011_11 - 1, c_0011_4 - 1328094/3670421*c_1100_0^9 + 11228139/3670421*c_1100_0^8 - 27769391/3670421*c_1100_0^7 + 238470/3670421*c_1100_0^6 + 47430573/3670421*c_1100_0^5 + 45611130/3670421*c_1100_0^4 - 82348036/3670421*c_1100_0^3 - 129710841/3670421*c_1100_0^2 - 89023553/3670421*c_1100_0 - 20195765/3670421, c_0011_5 + 296039/3670421*c_1100_0^9 - 2395234/3670421*c_1100_0^8 + 5381452/3670421*c_1100_0^7 + 1189420/3670421*c_1100_0^6 - 7048609/3670421*c_1100_0^5 - 18636754/3670421*c_1100_0^4 + 15345037/3670421*c_1100_0^3 + 36367636/3670421*c_1100_0^2 + 34131987/3670421*c_1100_0 + 8633145/3670421, c_0011_6 + 663707/3670421*c_1100_0^9 - 5435019/3670421*c_1100_0^8 + 12297336/3670421*c_1100_0^7 + 4395257/3670421*c_1100_0^6 - 25909693/3670421*c_1100_0^5 - 29718272/3670421*c_1100_0^4 + 42662854/3670421*c_1100_0^3 + 76935462/3670421*c_1100_0^2 + 51105709/3670421*c_1100_0 + 9408440/3670421, c_0011_8 - 258206/3670421*c_1100_0^9 + 2297324/3670421*c_1100_0^8 - 6371746/3670421*c_1100_0^7 + 2510224/3670421*c_1100_0^6 + 8715693/3670421*c_1100_0^5 + 6351452/3670421*c_1100_0^4 - 22019072/3670421*c_1100_0^3 - 17324346/3670421*c_1100_0^2 - 6978458/3670421*c_1100_0 + 1233314/3670421, c_0101_1 - 231284/3670421*c_1100_0^9 + 1948535/3670421*c_1100_0^8 - 4600776/3670421*c_1100_0^7 - 1690649/3670421*c_1100_0^6 + 12846536/3670421*c_1100_0^5 + 5808365/3670421*c_1100_0^4 - 21677872/3670421*c_1100_0^3 - 20372238/3670421*c_1100_0^2 - 2881926/3670421*c_1100_0 + 3305587/3670421, c_0101_11 + 565946/3670421*c_1100_0^9 - 5127592/3670421*c_1100_0^8 + 15001212/3670421*c_1100_0^7 - 9523427/3670421*c_1100_0^6 - 14586666/3670421*c_1100_0^5 - 6958441/3670421*c_1100_0^4 + 34662176/3670421*c_1100_0^3 + 31143961/3670421*c_1100_0^2 + 22883415/3670421*c_1100_0 + 4543228/3670421, c_0101_7 - 906692/3670421*c_1100_0^9 + 7818588/3670421*c_1100_0^8 - 20146126/3670421*c_1100_0^7 + 2116717/3670421*c_1100_0^6 + 37578593/3670421*c_1100_0^5 + 17496872/3670421*c_1100_0^4 - 61638793/3670421*c_1100_0^3 - 71089258/3670421*c_1100_0^2 - 43101447/3670421*c_1100_0 - 10587092/3670421, c_1001_3 + 1202731/3670421*c_1100_0^9 - 10213822/3670421*c_1100_0^8 + 25527578/3670421*c_1100_0^7 - 927297/3670421*c_1100_0^6 - 44627202/3670421*c_1100_0^5 - 36133626/3670421*c_1100_0^4 + 76983830/3670421*c_1100_0^3 + 107456894/3670421*c_1100_0^2 + 77233434/3670421*c_1100_0 + 19220237/3670421, c_1100_0^10 - 8*c_1100_0^9 + 17*c_1100_0^8 + 10*c_1100_0^7 - 38*c_1100_0^6 - 49*c_1100_0^5 + 50*c_1100_0^4 + 124*c_1100_0^3 + 105*c_1100_0^2 + 43*c_1100_0 + 7 ], 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_4, c_0011_5, c_0011_6, c_0011_8, c_0101_1, c_0101_11, c_0101_7, c_1001_3, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 27664588347964235/499124406516129*c_1100_0^11 + 315798174085529782/1497373219548387*c_1100_0^10 - 472146555595119230/1497373219548387*c_1100_0^9 + 932569859601032317/1497373219548387*c_1100_0^8 - 551601877044181432/499124406516129*c_1100_0^7 - 138799528235298920/499124406516129*c_1100_0^6 + 352343286331488464/166374802172043*c_1100_0^5 - 42099436726404865/166374802172043*c_1100_0^4 - 964414393890849382/499124406516129*c_1100_0^3 - 43479468887744032/499124406516129*c_1100_0^2 + 26160107653319204/1497373219548387*c_1100_0 - 75271973889969442/1497373219548387, c_0011_0 - 1, c_0011_10 - 2760623612643/18486089130227*c_1100_0^11 + 10806265676843/18486089130227*c_1100_0^10 - 14375406667901/18486089130227*c_1100_0^9 + 22147587233455/18486089130227*c_1100_0^8 - 39396474807136/18486089130227*c_1100_0^7 - 45053318661699/18486089130227*c_1100_0^6 + 173862090518622/18486089130227*c_1100_0^5 - 42507584008256/18486089130227*c_1100_0^4 - 177791842484579/18486089130227*c_1100_0^3 + 55700117801186/18486089130227*c_1100_0^2 + 56172222232322/18486089130227*c_1100_0 - 29270037767514/18486089130227, c_0011_11 + 1085870097777/18486089130227*c_1100_0^11 - 4411149375131/18486089130227*c_1100_0^10 + 4857287211794/18486089130227*c_1100_0^9 - 4857436034048/18486089130227*c_1100_0^8 + 11421703111471/18486089130227*c_1100_0^7 + 26313957929559/18486089130227*c_1100_0^6 - 87757210673699/18486089130227*c_1100_0^5 + 1180616854606/18486089130227*c_1100_0^4 + 130571804919049/18486089130227*c_1100_0^3 - 35021045806630/18486089130227*c_1100_0^2 - 75572358188391/18486089130227*c_1100_0 + 15179447426061/18486089130227, c_0011_4 + 850369967409/18486089130227*c_1100_0^11 - 2122238301818/18486089130227*c_1100_0^10 + 416419378688/18486089130227*c_1100_0^9 - 3445079459990/18486089130227*c_1100_0^8 + 6592330847946/18486089130227*c_1100_0^7 + 24785839549183/18486089130227*c_1100_0^6 - 21764850958987/18486089130227*c_1100_0^5 - 52974016174417/18486089130227*c_1100_0^4 + 25662927692261/18486089130227*c_1100_0^3 + 72902997535974/18486089130227*c_1100_0^2 - 1802745366039/18486089130227*c_1100_0 - 18364617904454/18486089130227, c_0011_5 + 4339997919978/18486089130227*c_1100_0^11 - 10754343859210/18486089130227*c_1100_0^10 + 3267214998834/18486089130227*c_1100_0^9 - 18203550072204/18486089130227*c_1100_0^8 + 25866093428677/18486089130227*c_1100_0^7 + 127670786368723/18486089130227*c_1100_0^6 - 120012194868923/18486089130227*c_1100_0^5 - 208413152107683/18486089130227*c_1100_0^4 + 171295299391372/18486089130227*c_1100_0^3 + 212519554334832/18486089130227*c_1100_0^2 + 9410641383462/18486089130227*c_1100_0 + 588432562886/18486089130227, c_0011_6 + 121471225773/18486089130227*c_1100_0^11 - 1174293236137/18486089130227*c_1100_0^10 + 2284199936182/18486089130227*c_1100_0^9 - 983285098962/18486089130227*c_1100_0^8 + 4295378040401/18486089130227*c_1100_0^7 - 3191136526302/18486089130227*c_1100_0^6 - 28794389999692/18486089130227*c_1100_0^5 + 17027473153840/18486089130227*c_1100_0^4 + 57954336431110/18486089130227*c_1100_0^3 - 20682607435568/18486089130227*c_1100_0^2 - 54335927588565/18486089130227*c_1100_0 - 16602362947006/18486089130227, c_0011_8 - 9051227110935/18486089130227*c_1100_0^11 + 26586966851127/18486089130227*c_1100_0^10 - 19675024684388/18486089130227*c_1100_0^9 + 48710300335652/18486089130227*c_1100_0^8 - 76951916086000/18486089130227*c_1100_0^7 - 231408307959557/18486089130227*c_1100_0^6 + 359624774025028/18486089130227*c_1100_0^5 + 239384073837706/18486089130227*c_1100_0^4 - 418627726955859/18486089130227*c_1100_0^3 - 240185504007368/18486089130227*c_1100_0^2 + 40127184928858/18486089130227*c_1100_0 - 14983866692704/18486089130227, c_0101_1 + 4895348956893/18486089130227*c_1100_0^11 - 12398417548011/18486089130227*c_1100_0^10 + 5225286567346/18486089130227*c_1100_0^9 - 23606525578356/18486089130227*c_1100_0^8 + 34041480344030/18486089130227*c_1100_0^7 + 136771353047712/18486089130227*c_1100_0^6 - 136417374368751/18486089130227*c_1100_0^5 - 210472729687537/18486089130227*c_1100_0^4 + 152335119635036/18486089130227*c_1100_0^3 + 243172208522301/18486089130227*c_1100_0^2 + 51673712284814/18486089130227*c_1100_0 + 2804523640598/18486089130227, c_0101_11 + 1085870097777/18486089130227*c_1100_0^11 - 4411149375131/18486089130227*c_1100_0^10 + 4857287211794/18486089130227*c_1100_0^9 - 4857436034048/18486089130227*c_1100_0^8 + 11421703111471/18486089130227*c_1100_0^7 + 26313957929559/18486089130227*c_1100_0^6 - 87757210673699/18486089130227*c_1100_0^5 + 1180616854606/18486089130227*c_1100_0^4 + 130571804919049/18486089130227*c_1100_0^3 - 35021045806630/18486089130227*c_1100_0^2 - 75572358188391/18486089130227*c_1100_0 - 3306641704166/18486089130227, c_0101_7 - 7100621532621/18486089130227*c_1100_0^11 + 21560609536053/18486089130227*c_1100_0^10 - 17642621666735/18486089130227*c_1100_0^9 + 40351137305659/18486089130227*c_1100_0^8 - 65262568235813/18486089130227*c_1100_0^7 - 172724105030422/18486089130227*c_1100_0^6 + 293874285387545/18486089130227*c_1100_0^5 + 165905568099427/18486089130227*c_1100_0^4 - 349087141875951/18486089130227*c_1100_0^3 - 156819436533646/18486089130227*c_1100_0^2 + 46761580848860/18486089130227*c_1100_0 - 29858470330400/18486089130227, c_1001_3 + 3480908500269/18486089130227*c_1100_0^11 - 11933377101582/18486089130227*c_1100_0^10 + 12682223401264/18486089130227*c_1100_0^9 - 23547264548340/18486089130227*c_1100_0^8 + 41690478292179/18486089130227*c_1100_0^7 + 69811315279244/18486089130227*c_1100_0^6 - 171740860034046/18486089130227*c_1100_0^5 - 35838068768944/18486089130227*c_1100_0^4 + 197137357960117/18486089130227*c_1100_0^3 + 37632439952631/18486089130227*c_1100_0^2 - 70969726297004/18486089130227*c_1100_0 + 7210630707242/18486089130227, c_1100_0^12 - 8/3*c_1100_0^11 + 4/3*c_1100_0^10 - 14/3*c_1100_0^9 + 7*c_1100_0^8 + 28*c_1100_0^7 - 33*c_1100_0^6 - 39*c_1100_0^5 + 41*c_1100_0^4 + 41*c_1100_0^3 + 2/3*c_1100_0^2 + 2/3*c_1100_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.430 Total time: 0.640 seconds, Total memory usage: 32.09MB