Magma V2.19-8 Tue Aug 20 2013 16:14:26 on localhost [Seed = 3246415296] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s431 geometric_solution 4.73729023 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 0 0 0 0 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.349838631622 0.224061632765 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -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 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.623176918096 1.074163904576 1 3 4 3 0132 3201 0132 2310 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.298028930057 1.213265665959 2 4 2 1 3201 0132 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -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.298028930057 1.213265665959 5 3 5 2 0132 0132 2310 0132 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 -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.623176918096 1.074163904576 4 4 5 5 0132 3201 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.349838631622 0.224061632765 ==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' : d['c_0011_3'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0101_0'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_0'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} 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_1, c_0011_3, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 6 Groebner basis: [ t - 26/5*c_0101_1^5 + 112/5*c_0101_1^4 + 26/5*c_0101_1^3 - 277/5*c_0101_1^2 + 29/5*c_0101_1 + 137/5, c_0011_0 - 1, c_0011_1 - 1/5*c_0101_1^5 + 7/5*c_0101_1^4 - 9/5*c_0101_1^3 - 17/5*c_0101_1^2 + 14/5*c_0101_1 + 7/5, c_0011_3 - 1/5*c_0101_1^5 + 7/5*c_0101_1^4 - 9/5*c_0101_1^3 - 17/5*c_0101_1^2 + 14/5*c_0101_1 + 7/5, c_0101_0 + 2/5*c_0101_1^5 - 9/5*c_0101_1^4 + 3/5*c_0101_1^3 + 9/5*c_0101_1^2 - 8/5*c_0101_1 + 1/5, c_0101_1^6 - 4*c_0101_1^5 - 2*c_0101_1^4 + 9*c_0101_1^3 + 2*c_0101_1^2 - 4*c_0101_1 - 1, c_0101_4 + 1 ], Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 30916949227/337028869*c_0101_4^17 - 146069397336/337028869*c_0101_4^16 - 71362769602/337028869*c_0101_4^15 + 1279811702987/337028869*c_0101_4^14 - 976238950094/337028869*c_0101_4^13 - 146671452783/7170827*c_0101_4^12 + 18294861465104/337028869*c_0101_4^11 - 8084883095119/337028869*c_0101_4^10 - 29640161194791/337028869*c_0101_4^9 + 46072379413460/337028869*c_0101_4^8 - 14420625421567/337028869*c_0101_4^7 - 17412049685231/337028869*c_0101_4^6 + 329314032259/7170827*c_0101_4^5 - 2265349984557/337028869*c_0101_4^\ 4 - 2042596250795/337028869*c_0101_4^3 + 761523361607/337028869*c_0101_4^2 + 182025174622/337028869*c_0101_4 - 104572310395/337028869, c_0011_0 - 1, c_0011_1 - 73952466/337028869*c_0101_4^17 + 377078116/337028869*c_0101_4^16 + 57497691/337028869*c_0101_4^15 - 3204385979/337028869*c_0101_4^14 + 3417500561/337028869*c_0101_4^13 + 16348941639/337028869*c_0101_4^12 - 50289040204/337028869*c_0101_4^11 + 31522498677/337028869*c_0101_4^10 + 73072187475/337028869*c_0101_4^9 - 137997890384/337028869*c_0101_4^8 + 56815712034/337028869*c_0101_4^7 + 49465737003/337028869*c_0101_4^6 - 51435770554/337028869*c_0101_4^5 + 7734295437/337028869*c_0101_4^4 + 6746808391/337028869*c_0101_4^3 - 3128778139/337028869*c_0101_4^2 - 638775427/337028869*c_0101_4 + 618494140/337028869, c_0011_3 + 281465271/337028869*c_0101_4^17 - 1333373889/337028869*c_0101_4^16 - 658543387/337028869*c_0101_4^15 + 11764043691/337028869*c_0101_4^14 - 8898620674/337028869*c_0101_4^13 - 63651068555/337028869*c_0101_4^12 + 167447880324/337028869*c_0101_4^11 - 69615165242/337028869*c_0101_4^10 - 280056332970/337028869*c_0101_4^9 + 420336432588/337028869*c_0101_4^8 - 110535943909/337028869*c_0101_4^7 - 176719917480/337028869*c_0101_4^6 + 134331084960/337028869*c_0101_4^5 - 8797797440/337028869*c_0101_4^4 - 19837302090/337028869*c_0101_4^3 + 5074732991/337028869*c_0101_4^2 + 2510283999/337028869*c_0101_4 - 768550928/337028869, c_0101_0 + 1300193559/337028869*c_0101_4^17 - 5957404616/337028869*c_0101_4^16 - 3810532370/337028869*c_0101_4^15 + 53066146960/337028869*c_0101_4^14 - 33543029490/337028869*c_0101_4^13 - 292753505999/337028869*c_0101_4^12 + 725939680189/337028869*c_0101_4^11 - 246861889029/337028869*c_0101_4^10 - 1254150441696/337028869*c_0101_4^9 + 1749053735621/337028869*c_0101_4^8 - 408665684430/337028869*c_0101_4^7 - 723581021204/337028869*c_0101_4^6 + 544231909276/337028869*c_0101_4^5 - 53284379740/337028869*c_0101_4^4 - 76907615133/337028869*c_0101_4^3 + 22892559738/337028869*c_0101_4^2 + 7688846782/337028869*c_0101_4 - 3096057956/337028869, c_0101_1 + 349213866/337028869*c_0101_4^17 - 1695140695/337028869*c_0101_4^16 - 658337516/337028869*c_0101_4^15 + 14821472109/337028869*c_0101_4^14 - 12532006609/337028869*c_0101_4^13 - 78933189603/337028869*c_0101_4^12 + 216785351000/337028869*c_0101_4^11 - 102867886791/337028869*c_0101_4^10 - 350016207968/337028869*c_0101_4^9 + 557158428854/337028869*c_0101_4^8 - 168369431682/337028869*c_0101_4^7 - 222366383659/337028869*c_0101_4^6 + 184548034286/337028869*c_0101_4^5 - 20429246999/337028869*c_0101_4^4 - 26127723288/337028869*c_0101_4^3 + 9292441764/337028869*c_0101_4^2 + 2571251479/337028869*c_0101_4 - 1257852515/337028869, c_0101_4^18 - 5*c_0101_4^17 - c_0101_4^16 + 42*c_0101_4^15 - 43*c_0101_4^14 - 214*c_0101_4^13 + 653*c_0101_4^12 - 426*c_0101_4^11 - 883*c_0101_4^10 + 1753*c_0101_4^9 - 883*c_0101_4^8 - 426*c_0101_4^7 + 653*c_0101_4^6 - 214*c_0101_4^5 - 43*c_0101_4^4 + 42*c_0101_4^3 - c_0101_4^2 - 5*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB