Magma V2.19-8 Tue Aug 20 2013 16:14:19 on localhost [Seed = 2665415355] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s295 geometric_solution 4.46225941 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 6 1 2 2 3 0132 0132 3120 0132 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 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.223388790244 0.828568749269 0 4 2 4 0132 0132 3201 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.540683478639 2.661169096784 1 0 0 3 2310 0132 3120 1023 0 0 0 0 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 -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.223388790244 0.828568749269 3 3 0 2 1302 2031 0132 1023 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 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.602187043946 0.642475101519 5 1 5 1 0132 0132 2310 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.557156062242 0.226229322224 4 4 5 5 0132 3201 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.503045300803 0.079208862499 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['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_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_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_5' : d['c_0101_4'], 'c_1100_4' : negation(d['c_0011_0']), 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0101_0'], 'c_1100_2' : negation(d['c_0101_0']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_0']), 'c_0011_4' : 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_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0110_3'], 'c_1001_3' : negation(d['c_0110_3']), 'c_1001_2' : negation(d['c_0110_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : d['c_0110_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0110_3'], 'c_1010_1' : d['c_0101_5'], 'c_1010_0' : negation(d['c_0110_3'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0101_0, c_0101_4, c_0101_5, c_0110_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 10248701*c_0110_3^24 + 119037553*c_0110_3^23 + 569060362*c_0110_3^22 + 918240625*c_0110_3^21 - 2363336827*c_0110_3^20 - 14945859830*c_0110_3^19 - 30540044918*c_0110_3^18 - 15618061673*c_0110_3^17 + 61710172659*c_0110_3^16 + 156189029849*c_0110_3^15 + 139661790306*c_0110_3^14 - 48322792302*c_0110_3^13 - 262834785312*c_0110_3^12 - 279232642986*c_0110_3^11 - 70284142616*c_0110_3^10 + 153429198767*c_0110_3^9 + 203008309219*c_0110_3^8 + 102657685954*c_0110_3^7 - 5848621668*c_0110_3^6 - 44226436263*c_0110_3^5 - 32309948556*c_0110_3^4 - 12933723546*c_0110_3^3 - 3135522721*c_0110_3^2 - 433413723*c_0110_3 - 26348210, c_0011_0 - 1, c_0011_3 + 3379710*c_0110_3^24 + 39052360*c_0110_3^23 + 185406543*c_0110_3^22 + 292680727*c_0110_3^21 - 792461358*c_0110_3^20 - 4875436270*c_0110_3^19 - 9802255656*c_0110_3^18 - 4680663674*c_0110_3^17 + 20424742225*c_0110_3^16 + 50249201359*c_0110_3^15 + 43595143225*c_0110_3^14 - 17469497335*c_0110_3^13 - 84954664469*c_0110_3^12 - 87743756044*c_0110_3^11 - 19820269779*c_0110_3^10 + 50311781300*c_0110_3^9 + 64054309424*c_0110_3^8 + 31281565833*c_0110_3^7 - 2675868223*c_0110_3^6 - 14096239508*c_0110_3^5 - 10023884623*c_0110_3^4 - 3940985353*c_0110_3^3 - 939954536*c_0110_3^2 - 127841848*c_0110_3 - 7644713, c_0101_0 - 2736513*c_0110_3^24 - 31605803*c_0110_3^23 - 149961034*c_0110_3^22 - 236258992*c_0110_3^21 + 642577342*c_0110_3^20 + 3943783369*c_0110_3^19 + 7917622841*c_0110_3^18 + 3756493787*c_0110_3^17 - 16542842452*c_0110_3^16 - 40596599623*c_0110_3^15 - 35123535436*c_0110_3^14 + 14253418113*c_0110_3^13 + 68663890099*c_0110_3^12 + 70736643631*c_0110_3^11 + 15810320783*c_0110_3^10 - 40715849937*c_0110_3^9 - 51658360087*c_0110_3^8 - 25145966936*c_0110_3^7 + 2219284360*c_0110_3^6 + 11378733876*c_0110_3^5 + 8071460138*c_0110_3^4 + 3168019995*c_0110_3^3 + 754422754*c_0110_3^2 + 102447301*c_0110_3 + 6116223, c_0101_4 - 173088*c_0110_3^24 - 2025411*c_0110_3^23 - 9781053*c_0110_3^22 - 16295030*c_0110_3^21 + 38787137*c_0110_3^20 + 256208664*c_0110_3^19 + 536679446*c_0110_3^18 + 302709265*c_0110_3^17 - 1030513880*c_0110_3^16 - 2732394867*c_0110_3^15 - 2561753647*c_0110_3^14 + 669698258*c_0110_3^13 + 4554564138*c_0110_3^12 + 5071587061*c_0110_3^11 + 1494455884*c_0110_3^10 - 2580749698*c_0110_3^9 - 3661184731*c_0110_3^8 - 1965325436*c_0110_3^7 + 17528117*c_0110_3^6 + 781574766*c_0110_3^5 + 601331142*c_0110_3^4 + 249300359*c_0110_3^3 + 62470935*c_0110_3^2 + 8937566*c_0110_3 + 563730, c_0101_5 + 1383513*c_0110_3^24 + 16104563*c_0110_3^23 + 77210454*c_0110_3^22 + 125709792*c_0110_3^21 - 316788165*c_0110_3^20 - 2026880858*c_0110_3^19 - 4169262555*c_0110_3^18 - 2189195085*c_0110_3^17 + 8318611399*c_0110_3^16 + 21302616172*c_0110_3^15 + 19277261784*c_0110_3^14 - 6262404124*c_0110_3^13 - 35781508582*c_0110_3^12 - 38441971953*c_0110_3^11 - 10061137066*c_0110_3^10 + 20766082097*c_0110_3^9 + 27903379525*c_0110_3^8 + 14297934006*c_0110_3^7 - 663660450*c_0110_3^6 - 6055014569*c_0110_3^5 - 4469694069*c_0110_3^4 - 1801224288*c_0110_3^3 - 439253859*c_0110_3^2 - 61065140*c_0110_3 - 3733626, c_0110_3^25 + 12*c_0110_3^24 + 60*c_0110_3^23 + 111*c_0110_3^22 - 196*c_0110_3^21 - 1547*c_0110_3^20 - 3542*c_0110_3^19 - 2674*c_0110_3^18 + 5430*c_0110_3^17 + 17558*c_0110_3^16 + 19508*c_0110_3^15 + 556*c_0110_3^14 - 27447*c_0110_3^13 - 37138*c_0110_3^12 - 17391*c_0110_3^11 + 12298*c_0110_3^10 + 25576*c_0110_3^9 + 17672*c_0110_3^8 + 3311*c_0110_3^7 - 4528*c_0110_3^6 - 4819*c_0110_3^5 - 2482*c_0110_3^4 - 795*c_0110_3^3 - 161*c_0110_3^2 - 19*c_0110_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB