Magma V2.19-8 Tue Aug 20 2013 23:50:40 on localhost [Seed = 3103708032] Type ? for help. Type -D to quit. Loading file "L12n663__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L12n663 geometric_solution 11.20395583 oriented_manifold CS_known 0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 1 0 1 0 0 0 0 0 -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 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.512472141676 0.954164459584 0 2 6 5 0132 0213 0132 0132 1 0 0 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 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.801580149019 1.194650276413 7 0 1 3 0132 0132 0213 0132 1 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.353881693544 0.281832359610 5 8 2 0 0213 0132 0132 0132 1 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 1 0 -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.270894660307 1.377064275408 7 9 0 5 2310 0132 0132 0321 1 0 0 1 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 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.631629239328 1.336762666567 3 4 1 8 0213 0321 0132 1230 1 0 0 0 0 -1 0 1 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 1 0 -1 -1 0 0 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.064408627636 1.440866700427 10 9 9 1 0132 0321 1302 0132 1 0 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 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.417316567217 0.941425222860 2 10 4 10 0132 3201 3201 2103 1 0 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 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.164647315465 1.063906049034 5 3 11 11 3012 0132 0132 0321 1 1 0 0 0 0 0 0 -1 0 0 1 1 0 0 -1 -1 0 1 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 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.857295315852 0.808291290273 6 4 11 6 2031 0132 1302 0321 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.171142141461 0.623038201288 6 11 7 7 0132 0213 2310 2103 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 -1 1 -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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.456549179034 0.581461509908 9 8 10 8 2031 0321 0213 0132 1 1 0 1 0 0 0 0 1 0 -1 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 1 -1 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.382481128911 0.582220753865 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_10'], 'c_1001_10' : d['c_1001_10'], '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_0011_10'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_0'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : d['c_0101_8'], 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : d['c_1001_0'], 'c_1010_10' : d['c_1001_10'], '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_0011_10'], 'c_0101_10' : d['c_0101_1'], '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_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_10'], 'c_1100_8' : d['c_1001_10'], 'c_1100_5' : negation(d['c_0011_11']), 'c_1100_4' : d['c_1001_5'], 'c_1100_7' : negation(d['c_0011_4']), 'c_1100_6' : negation(d['c_0011_11']), 'c_1100_1' : negation(d['c_0011_11']), 'c_1100_0' : d['c_1001_5'], 'c_1100_3' : d['c_1001_5'], 'c_1100_2' : d['c_1001_5'], 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_10'], 'c_1100_10' : d['c_0011_0'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_1001_10']), 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_0101_8'], 'c_1010_4' : d['c_0101_8'], '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_1'], 'c_1010_8' : d['c_1001_0'], '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' : 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_4']), 'c_0011_8' : negation(d['c_0011_3']), '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_8'], 'c_0110_10' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0011_5'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : negation(d['c_0011_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_3'], 'c_0101_9' : negation(d['c_0011_11']), 'c_0101_8' : d['c_0101_8'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_10'], 'c_0110_8' : negation(d['c_0011_11']), 'c_0110_1' : d['c_0011_3'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_7' : negation(d['c_0011_0']), '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_3, c_0011_4, c_0011_5, c_0101_1, c_0101_8, c_1001_0, c_1001_1, c_1001_10, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t + 1500624380269917376/245675605008983*c_1001_5^12 + 2464496494942439104/245675605008983*c_1001_5^11 + 7958113102549738784/245675605008983*c_1001_5^10 + 12421912927794029280/245675605008983*c_1001_5^9 + 19406628074386742316/245675605008983*c_1001_5^8 + 25008527948930360196/245675605008983*c_1001_5^7 + 25406915619833172185/245675605008983*c_1001_5^6 + 23777561723478506483/245675605008983*c_1001_5^5 + 17667805289574626684/245675605008983*c_1001_5^4 + 9622523816815665445/245675605008983*c_1001_5^3 + 4278956057504853887/245675605008983*c_1001_5^2 + 1047317518725467591/245675605008983*c_1001_5 + 293074265943565588/245675605008983, c_0011_0 - 1, c_0011_10 + 38761968/3841099*c_1001_5^12 + 43211680/3841099*c_1001_5^11 + 156771884/3841099*c_1001_5^10 + 198584886/3841099*c_1001_5^9 + 267802472/3841099*c_1001_5^8 + 311023910/3841099*c_1001_5^7 + 206205523/3841099*c_1001_5^6 + 144048267/3841099*c_1001_5^5 + 45755119/3841099*c_1001_5^4 - 70452414/3841099*c_1001_5^3 - 53600615/3841099*c_1001_5^2 - 23084905/3841099*c_1001_5 - 9170404/3841099, c_0011_11 + 6436256/3841099*c_1001_5^12 + 9374864/3841099*c_1001_5^11 + 21496000/3841099*c_1001_5^10 + 38829320/3841099*c_1001_5^9 + 33379768/3841099*c_1001_5^8 + 48067115/3841099*c_1001_5^7 + 24977368/3841099*c_1001_5^6 + 6428200/3841099*c_1001_5^5 + 5830605/3841099*c_1001_5^4 - 17007088/3841099*c_1001_5^3 - 13785777/3841099*c_1001_5^2 + 7653251/3841099*c_1001_5 - 149219/3841099, c_0011_3 - 1, c_0011_4 - 20668232/3841099*c_1001_5^12 - 36521520/3841099*c_1001_5^11 - 92217362/3841099*c_1001_5^10 - 159674849/3841099*c_1001_5^9 - 191126718/3841099*c_1001_5^8 - 248679737/3841099*c_1001_5^7 - 190874734/3841099*c_1001_5^6 - 124959559/3841099*c_1001_5^5 - 60865867/3841099*c_1001_5^4 + 37133500/3841099*c_1001_5^3 + 59181717/3841099*c_1001_5^2 + 22649221/3841099*c_1001_5 + 11749256/3841099, c_0011_5 - 6833544/3841099*c_1001_5^12 - 11567112/3841099*c_1001_5^11 - 30518746/3841099*c_1001_5^10 - 51528183/3841099*c_1001_5^9 - 62524811/3841099*c_1001_5^8 - 81380554/3841099*c_1001_5^7 - 63457188/3841099*c_1001_5^6 - 41708746/3841099*c_1001_5^5 - 22204313/3841099*c_1001_5^4 + 12355834/3841099*c_1001_5^3 + 12891733/3841099*c_1001_5^2 + 7572600/3841099*c_1001_5 - 1261479/3841099, c_0101_1 - 6833544/3841099*c_1001_5^12 - 11567112/3841099*c_1001_5^11 - 30518746/3841099*c_1001_5^10 - 51528183/3841099*c_1001_5^9 - 62524811/3841099*c_1001_5^8 - 81380554/3841099*c_1001_5^7 - 63457188/3841099*c_1001_5^6 - 41708746/3841099*c_1001_5^5 - 22204313/3841099*c_1001_5^4 + 12355834/3841099*c_1001_5^3 + 20573931/3841099*c_1001_5^2 + 7572600/3841099*c_1001_5 + 6420719/3841099, c_0101_8 - 1293608/225947*c_1001_5^12 - 881776/225947*c_1001_5^11 - 4710346/225947*c_1001_5^10 - 4472229/225947*c_1001_5^9 - 6533262/225947*c_1001_5^8 - 6947079/225947*c_1001_5^7 - 3031013/225947*c_1001_5^6 - 2705666/225947*c_1001_5^5 + 341538/225947*c_1001_5^4 + 2423382/225947*c_1001_5^3 + 886314/225947*c_1001_5^2 + 168547/225947*c_1001_5 - 118011/225947, c_1001_0 + 20636960/3841099*c_1001_5^12 + 13803416/3841099*c_1001_5^11 + 76139968/3841099*c_1001_5^10 + 70086434/3841099*c_1001_5^9 + 105828637/3841099*c_1001_5^8 + 110309729/3841099*c_1001_5^7 + 47600446/3841099*c_1001_5^6 + 39727612/3841099*c_1001_5^5 - 8173686/3841099*c_1001_5^4 - 45420893/3841099*c_1001_5^3 - 13440366/3841099*c_1001_5^2 - 6483748/3841099*c_1001_5 + 2413360/3841099, c_1001_1 - 11169824/3841099*c_1001_5^12 - 10851048/3841099*c_1001_5^11 - 39710656/3841099*c_1001_5^10 - 49248358/3841099*c_1001_5^9 - 57529391/3841099*c_1001_5^8 - 68814653/3841099*c_1001_5^7 - 32518394/3841099*c_1001_5^6 - 17528004/3841099*c_1001_5^5 - 1162508/3841099*c_1001_5^4 + 29039089/3841099*c_1001_5^3 + 13670640/3841099*c_1001_5^2 - 2940918/3841099*c_1001_5 - 704974/3841099, c_1001_10 - 3894936/3841099*c_1001_5^12 - 17425200/3841099*c_1001_5^11 - 23066174/3841099*c_1001_5^10 - 67224867/3841099*c_1001_5^9 - 68361340/3841099*c_1001_5^8 - 96629786/3841099*c_1001_5^7 - 89210268/3841099*c_1001_5^6 - 46337057/3841099*c_1001_5^5 - 31970613/3841099*c_1001_5^4 + 6615377/3841099*c_1001_5^3 + 31626871/3841099*c_1001_5^2 + 9032445/3841099*c_1001_5 + 3384152/3841099, c_1001_5^13 + c_1001_5^12 + 17/4*c_1001_5^11 + 39/8*c_1001_5^10 + 61/8*c_1001_5^9 + 67/8*c_1001_5^8 + 25/4*c_1001_5^7 + 5*c_1001_5^6 + 13/8*c_1001_5^5 - 9/8*c_1001_5^4 - 5/4*c_1001_5^3 - 9/8*c_1001_5^2 - 1/4*c_1001_5 - 1/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB