Magma V2.19-8 Tue Aug 20 2013 16:14:30 on localhost [Seed = 3751691231] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s496 geometric_solution 4.88044543 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.667485510989 0.737792250057 0 4 2 3 0132 2031 1302 2031 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 0 0 0 0.325686601673 0.745339323784 1 0 2 2 2031 0132 1230 3012 0 0 0 0 0 0 -1 1 0 0 -1 1 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 -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.966219106209 1.269221784245 5 1 5 0 0132 1302 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.737605111497 0.315567207166 1 4 0 4 1302 1302 0132 2031 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 1 -1 0 0 0 0 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.796370566224 1.024630782631 3 5 3 5 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.614688630052 0.105835465910 ==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' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : negation(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' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_3']), 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0110_2'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], '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' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0110_2']), 'c_1001_1' : d['c_0110_2'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : negation(d['c_0110_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0110_2']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : negation(d['c_0110_2'])})} 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_2, c_0101_3, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 821242941/73707088*c_0110_2^13 + 8584181839/589656704*c_0110_2^12 - 5337926405/84236672*c_0110_2^11 - 435954993/84236672*c_0110_2^10 + 33540074431/589656704*c_0110_2^9 - 7640301527/589656704*c_0110_2^8 + 302168351/10529584*c_0110_2^7 - 47702246337/589656704*c_0110_2^6 + 9655789329/147414176*c_0110_2^5 - 1851318555/84236672*c_0110_2^4 + 7197065779/294828352*c_0110_2^3 + 7524732981/589656704*c_0110_2^2 - 11328737297/589656704*c_0110_2 + 179749835/84236672, c_0011_0 - 1, c_0011_3 - 18273/18538*c_0110_2^13 - 116059/148304*c_0110_2^12 + 958583/148304*c_0110_2^11 - 376621/148304*c_0110_2^10 - 1006919/148304*c_0110_2^9 + 839103/148304*c_0110_2^8 - 34468/9269*c_0110_2^7 + 936857/148304*c_0110_2^6 - 154837/37076*c_0110_2^5 + 129877/148304*c_0110_2^4 - 87499/74152*c_0110_2^3 + 104499/148304*c_0110_2^2 + 121637/148304*c_0110_2 + 119035/148304, c_0101_0 - 50769935/9213386*c_0110_2^13 - 40890307/10529584*c_0110_2^12 + 2576131365/73707088*c_0110_2^11 - 216475385/10529584*c_0110_2^10 - 2016134761/73707088*c_0110_2^9 + 3317732813/73707088*c_0110_2^8 - 365081259/9213386*c_0110_2^7 + 2459783091/73707088*c_0110_2^6 - 325523647/18426772*c_0110_2^5 + 23570879/73707088*c_0110_2^4 - 201563865/36853544*c_0110_2^3 + 274070425/73707088*c_0110_2^2 - 55573093/73707088*c_0110_2 + 114795701/73707088, c_0101_2 - 9502/11431*c_0110_2^13 - 3861/45724*c_0110_2^12 + 213197/45724*c_0110_2^11 - 54101/6532*c_0110_2^10 + 100953/45724*c_0110_2^9 + 606551/45724*c_0110_2^8 - 182291/11431*c_0110_2^7 + 383669/45724*c_0110_2^6 - 50965/11431*c_0110_2^5 + 119313/45724*c_0110_2^4 - 29741/22862*c_0110_2^3 + 59287/45724*c_0110_2^2 - 92269/45724*c_0110_2 - 5205/45724, c_0101_3 + 35484387/4606693*c_0110_2^13 + 202466657/36853544*c_0110_2^12 - 1787921711/36853544*c_0110_2^11 + 145305347/5264792*c_0110_2^10 + 1252338069/36853544*c_0110_2^9 - 2192181755/36853544*c_0110_2^8 + 279241359/4606693*c_0110_2^7 - 1841856209/36853544*c_0110_2^6 + 124536250/4606693*c_0110_2^5 - 89297833/36853544*c_0110_2^4 + 184120357/18426772*c_0110_2^3 - 137783071/36853544*c_0110_2^2 + 92799533/36853544*c_0110_2 - 88341397/36853544, c_0110_2^14 + 3/8*c_0110_2^13 - 13/2*c_0110_2^12 + 23/4*c_0110_2^11 + 3*c_0110_2^10 - 9*c_0110_2^9 + 85/8*c_0110_2^8 - 77/8*c_0110_2^7 + 47/8*c_0110_2^6 - 13/8*c_0110_2^5 + 13/8*c_0110_2^4 - 9/8*c_0110_2^3 + 1/2*c_0110_2^2 - 1/2*c_0110_2 + 1/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB