Magma V2.19-8 Wed Aug 21 2013 00:58:44 on localhost [Seed = 156177016] Type ? for help. Type -D to quit. Loading file "L13n5956__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n5956 geometric_solution 12.48647059 oriented_manifold CS_known 0.0000000000000009 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 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 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 0 0 0.624400651616 1.179620928505 0 4 6 5 0132 0132 0132 0132 0 1 1 1 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 0 -1 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.527762512400 0.529497563511 6 0 8 7 0132 0132 0132 0132 0 1 1 1 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 -1 0 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.666036313945 0.578192212422 7 9 10 0 0321 0132 0132 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 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.647016314921 1.045246015777 11 1 0 12 0132 0132 0132 0132 0 1 1 1 0 -1 0 1 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 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.133145198559 0.778563069349 7 8 1 9 1302 0132 0132 1302 0 1 0 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 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 0 0 0 1.001614499680 0.710723631152 2 11 10 1 0132 0132 3201 0132 0 1 1 1 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 0 0 0 0 0 0 -1 1 0 0 -1 1 -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.705854100581 0.929000046914 3 5 2 12 0321 2031 0132 2310 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 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.509022829787 0.898937890700 11 5 10 2 3120 0132 0213 0132 0 1 1 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 0 0 0 -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.566256969262 0.752074306114 11 3 5 12 2031 0132 2031 2031 0 0 1 1 0 0 0 0 0 0 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 -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.269787176666 0.655708996351 6 8 12 3 2310 0213 0132 0132 0 1 1 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 1 0 0 -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.267870602025 0.586824224948 4 6 9 8 0132 0132 1302 3120 0 1 1 1 0 0 0 0 0 0 0 0 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 0 0 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.628374892942 1.060866392264 7 9 4 10 3201 1302 0132 0132 0 1 0 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 -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.320028942556 1.152594976521 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0110_9'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_0110_9'], 'c_1001_5' : d['c_1001_2'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0110_5']), 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : d['c_0110_9'], 'c_1001_0' : negation(d['c_0110_5']), 'c_1001_3' : d['c_0011_12'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0110_5']), 'c_1001_8' : d['c_1001_10'], 'c_1010_12' : d['c_1001_10'], 'c_1010_11' : d['c_0011_5'], 'c_1010_10' : d['c_0011_12'], '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_0011_3'], 'c_0101_10' : negation(d['c_0011_5']), 's_2_0' : 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' : 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_1100_9' : negation(d['c_1001_10']), 'c_1100_8' : d['c_0011_12'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_10']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_0011_12'], 'c_1100_6' : negation(d['c_0011_10']), 'c_1100_1' : negation(d['c_0011_10']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_0011_12'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : d['c_1100_0'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_5'], 'c_1010_6' : d['c_0110_9'], 'c_1010_5' : d['c_1001_10'], 'c_1010_4' : d['c_0110_9'], 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(d['c_0110_5']), 'c_1010_1' : d['c_1001_2'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_12'], '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' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_1100_0'], '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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(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_5']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_0'], '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_0101_3'], 'c_0110_12' : negation(d['c_0011_5']), 'c_0101_12' : d['c_0011_3'], 'c_0011_11' : negation(d['c_0011_0']), 'c_0101_7' : negation(d['c_0101_3']), 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : negation(d['c_0011_7']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_7']), 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : negation(d['c_0011_7']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_7']), 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0011_3'], 'c_0110_7' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_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_12, c_0011_3, c_0011_5, c_0011_7, c_0101_1, c_0101_3, c_0110_5, c_0110_9, c_1001_10, c_1001_2, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 21471111688537/302722447016*c_1100_0^11 + 42155171938425/75680611754*c_1100_0^10 - 493529991013481/302722447016*c_1100_0^9 + 643181835672863/151361223508*c_1100_0^8 - 594098285771313/75680611754*c_1100_0^7 + 3430172592105595/302722447016*c_1100_0^6 - 1821617181436661/151361223508*c_1100_0^5 + 2048703683830299/302722447016*c_1100_0^4 - 135575630956265/151361223508*c_1100_0^3 - 61724585628004/37840305877*c_1100_0^2 + 234650106433511/302722447016*c_1100_0 - 64547617533353/302722447016, c_0011_0 - 1, c_0011_10 - 50331471/146384162*c_1100_0^11 + 180796283/73192081*c_1100_0^10 - 902184199/146384162*c_1100_0^9 + 1156407047/73192081*c_1100_0^8 - 1878427653/73192081*c_1100_0^7 + 4895704769/146384162*c_1100_0^6 - 2058889243/73192081*c_1100_0^5 + 708538181/146384162*c_1100_0^4 + 553583681/73192081*c_1100_0^3 - 247678937/73192081*c_1100_0^2 - 120517903/146384162*c_1100_0 + 84823719/146384162, c_0011_12 + 17945696/73192081*c_1100_0^11 - 111560870/73192081*c_1100_0^10 + 214157044/73192081*c_1100_0^9 - 620466873/73192081*c_1100_0^8 + 743768165/73192081*c_1100_0^7 - 1031167979/73192081*c_1100_0^6 + 489509722/73192081*c_1100_0^5 + 239669762/73192081*c_1100_0^4 - 180975321/73192081*c_1100_0^3 + 57649445/73192081*c_1100_0^2 + 51358238/73192081*c_1100_0 + 36358686/73192081, c_0011_3 + 176690229/146384162*c_1100_0^11 - 634313904/73192081*c_1100_0^10 + 3201439279/146384162*c_1100_0^9 - 4164896607/73192081*c_1100_0^8 + 6727797820/73192081*c_1100_0^7 - 18059612275/146384162*c_1100_0^6 + 7505694051/73192081*c_1100_0^5 - 2971317195/146384162*c_1100_0^4 - 2488408078/73192081*c_1100_0^3 + 1849484110/73192081*c_1100_0^2 + 206037877/146384162*c_1100_0 - 598239315/146384162, c_0011_5 + 42411305/146384162*c_1100_0^11 - 150487161/73192081*c_1100_0^10 + 746408539/146384162*c_1100_0^9 - 979044952/73192081*c_1100_0^8 + 1561222743/73192081*c_1100_0^7 - 4242569785/146384162*c_1100_0^6 + 1741781453/73192081*c_1100_0^5 - 856022191/146384162*c_1100_0^4 - 490030859/73192081*c_1100_0^3 + 303405017/73192081*c_1100_0^2 + 44148929/146384162*c_1100_0 - 89064391/146384162, c_0011_7 - 317603937/146384162*c_1100_0^11 + 1076394714/73192081*c_1100_0^10 - 4894601645/146384162*c_1100_0^9 + 6509122442/73192081*c_1100_0^8 - 9451115010/73192081*c_1100_0^7 + 24824562155/146384162*c_1100_0^6 - 8283784386/73192081*c_1100_0^5 - 1853929599/146384162*c_1100_0^4 + 4609213153/73192081*c_1100_0^3 - 1892103654/73192081*c_1100_0^2 - 1700393871/146384162*c_1100_0 + 357144851/146384162, c_0101_1 + 75716520/73192081*c_1100_0^11 - 475651815/73192081*c_1100_0^10 + 920207710/73192081*c_1100_0^9 - 2584083519/73192081*c_1100_0^8 + 3118251474/73192081*c_1100_0^7 - 4048723694/73192081*c_1100_0^6 + 1636353862/73192081*c_1100_0^5 + 1666306453/73192081*c_1100_0^4 - 1346508138/73192081*c_1100_0^3 - 181026451/73192081*c_1100_0^2 + 571120568/73192081*c_1100_0 + 153498813/73192081, c_0101_3 - 137582462/73192081*c_1100_0^11 + 932026098/73192081*c_1100_0^10 - 2118079824/73192081*c_1100_0^9 + 5645390073/73192081*c_1100_0^8 - 8215879573/73192081*c_1100_0^7 + 10828961480/73192081*c_1100_0^6 - 7362315744/73192081*c_1100_0^5 - 564888079/73192081*c_1100_0^4 + 3693942879/73192081*c_1100_0^3 - 1558606214/73192081*c_1100_0^2 - 654935290/73192081*c_1100_0 + 122908638/73192081, c_0110_5 + 1, c_0110_9 - 20066032/73192081*c_1100_0^11 + 130363305/73192081*c_1100_0^10 - 280511878/73192081*c_1100_0^9 + 793769823/73192081*c_1100_0^8 - 1069553780/73192081*c_1100_0^7 + 1549804809/73192081*c_1100_0^6 - 975102414/73192081*c_1100_0^5 + 105002396/73192081*c_1100_0^4 + 307725726/73192081*c_1100_0^3 - 159368315/73192081*c_1100_0^2 - 109204654/73192081*c_1100_0 + 6066473/73192081, c_1001_10 + 60138319/146384162*c_1100_0^11 - 188228131/73192081*c_1100_0^10 + 735285895/146384162*c_1100_0^9 - 1057141277/73192081*c_1100_0^8 + 1285866423/73192081*c_1100_0^7 - 3552224285/146384162*c_1100_0^6 + 809868349/73192081*c_1100_0^5 + 761108653/146384162*c_1100_0^4 - 547491812/73192081*c_1100_0^3 + 44676874/73192081*c_1100_0^2 + 112436419/146384162*c_1100_0 - 57171125/146384162, c_1001_2 + 10985104/73192081*c_1100_0^11 - 90458725/73192081*c_1100_0^10 + 265308839/73192081*c_1100_0^9 - 621122944/73192081*c_1100_0^8 + 1171818630/73192081*c_1100_0^7 - 1406564097/73192081*c_1100_0^6 + 1378357671/73192081*c_1100_0^5 - 149378933/73192081*c_1100_0^4 - 610152376/73192081*c_1100_0^3 + 357984513/73192081*c_1100_0^2 + 43051632/73192081*c_1100_0 - 58323908/73192081, c_1100_0^12 - 7*c_1100_0^11 + 17*c_1100_0^10 - 45*c_1100_0^9 + 70*c_1100_0^8 - 95*c_1100_0^7 + 75*c_1100_0^6 - 13*c_1100_0^5 - 25*c_1100_0^4 + 18*c_1100_0^3 + c_1100_0^2 - 2*c_1100_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.230 Total time: 0.430 seconds, Total memory usage: 32.09MB