Magma V2.19-8 Wed Aug 21 2013 00:56:37 on localhost [Seed = 3263485960] Type ? for help. Type -D to quit. Loading file "L13n2726__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n2726 geometric_solution 11.68434225 oriented_manifold CS_known -0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 1230 1 1 0 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 0 -1 0 0 0 0 1 0 0 -1 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.241474386419 1.344680017377 0 4 4 5 0132 0132 1302 0132 1 1 1 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 0 0 0 0 0 -1 1 -2 2 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.870625384085 0.720438566413 0 0 4 6 3012 0132 0132 0132 1 1 1 0 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 0 1 1 0 -1 0 0 2 0 -2 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.318236841902 0.564155928867 7 5 8 0 0132 2310 0132 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.368331447352 0.534025640773 1 1 8 2 2031 0132 0213 0132 1 1 0 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 -1 0 0 1 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.318236841902 0.564155928867 7 6 1 3 2103 1302 0132 3201 1 1 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 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.923237544517 0.780524088510 8 9 2 5 2031 0132 0132 2031 1 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 1 -1 0 0 0 0 0 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.991328856256 0.695268453126 3 10 5 9 0132 0132 2103 0213 1 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 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.767701661711 0.641290257107 11 4 6 3 0132 0213 1302 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 -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.323847068930 0.474219830780 11 6 10 7 2310 0132 0132 0213 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 -1 1 0 1 0 -1 0 -1 2 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.996225012690 0.575306429513 12 7 11 9 0132 0132 1230 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 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 1.103908609245 0.583714480885 8 12 9 10 0132 0132 3201 3012 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 1 -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 1.103908609245 0.583714480885 10 11 12 12 0132 0132 1230 3012 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.925342910835 0.621497656751 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_12']), 'c_1001_10' : negation(d['c_0011_6']), 'c_1001_12' : negation(d['c_0101_10']), 'c_1001_5' : d['c_0110_6'], 'c_1001_4' : d['c_0110_6'], 'c_1001_7' : d['c_0011_5'], 'c_1001_6' : negation(d['c_0110_5']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0110_5']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_2'], 'c_1001_9' : d['c_0011_5'], 'c_1001_8' : d['c_0110_6'], 'c_1010_12' : negation(d['c_0101_12']), 'c_1010_11' : negation(d['c_0101_10']), 'c_1010_10' : d['c_0011_5'], 's_0_10' : d['1'], 's_0_11' : 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_11'], 'c_0101_10' : d['c_0101_10'], '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' : 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' : negation(d['c_0011_6']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : negation(d['c_0011_10']), 'c_1100_4' : d['c_1001_3'], 'c_1100_7' : negation(d['c_0110_5']), 'c_1100_6' : d['c_1001_3'], 'c_1100_1' : negation(d['c_0011_10']), 'c_1100_0' : d['c_0101_6'], 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : d['c_1001_3'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_6'], 'c_1100_10' : negation(d['c_0011_6']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_6']), 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : negation(d['c_1001_3']), 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(d['c_0110_5']), 'c_1010_1' : d['c_0110_6'], 'c_1010_0' : d['c_0101_2'], 'c_1010_9' : negation(d['c_0110_5']), 'c_1010_8' : d['c_1001_3'], 'c_1100_8' : d['c_0101_6'], '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'], 'c_1100_12' : d['c_0101_10'], '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_6']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_6']), 'c_0110_10' : d['c_0101_12'], 'c_0110_12' : d['c_0101_10'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_10']), 'c_0101_3' : d['c_0101_11'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_12'], 'c_0101_8' : negation(d['c_0011_6']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_11']), 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_2'], 'c_0110_7' : d['c_0101_11'], 'c_0110_6' : d['c_0110_6']})} 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_5, c_0011_6, c_0101_0, c_0101_10, c_0101_11, c_0101_12, c_0101_2, c_0101_6, c_0110_5, c_0110_6, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 272902595228416/19093*c_1001_3^21 + 2938147862904768/19093*c_1001_3^20 - 15499038674426752/19093*c_1001_3^19 + 53444043765442788/19093*c_1001_3^18 - 135552426392522129/19093*c_1001_3^17 + 1078016888456285087/76372*c_1001_3^16 - 1746285451340122409/76372*c_1001_3^15 + 2363006694486802009/76372*c_1001_3^14 - 678882935042609617/19093*c_1001_3^13 + 2679142865918361813/76372*c_1001_3^12 - 2284410066209198173/76372*c_1001_3^11 + 422224768844325704/19093*c_1001_3^10 - 1082876368406430029/76372*c_1001_3^9 + 300233159345933977/38186*c_1001_3^8 - 286204312300947791/76372*c_1001_3^7 + 29017388697518859/19093*c_1001_3^6 - 39428875671570195/76372*c_1001_3^5 + 2738924038528658/19093*c_1001_3^4 - 2399479748003825/76372*c_1001_3^3 + 389453641979721/76372*c_1001_3^2 - 41676545569457/76372*c_1001_3 + 2200384628975/76372, c_0011_0 - 1, c_0011_10 + 1566720*c_1001_3^21 - 16654848*c_1001_3^20 + 86750208*c_1001_3^19 - 295406304*c_1001_3^18 + 740060920*c_1001_3^17 - 1453606242*c_1001_3^16 + 2326518174*c_1001_3^15 - 3110504862*c_1001_3^14 + 3531447696*c_1001_3^13 - 3441369712*c_1001_3^12 + 2897317356*c_1001_3^11 - 2113966306*c_1001_3^10 + 1336768759*c_1001_3^9 - 730414683*c_1001_3^8 + 342661328*c_1001_3^7 - 136574058*c_1001_3^6 + 45506055*c_1001_3^5 - 12369153*c_1001_3^4 + 2640251*c_1001_3^3 - 415368*c_1001_3^2 + 42719*c_1001_3 - 2139, c_0011_5 + 1629184*c_1001_3^21 - 16733952*c_1001_3^20 + 84203264*c_1001_3^19 - 276958544*c_1001_3^18 + 670062628*c_1001_3^17 - 1270422959*c_1001_3^16 + 1960922958*c_1001_3^15 - 2524562063*c_1001_3^14 + 2754006444*c_1001_3^13 - 2570969668*c_1001_3^12 + 2065179012*c_1001_3^11 - 1429891986*c_1001_3^10 + 851783251*c_1001_3^9 - 434067579*c_1001_3^8 + 187249624*c_1001_3^7 - 67213746*c_1001_3^6 + 19524695*c_1001_3^5 - 4376645*c_1001_3^4 + 689859*c_1001_3^3 - 59252*c_1001_3^2 - 731*c_1001_3 + 517, c_0011_6 - 1024*c_1001_3^21 + 11520*c_1001_3^20 - 63488*c_1001_3^19 + 228656*c_1001_3^18 - 605580*c_1001_3^17 + 1257133*c_1001_3^16 - 2126969*c_1001_3^15 + 3008516*c_1001_3^14 - 3618876*c_1001_3^13 + 3744642*c_1001_3^12 - 3357926*c_1001_3^11 + 2620366*c_1001_3^10 - 1781864*c_1001_3^9 + 1054507*c_1001_3^8 - 540907*c_1001_3^7 + 238750*c_1001_3^6 - 89664*c_1001_3^5 + 28175*c_1001_3^4 - 7225*c_1001_3^3 + 1453*c_1001_3^2 - 213*c_1001_3 + 19, c_0101_0 - 1, c_0101_10 + 651264*c_1001_3^21 - 7206912*c_1001_3^20 + 39045888*c_1001_3^19 - 138168896*c_1001_3^18 + 359336928*c_1001_3^17 - 732050080*c_1001_3^16 + 1214522767*c_1001_3^15 - 1682812218*c_1001_3^14 + 1980256166*c_1001_3^13 - 2001184591*c_1001_3^12 + 1748792446*c_1001_3^11 - 1326226188*c_1001_3^10 + 873306930*c_1001_3^9 - 498135928*c_1001_3^8 + 244747127*c_1001_3^7 - 102594622*c_1001_3^6 + 36151652*c_1001_3^5 - 10468955*c_1001_3^4 + 2404843*c_1001_3^3 - 413044*c_1001_3^2 + 47387*c_1001_3 - 2733, c_0101_11 + 1629184*c_1001_3^21 - 16733952*c_1001_3^20 + 84203264*c_1001_3^19 - 276958544*c_1001_3^18 + 670062628*c_1001_3^17 - 1270422959*c_1001_3^16 + 1960922958*c_1001_3^15 - 2524562063*c_1001_3^14 + 2754006444*c_1001_3^13 - 2570969668*c_1001_3^12 + 2065179012*c_1001_3^11 - 1429891986*c_1001_3^10 + 851783251*c_1001_3^9 - 434067579*c_1001_3^8 + 187249624*c_1001_3^7 - 67213746*c_1001_3^6 + 19524695*c_1001_3^5 - 4376645*c_1001_3^4 + 689859*c_1001_3^3 - 59252*c_1001_3^2 - 731*c_1001_3 + 517, c_0101_12 - 13175808*c_1001_3^21 + 142177024*c_1001_3^20 - 751490816*c_1001_3^19 + 2595780496*c_1001_3^18 - 6593619892*c_1001_3^17 + 13126330699*c_1001_3^16 - 21287380234*c_1001_3^15 + 28833728899*c_1001_3^14 - 33164049721*c_1001_3^13 + 32744551676*c_1001_3^12 - 27938605405*c_1001_3^11 + 20667113450*c_1001_3^10 - 13257366835*c_1001_3^9 + 7353970845*c_1001_3^8 - 3505979788*c_1001_3^7 + 1421947308*c_1001_3^6 - 482972979*c_1001_3^5 + 134143035*c_1001_3^4 - 29355015*c_1001_3^3 + 4757384*c_1001_3^2 - 507731*c_1001_3 + 26673, c_0101_2 - 2190336*c_1001_3^21 + 23074560*c_1001_3^20 - 119145984*c_1001_3^19 + 402344976*c_1001_3^18 - 999929316*c_1001_3^17 + 1948946567*c_1001_3^16 - 3095980449*c_1001_3^15 + 4108697550*c_1001_3^14 - 4630270902*c_1001_3^13 + 4478341542*c_1001_3^12 - 3741234002*c_1001_3^11 + 2707645518*c_1001_3^10 - 1697440790*c_1001_3^9 + 918821714*c_1001_3^8 - 426585390*c_1001_3^7 + 168024922*c_1001_3^6 - 55217238*c_1001_3^5 + 14760270*c_1001_3^4 - 3085122*c_1001_3^3 + 471994*c_1001_3^2 - 46656*c_1001_3 + 2200, c_0101_6 - 623616*c_1001_3^21 + 6419712*c_1001_3^20 - 32395776*c_1001_3^19 + 106938672*c_1001_3^18 - 259868396*c_1001_3^17 + 495340325*c_1001_3^16 - 769462275*c_1001_3^15 + 998192688*c_1001_3^14 - 1098823206*c_1001_3^13 + 1036971830*c_1001_3^12 - 843916646*c_1001_3^11 + 593679212*c_1001_3^10 - 360672031*c_1001_3^9 + 188407031*c_1001_3^8 - 83924062*c_1001_3^7 + 31450864*c_1001_3^6 - 9711183*c_1001_3^5 + 2391117*c_1001_3^4 - 444871*c_1001_3^3 + 56626*c_1001_3^2 - 3937*c_1001_3 + 61, c_0110_5 - 1566720*c_1001_3^21 + 16654848*c_1001_3^20 - 86750208*c_1001_3^19 + 295406304*c_1001_3^18 - 740060920*c_1001_3^17 + 1453606242*c_1001_3^16 - 2326518174*c_1001_3^15 + 3110504862*c_1001_3^14 - 3531447696*c_1001_3^13 + 3441369712*c_1001_3^12 - 2897317356*c_1001_3^11 + 2113966306*c_1001_3^10 - 1336768759*c_1001_3^9 + 730414683*c_1001_3^8 - 342661328*c_1001_3^7 + 136574058*c_1001_3^6 - 45506055*c_1001_3^5 + 12369153*c_1001_3^4 - 2640251*c_1001_3^3 + 415368*c_1001_3^2 - 42719*c_1001_3 + 2139, c_0110_6 + 623616*c_1001_3^21 - 6419712*c_1001_3^20 + 32395776*c_1001_3^19 - 106938672*c_1001_3^18 + 259868396*c_1001_3^17 - 495340325*c_1001_3^16 + 769462275*c_1001_3^15 - 998192688*c_1001_3^14 + 1098823206*c_1001_3^13 - 1036971830*c_1001_3^12 + 843916646*c_1001_3^11 - 593679212*c_1001_3^10 + 360672031*c_1001_3^9 - 188407031*c_1001_3^8 + 83924062*c_1001_3^7 - 31450864*c_1001_3^6 + 9711183*c_1001_3^5 - 2391117*c_1001_3^4 + 444871*c_1001_3^3 - 56626*c_1001_3^2 + 3937*c_1001_3 - 61, c_1001_3^22 - 45/4*c_1001_3^21 + 62*c_1001_3^20 - 14291/64*c_1001_3^19 + 151395/256*c_1001_3^18 - 1257133/1024*c_1001_3^17 + 2126969/1024*c_1001_3^16 - 752129/256*c_1001_3^15 + 904719/256*c_1001_3^14 - 1872321/512*c_1001_3^13 + 1678963/512*c_1001_3^12 - 1310183/512*c_1001_3^11 + 222733/128*c_1001_3^10 - 1054507/1024*c_1001_3^9 + 540907/1024*c_1001_3^8 - 119375/512*c_1001_3^7 + 1401/16*c_1001_3^6 - 28175/1024*c_1001_3^5 + 7225/1024*c_1001_3^4 - 1455/1024*c_1001_3^3 + 27/128*c_1001_3^2 - 21/1024*c_1001_3 + 1/1024 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.350 Total time: 0.560 seconds, Total memory usage: 32.09MB