Magma V2.19-8 Wed Aug 21 2013 00:51:30 on localhost [Seed = 104862583] Type ? for help. Type -D to quit. Loading file "L11n115__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L11n115 geometric_solution 12.49006602 oriented_manifold CS_known 0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 1 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 1 -1 0 0 0 0 -8 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.642189602605 0.716252900303 0 5 6 2 0132 0132 0132 3120 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 8 -1 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.479122849679 0.556457833800 1 0 3 5 3120 0132 3120 2310 0 1 1 0 0 -1 1 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 7 0 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.876060009209 0.629904531208 5 7 2 0 2310 0132 3120 0132 0 1 1 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 -1 0 1 1 0 0 -1 0 8 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.306060334609 0.773971263246 8 9 0 6 0132 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 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.935069303992 1.283007704061 2 1 3 10 3201 0132 3201 0132 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 0 0 0 0 0 0 0 7 0 0 -7 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.896582640338 0.957827452323 8 11 4 1 3120 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.329236729976 0.603879226784 8 3 10 9 1023 0132 3201 2103 0 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 1 0 -1 0 0 0 0 1 0 0 -1 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.722192385866 0.633295183972 4 7 12 6 0132 1023 0132 3120 1 1 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 1 0 -1 0 1 -1 0 0 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.564427928708 0.581531912472 10 4 12 7 3201 0132 3012 2103 0 1 0 1 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 -1 0 1 1 0 -1 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.496503000217 0.962229955713 7 11 5 9 2310 0213 0132 2310 0 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 7 -7 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.516832003942 0.448638837590 12 6 10 12 2103 0132 0213 3120 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 0 0 0 0 0 0 0 0 0 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.665288339876 0.955236956864 11 9 11 8 3120 1230 2103 0132 1 1 1 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 -1 1 1 7 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.326704288563 0.932384639021 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_11' : d['c_1001_1'], 'c_1001_10' : d['c_1001_1'], 'c_1001_12' : d['c_0011_11'], 'c_1001_5' : d['c_0011_0'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0101_10']), 'c_1001_6' : negation(d['c_0011_12']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_10']), 'c_1001_3' : negation(d['c_1001_2']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_12']), 'c_1001_8' : d['c_0101_7'], 'c_1010_12' : d['c_0101_7'], 'c_1010_11' : negation(d['c_0011_12']), 'c_1010_10' : negation(d['c_0011_10']), 's_3_11' : 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_0011_10'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(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' : negation(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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0011_11']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0101_2']), 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : negation(d['c_0101_2']), 'c_1100_1' : negation(d['c_0101_2']), 'c_1100_0' : negation(d['c_0101_2']), 'c_1100_3' : negation(d['c_0101_2']), 'c_1100_2' : d['c_0011_0'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : negation(d['c_0011_3']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_1001_2']), 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0011_12']), 'c_1010_3' : negation(d['c_0101_10']), 'c_1010_2' : negation(d['c_0101_10']), 'c_1010_1' : d['c_0011_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_0011_11'], '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' : negation(d['c_0101_6']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : 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_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_3'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_11']), '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_6'], 'c_0110_10' : negation(d['c_0101_7']), 'c_0110_12' : d['c_0101_6'], 'c_0101_12' : d['c_0011_10'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_0']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_7'], 'c_0101_8' : d['c_0101_6'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_10'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0101_6'], 'c_0110_7' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_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_11, c_0011_12, c_0011_3, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_6, c_0101_7, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 7 Groebner basis: [ t + 12561536/486729*c_1001_2^6 - 7377728/162243*c_1001_2^5 + 18950800/486729*c_1001_2^4 - 9924074/486729*c_1001_2^3 - 6276592/162243*c_1001_2^2 + 35424295/486729*c_1001_2 - 4955065/162243, c_0011_0 - 1, c_0011_10 + 1, c_0011_11 + 50800/6009*c_1001_2^6 - 18996/2003*c_1001_2^5 + 52679/6009*c_1001_2^4 - 29515/6009*c_1001_2^3 - 22883/2003*c_1001_2^2 + 71969/6009*c_1001_2 - 4529/2003, c_0011_12 - 12688/2003*c_1001_2^6 + 31060/2003*c_1001_2^5 - 27589/2003*c_1001_2^4 + 21336/2003*c_1001_2^3 + 11819/2003*c_1001_2^2 - 42791/2003*c_1001_2 + 21107/2003, c_0011_3 - 7168/2003*c_1001_2^6 + 9424/2003*c_1001_2^5 - 10484/2003*c_1001_2^4 + 4029/2003*c_1001_2^3 + 7599/2003*c_1001_2^2 - 13086/2003*c_1001_2 + 5597/2003, c_0101_0 - 1, c_0101_1 - 7168/2003*c_1001_2^6 + 9424/2003*c_1001_2^5 - 10484/2003*c_1001_2^4 + 4029/2003*c_1001_2^3 + 7599/2003*c_1001_2^2 - 13086/2003*c_1001_2 + 5597/2003, c_0101_10 + 2336/6009*c_1001_2^6 - 2216/2003*c_1001_2^5 + 10606/6009*c_1001_2^4 - 6401/6009*c_1001_2^3 + 24/2003*c_1001_2^2 + 5749/6009*c_1001_2 - 2304/2003, c_0101_2 + 2336/6009*c_1001_2^6 - 2216/2003*c_1001_2^5 + 10606/6009*c_1001_2^4 - 6401/6009*c_1001_2^3 + 24/2003*c_1001_2^2 + 5749/6009*c_1001_2 - 2304/2003, c_0101_6 - 412784/18027*c_1001_2^6 + 204340/6009*c_1001_2^5 - 570103/18027*c_1001_2^4 + 342143/18027*c_1001_2^3 + 173834/6009*c_1001_2^2 - 824950/18027*c_1001_2 + 91067/6009, c_0101_7 - 123808/18027*c_1001_2^6 + 85400/6009*c_1001_2^5 - 249650/18027*c_1001_2^4 + 164992/18027*c_1001_2^3 + 38788/6009*c_1001_2^2 - 370796/18027*c_1001_2 + 60019/6009, c_1001_1 - 19168/6009*c_1001_2^6 + 7208/2003*c_1001_2^5 - 20846/6009*c_1001_2^4 + 5686/6009*c_1001_2^3 + 7623/2003*c_1001_2^2 - 33509/6009*c_1001_2 + 3293/2003, c_1001_2^7 - 9/4*c_1001_2^6 + 41/16*c_1001_2^5 - 31/16*c_1001_2^4 - 9/16*c_1001_2^3 + 47/16*c_1001_2^2 - 9/4*c_1001_2 + 9/16 ], 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_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_6, c_0101_7, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t - 80373940029/69183254*c_1001_2^7 + 137349414417/276733016*c_1001_2^6 - 904919149677/1106932064*c_1001_2^5 + 1106865049203/1106932064*c_1001_2^4 - 2536656054791/1106932064*c_1001_2^3 + 12780367160445/1106932064*c_1001_2^2 - 3877123210851/276733016*c_1001_2 + 5404251676375/1106932064, c_0011_0 - 1, c_0011_10 - 1, c_0011_11 - 51217760/4941661*c_1001_2^7 + 12696328/4941661*c_1001_2^6 - 39430554/4941661*c_1001_2^5 + 35429519/4941661*c_1001_2^4 - 100068405/4941661*c_1001_2^3 + 490602159/4941661*c_1001_2^2 - 538973853/4941661*c_1001_2 + 169072535/4941661, c_0011_12 - 83385728/4941661*c_1001_2^7 + 38070544/4941661*c_1001_2^6 - 57534404/4941661*c_1001_2^5 + 75001767/4941661*c_1001_2^4 - 162560980/4941661*c_1001_2^3 + 832448747/4941661*c_1001_2^2 - 1024960555/4941661*c_1001_2 + 362694913/4941661, c_0011_3 - 13593824/4941661*c_1001_2^7 + 3214104/4941661*c_1001_2^6 - 11779294/4941661*c_1001_2^5 + 6932830/4941661*c_1001_2^4 - 30276697/4941661*c_1001_2^3 + 126595817/4941661*c_1001_2^2 - 145466328/4941661*c_1001_2 + 50205957/4941661, c_0101_0 - 1, c_0101_1 - 13593824/4941661*c_1001_2^7 + 3214104/4941661*c_1001_2^6 - 11779294/4941661*c_1001_2^5 + 6932830/4941661*c_1001_2^4 - 30276697/4941661*c_1001_2^3 + 126595817/4941661*c_1001_2^2 - 145466328/4941661*c_1001_2 + 50205957/4941661, c_0101_10 + 661168/4941661*c_1001_2^7 - 642108/4941661*c_1001_2^6 + 1252451/4941661*c_1001_2^5 - 121431/4941661*c_1001_2^4 + 2453014/4941661*c_1001_2^3 - 7338679/4941661*c_1001_2^2 + 10175861/4941661*c_1001_2 - 7248567/4941661, c_0101_2 + 661168/4941661*c_1001_2^7 - 642108/4941661*c_1001_2^6 + 1252451/4941661*c_1001_2^5 - 121431/4941661*c_1001_2^4 + 2453014/4941661*c_1001_2^3 - 7338679/4941661*c_1001_2^2 + 10175861/4941661*c_1001_2 - 7248567/4941661, c_0101_6 + 433654976/34591627*c_1001_2^7 - 233039776/34591627*c_1001_2^6 + 281823880/34591627*c_1001_2^5 - 428892519/34591627*c_1001_2^4 + 851928003/34591627*c_1001_2^3 - 4411978986/34591627*c_1001_2^2 + 5611549614/34591627*c_1001_2 - 2054523795/34591627, c_0101_7 + 39504560/34591627*c_1001_2^7 - 42705276/34591627*c_1001_2^6 + 25284643/34591627*c_1001_2^5 - 50859463/34591627*c_1001_2^4 + 95002721/34591627*c_1001_2^3 - 426714343/34591627*c_1001_2^2 + 742204908/34591627*c_1001_2 - 344078566/34591627, c_1001_1 - 12932656/4941661*c_1001_2^7 + 2571996/4941661*c_1001_2^6 - 10526843/4941661*c_1001_2^5 + 6811399/4941661*c_1001_2^4 - 27823683/4941661*c_1001_2^3 + 119257138/4941661*c_1001_2^2 - 135290467/4941661*c_1001_2 + 42957390/4941661, c_1001_2^8 - 5/4*c_1001_2^7 + 17/16*c_1001_2^6 - 23/16*c_1001_2^5 + 43/16*c_1001_2^4 - 185/16*c_1001_2^3 + 81/4*c_1001_2^2 - 227/16*c_1001_2 + 7/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.170 Total time: 0.380 seconds, Total memory usage: 32.09MB