Magma V2.19-8 Tue Aug 20 2013 16:18:26 on localhost [Seed = 1242290047] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2633 geometric_solution 5.90971046 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 2310 0 0 0 0 0 -1 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.137020490043 1.453214509823 0 3 3 0 0132 0132 3201 3201 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 -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.351953987111 0.588781960127 0 4 5 0 3201 0132 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 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.177469244772 0.629415386933 1 1 5 4 2310 0132 1302 1302 0 0 0 0 0 -1 1 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 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.085325623628 0.817920951966 5 2 3 6 2310 0132 2031 0132 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 -1 0 1 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.022608798054 0.950945541964 3 6 4 2 2031 2310 3201 0132 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 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.022608798054 0.950945541964 6 6 4 5 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.345156280800 0.692861076434 ==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' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : 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_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(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_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : d['c_0101_4'], 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_5']), 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_2']), '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' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0011_5'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0011_6']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : negation(d['c_0101_4']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0011_6']), 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), '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_2, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 1638861178969/212851980*c_0101_4^9 - 571220561563/35475330*c_0101_4^8 - 18840029386529/212851980*c_0101_4^7 - 37387410208801/212851980*c_0101_4^6 - 2829691537883/9675090*c_0101_4^5 - 3019368915227/10642599*c_0101_4^4 - 2264171619313/17737665*c_0101_4^3 - 14155041915407/212851980*c_0101_4^2 - 242319875033/5912555*c_0101_4 - 470185908304/53212995, c_0011_0 - 1, c_0011_2 - 378679805/2365022*c_0101_4^9 + 393759833/1182511*c_0101_4^8 + 4364770825/2365022*c_0101_4^7 + 4341557347/1182511*c_0101_4^6 + 1314772923/215002*c_0101_4^5 + 7041144689/1182511*c_0101_4^4 + 6376110089/2365022*c_0101_4^3 + 1648309598/1182511*c_0101_4^2 + 2040578101/2365022*c_0101_4 + 443101353/2365022, c_0011_5 + 136979346/1182511*c_0101_1*c_0101_4^9 - 1138389127/4730044*c_0101_1*c_0101_4^8 - 1579713297/1182511*c_0101_1*c_0101_4^7 - 12573335911/4730044*c_0101_1*c_0101_4^6 - 1903521747/430004*c_0101_1*c_0101_4^5 - 5099080264/1182511*c_0101_1*c_0101_4^4 - 4617643915/2365022*c_0101_1*c_0101_4^3 - 2384833015/2365022*c_0101_1*c_0101_4^2 - 2964785553/4730044*c_0101_1*c_0101_4 - 161589265/1182511*c_0101_1, c_0011_6 - 232551137/4730044*c_0101_1*c_0101_4^9 + 239007597/2365022*c_0101_1*c_0101_4^8 + 1347413409/2365022*c_0101_1*c_0101_4^7 + 5390447241/4730044*c_0101_1*c_0101_4^6 + 408235301/215002*c_0101_1*c_0101_4^5 + 8809935583/4730044*c_0101_1*c_0101_4^4 + 2020440093/2365022*c_0101_1*c_0101_4^3 + 1025204117/2365022*c_0101_1*c_0101_4^2 + 320933677/1182511*c_0101_1*c_0101_4 + 143276213/2365022*c_0101_1, c_0101_0 - 369885047/2365022*c_0101_1*c_0101_4^9 + 384846529/1182511*c_0101_1*c_0101_4^8 + 8525377015/4730044*c_0101_1*c_0101_4^7 + 4237823776/1182511*c_0101_1*c_0101_4^6 + 2565920805/430004*c_0101_1*c_0101_4^5 + 27464172603/4730044*c_0101_1*c_0101_4^4 + 6203488451/2365022*c_0101_1*c_0101_4^3 + 3207271833/2365022*c_0101_1*c_0101_4^2 + 996612033/1182511*c_0101_1*c_0101_4 + 863736613/4730044*c_0101_1, c_0101_1^2 + 81153331/2365022*c_0101_4^9 - 84256344/1182511*c_0101_4^8 - 936120623/2365022*c_0101_4^7 - 1863174519/2365022*c_0101_4^6 - 282175739/215002*c_0101_4^5 - 1512738580/1182511*c_0101_4^4 - 685959372/1182511*c_0101_4^3 - 354164148/1182511*c_0101_4^2 - 218967434/1182511*c_0101_4 - 96802447/2365022, c_0101_4^10 - 12/7*c_0101_4^9 - 86/7*c_0101_4^8 - 190/7*c_0101_4^7 - 326/7*c_0101_4^6 - 358/7*c_0101_4^5 - 213/7*c_0101_4^4 - 104/7*c_0101_4^3 - 60/7*c_0101_4^2 - 22/7*c_0101_4 - 3/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB