Magma V2.19-8 Wed Aug 21 2013 00:56:26 on localhost [Seed = 2530249893] Type ? for help. Type -D to quit. Loading file "L13n219__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n219 geometric_solution 12.49006602 oriented_manifold CS_known -0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 1 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 0 0 0 0 0 0 0 -1 0 1 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.483167996058 0.448638837590 0 5 6 4 0132 0132 0132 2103 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 0 0 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.419104016473 1.324220827793 7 0 5 8 0132 0132 0132 0132 0 1 0 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 0 0 0 0 0 0 0 0 0 1 -1 0 1 0 0 -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.888574318220 1.031998663010 9 10 9 0 0132 0132 3120 0132 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 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.490956465042 0.704927069228 9 11 0 1 1230 0132 0132 2103 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 -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.573089004178 0.815866924292 12 1 7 2 0132 0132 3120 0132 0 1 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 0 0 0 0 0 0 -1 1 -2 0 2 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.693939665391 0.773971263246 9 11 10 1 3201 0321 3201 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 1 2 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.435572071292 0.581531912472 2 12 5 8 0132 0132 3120 0213 0 1 1 0 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 -1 0 -2 3 -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.123939990791 0.629904531208 12 10 2 7 2310 0213 0132 0213 0 1 1 0 0 0 1 -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 0 0 0 0 0 1 -1 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.520877150321 0.556457833800 3 4 3 6 0132 3012 3120 2310 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 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.490956465042 0.704927069228 6 3 8 11 2310 0132 0213 3120 0 1 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 0 0 0 0 0 0 0 0 3 0 -3 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.695962238581 1.276519598941 10 4 12 6 3120 0132 0132 0321 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 2 -2 -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.064930696008 1.283007704061 5 7 8 11 0132 0132 3201 0132 0 1 0 1 0 1 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 0 0 0 0 0 0 0 2 0 0 -2 -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.441833940763 1.117318170989 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_1001_0'], 'c_1001_12' : negation(d['c_0101_7']), 'c_1001_5' : negation(d['c_1001_11']), 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_1001_11'], 'c_1001_6' : negation(d['c_0011_8']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_11']), 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : d['c_0011_11'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_1001_11'], 'c_1010_11' : d['c_1001_1'], 'c_1010_10' : negation(d['c_0011_11']), 's_3_11' : 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_0101_11'], 'c_0101_10' : d['c_0011_8'], '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_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_7']), 'c_0011_12' : negation(d['c_0011_0']), 'c_1100_5' : negation(d['c_0101_7']), 'c_1100_4' : negation(d['c_0101_0']), 'c_1100_7' : negation(d['c_0101_11']), 'c_1100_6' : negation(d['c_0011_10']), 'c_1100_1' : negation(d['c_0011_10']), 'c_1100_0' : negation(d['c_0101_0']), 'c_1100_3' : negation(d['c_0101_0']), 'c_1100_2' : negation(d['c_0101_7']), 's_0_10' : d['1'], 'c_1100_9' : d['c_0011_6'], 'c_1100_11' : negation(d['c_0011_8']), 'c_1100_10' : negation(d['c_0101_11']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_7']), 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_11'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_11']), 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : negation(d['c_0101_1']), 'c_1010_8' : negation(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'], 'c_1100_12' : negation(d['c_0011_8']), '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' : d['c_0011_10'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_0'], '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_6']), 'c_0110_10' : negation(d['c_0011_6']), 'c_0110_12' : d['c_0101_11'], 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_6'], 'c_0101_5' : d['c_0101_11'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_6']), 'c_0101_2' : d['c_0101_12'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_7'], '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' : negation(d['c_0011_6']), 'c_0110_8' : negation(d['c_0101_12']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0101_12'], 'c_0110_4' : d['c_0011_10'], 'c_0110_7' : d['c_0101_12'], '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_11, c_0011_6, c_0011_8, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_7, c_1001_0, c_1001_1, c_1001_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t + 123036404154076469/235678180041441423*c_1001_11^9 + 721034243127571936/235678180041441423*c_1001_11^8 + 7361408333654354699/235678180041441423*c_1001_11^7 + 31036409350232046434/235678180041441423*c_1001_11^6 + 92408492374879782983/235678180041441423*c_1001_11^5 + 186486575648516744317/235678180041441423*c_1001_11^4 + 219080107459180477021/235678180041441423*c_1001_11^3 + 72367886874935718617/78559393347147141*c_1001_11^2 + 57740651323269868621/78559393347147141*c_1001_11 + 61506996713159371828/235678180041441423, c_0011_0 - 1, c_0011_10 - 137852379515/8032384037403*c_1001_11^9 - 445180584934/8032384037403*c_1001_11^8 - 6974706015638/8032384037403*c_1001_11^7 - 16157874976673/8032384037403*c_1001_11^6 - 55901915366129/8032384037403*c_1001_11^5 - 52587844793701/8032384037403*c_1001_11^4 - 64634884703710/8032384037403*c_1001_11^3 - 13640766142315/2677461345801*c_1001_11^2 - 492057301666/892487115267*c_1001_11 - 8672483417764/8032384037403, c_0011_11 - 194667770104/8032384037403*c_1001_11^9 - 694795598969/8032384037403*c_1001_11^8 - 10045753728013/8032384037403*c_1001_11^7 - 26100407015731/8032384037403*c_1001_11^6 - 85787294859760/8032384037403*c_1001_11^5 - 98717580144083/8032384037403*c_1001_11^4 - 108370844209031/8032384037403*c_1001_11^3 - 26889986230849/2677461345801*c_1001_11^2 - 6644323086914/2677461345801*c_1001_11 - 11689599448586/8032384037403, c_0011_6 - 57419405948/2677461345801*c_1001_11^9 - 200576757728/2677461345801*c_1001_11^8 - 2963762058503/2677461345801*c_1001_11^7 - 2506530648724/892487115267*c_1001_11^6 - 25515099933868/2677461345801*c_1001_11^5 - 28742592837976/2677461345801*c_1001_11^4 - 11800781068148/892487115267*c_1001_11^3 - 23856299377150/2677461345801*c_1001_11^2 - 8847032996929/2677461345801*c_1001_11 - 4136354378330/2677461345801, c_0011_8 - 109687465858/8032384037403*c_1001_11^9 - 400659556721/8032384037403*c_1001_11^8 - 5674244656480/8032384037403*c_1001_11^7 - 15102881499847/8032384037403*c_1001_11^6 - 48582318976483/8032384037403*c_1001_11^5 - 56695106634755/8032384037403*c_1001_11^4 - 57236048229719/8032384037403*c_1001_11^3 - 4412545173158/892487115267*c_1001_11^2 - 2605052140033/2677461345801*c_1001_11 - 7663083367520/8032384037403, c_0101_0 - 101604306995/8032384037403*c_1001_11^9 - 297310223812/8032384037403*c_1001_11^8 - 5012234348702/8032384037403*c_1001_11^7 - 10265467432925/8032384037403*c_1001_11^6 - 36195288210617/8032384037403*c_1001_11^5 - 23417633550484/8032384037403*c_1001_11^4 - 27289026863254/8032384037403*c_1001_11^3 - 3857558705653/2677461345801*c_1001_11^2 + 644448892817/892487115267*c_1001_11 - 3458725850482/8032384037403, c_0101_1 - 1, c_0101_11 - 1, c_0101_12 + 9525347/624942351*c_1001_11^9 + 32940988/624942351*c_1001_11^8 + 488365286/624942351*c_1001_11^7 + 1224977720/624942351*c_1001_11^6 + 4091991401/624942351*c_1001_11^5 + 4465556758/624942351*c_1001_11^4 + 5282765134/624942351*c_1001_11^3 + 1339235762/208314117*c_1001_11^2 + 670364245/208314117*c_1001_11 + 880533334/624942351, c_0101_7 - 14453614886/2677461345801*c_1001_11^9 - 20985163684/892487115267*c_1001_11^8 - 773304944348/2677461345801*c_1001_11^7 - 2487346253776/2677461345801*c_1001_11^6 - 805435996787/297495705089*c_1001_11^5 - 11046603671260/2677461345801*c_1001_11^4 - 9194198247551/2677461345801*c_1001_11^3 - 8509035096440/2677461345801*c_1001_11^2 - 1153900961051/2677461345801*c_1001_11 - 21655220341/892487115267, c_1001_0 + 1098426440/243405576891*c_1001_11^9 + 4480920034/243405576891*c_1001_11^8 + 59468838392/243405576891*c_1001_11^7 + 178557804356/243405576891*c_1001_11^6 + 597170519864/243405576891*c_1001_11^5 + 883945795249/243405576891*c_1001_11^4 + 1131692661832/243405576891*c_1001_11^3 + 98820277138/27045064099*c_1001_11^2 + 61484645750/27045064099*c_1001_11 + 157992653554/243405576891, c_1001_1 + 109687465858/8032384037403*c_1001_11^9 + 400659556721/8032384037403*c_1001_11^8 + 5674244656480/8032384037403*c_1001_11^7 + 15102881499847/8032384037403*c_1001_11^6 + 48582318976483/8032384037403*c_1001_11^5 + 56695106634755/8032384037403*c_1001_11^4 + 57236048229719/8032384037403*c_1001_11^3 + 4412545173158/892487115267*c_1001_11^2 + 2605052140033/2677461345801*c_1001_11 + 7663083367520/8032384037403, c_1001_11^10 + 4*c_1001_11^9 + 53*c_1001_11^8 + 156*c_1001_11^7 + 492*c_1001_11^6 + 688*c_1001_11^5 + 747*c_1001_11^4 + 664*c_1001_11^3 + 327*c_1001_11^2 + 128*c_1001_11 + 61 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.100 Total time: 0.300 seconds, Total memory usage: 32.09MB