Magma V2.19-8 Tue Aug 20 2013 16:17:19 on localhost [Seed = 627358194] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1551 geometric_solution 5.34216764 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 0 0 0 0 0 1.659508263936 0.195376143244 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 -1 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 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.401903979784 0.598913098506 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 1 0 -1 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 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.211567382781 0.445032546280 2 4 6 5 0132 2310 0132 0132 0 0 0 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 -1 0 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.019120183419 1.029632689031 6 5 2 3 1023 2310 0132 3201 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 1 -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 0 0 0 0.019120183419 1.029632689031 5 5 3 4 1230 3012 0132 3201 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 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.988664368044 1.049063440374 6 4 6 3 2031 1023 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.476296097316 0.494064291515 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : d['c_0101_2'], '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0011_5, c_0101_0, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 67509195552317/213654338427*c_0101_3^12 - 164716994537414/71218112809*c_0101_3^11 + 111632360766275/213654338427*c_0101_3^10 - 5503031147123428/213654338427*c_0101_3^9 + 12957358588154816/213654338427*c_0101_3^8 - 17020156253826583/213654338427*c_0101_3^7 + 16431839287169198/213654338427*c_0101_3^6 - 6046287505124635/213654338427*c_0101_3^5 - 1336422743254950/71218112809*c_0101_3^4 + 2264612980066714/71218112809*c_0101_3^3 - 4265460589207792/213654338427*c_0101_3^2 + 1445796445811273/213654338427*c_0101_3 - 233140361399251/213654338427, c_0011_0 - 1, c_0011_1 - 147138220294/71218112809*c_0101_3^12 - 1070448928456/71218112809*c_0101_3^11 + 301994265555/71218112809*c_0101_3^10 - 11923939579179/71218112809*c_0101_3^9 + 28779800989450/71218112809*c_0101_3^8 - 37518084409777/71218112809*c_0101_3^7 + 35664975961266/71218112809*c_0101_3^6 - 12936244130856/71218112809*c_0101_3^5 - 9793353510878/71218112809*c_0101_3^4 + 15227091256020/71218112809*c_0101_3^3 - 8982242498541/71218112809*c_0101_3^2 + 2856260291741/71218112809*c_0101_3 - 388712572750/71218112809, c_0011_4 - 20830597982/71218112809*c_0011_5*c_0101_3^12 - 159902073482/71218112809*c_0011_5*c_0101_3^11 - 21910537896/71218112809*c_0011_5*c_0101_3^10 - 1703634833070/71218112809*c_0011_5*c_0101_3^9 + 3366848381916/71218112809*c_0011_5*c_0101_3^8 - 4021848342754/71218112809*c_0011_5*c_0101_3^7 + 3284547633279/71218112809*c_0011_5*c_0101_3^6 - 312687988620/71218112809*c_0011_5*c_0101_3^5 - 1667888359139/71218112809*c_0011_5*c_0101_3^4 + 1742608896569/71218112809*c_0011_5*c_0101_3^3 - 456749355722/71218112809*c_0011_5*c_0101_3^2 + 41674044811/71218112809*c_0011_5*c_0101_3 + 18920764693/71218112809*c_0011_5, c_0011_5^2 - 17632483/71218112809*c_0101_3^12 + 51123629401/71218112809*c_0101_3^11 + 386009788267/71218112809*c_0101_3^10 - 17938960343/71218112809*c_0101_3^9 + 4072904908002/71218112809*c_0101_3^8 - 9018984622726/71218112809*c_0101_3^7 + 9943410339505/71218112809*c_0101_3^6 - 8466287347447/71218112809*c_0101_3^5 + 822963134197/71218112809*c_0101_3^4 + 4772421358793/71218112809*c_0101_3^3 - 3922442933511/71218112809*c_0101_3^2 + 1341584250571/71218112809*c_0101_3 - 170346370456/71218112809, c_0101_0 + 38054413138/71218112809*c_0101_3^12 + 274826895792/71218112809*c_0101_3^11 - 78787928786/71218112809*c_0101_3^10 + 3197402721920/71218112809*c_0101_3^9 - 7583947980952/71218112809*c_0101_3^8 + 11217027309761/71218112809*c_0101_3^7 - 11924895417673/71218112809*c_0101_3^6 + 5964450435421/71218112809*c_0101_3^5 + 594637486940/71218112809*c_0101_3^4 - 4329800746940/71218112809*c_0101_3^3 + 3714337939477/71218112809*c_0101_3^2 - 1583847829620/71218112809*c_0101_3 + 313362425522/71218112809, c_0101_2 - 3944934245/71218112809*c_0101_3^12 - 35113273499/71218112809*c_0101_3^11 - 53471619514/71218112809*c_0101_3^10 - 426483616948/71218112809*c_0101_3^9 + 192862886071/71218112809*c_0101_3^8 - 983186725188/71218112809*c_0101_3^7 + 1299701576706/71218112809*c_0101_3^6 - 850780831675/71218112809*c_0101_3^5 + 845693322104/71218112809*c_0101_3^4 + 270137872007/71218112809*c_0101_3^3 - 553504404764/71218112809*c_0101_3^2 + 327281889711/71218112809*c_0101_3 - 84177683318/71218112809, c_0101_3^13 + 7*c_0101_3^12 - 4*c_0101_3^11 + 82*c_0101_3^10 - 218*c_0101_3^9 + 313*c_0101_3^8 - 323*c_0101_3^7 + 166*c_0101_3^6 + 32*c_0101_3^5 - 120*c_0101_3^4 + 95*c_0101_3^3 - 41*c_0101_3^2 + 10*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB