Magma V2.19-8 Tue Aug 20 2013 16:17:26 on localhost [Seed = 3482211077] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1667 geometric_solution 5.40155940 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 1.342573482407 0.628092746338 0 2 3 0 3201 0132 0132 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 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.703162532307 0.236931826117 4 1 3 5 0132 0132 1302 0132 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 -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.697360066424 0.437687370606 2 6 4 1 2031 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.697360066424 0.437687370606 2 5 6 3 0132 3120 3120 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 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 1.381687283547 0.365316931202 6 4 2 6 3120 3120 0132 2310 0 0 0 0 0 0 0 0 -1 0 0 1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.219537055076 1.040062844309 5 3 4 5 3201 0132 3120 3120 0 0 0 0 0 0 0 0 -1 0 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 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.219537055076 1.040062844309 ==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_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' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0101_4']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : 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' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_1']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), '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_1'], 'c_0011_6' : 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' : d['c_1001_1'], 'c_1001_4' : negation(d['c_1001_1']), 'c_1001_6' : d['c_1001_1'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(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' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0011_1'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0011_1'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : negation(d['c_0011_1']), 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : d['c_1001_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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_5, c_0101_0, c_0101_4, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 8025990183016268753/3271912657582648722*c_1001_1^13 - 11271207915703149368/1635956328791324361*c_1001_1^12 - 82125352932434542906/1635956328791324361*c_1001_1^11 + 248037164538695798228/1635956328791324361*c_1001_1^10 + 14083294896818369315/48834517277352966*c_1001_1^9 - 1655903766048079584533/1635956328791324361*c_1001_1^8 - 178740784389430464637/142257072068810814*c_1001_1^7 + 3838460836353469616494/1635956328791324361*c_1001_1^6 + 6620486827437590328631/3271912657582648722*c_1001_1^5 - 2491649702109206307429/1090637552527549574*c_1001_1^4 - 4878604727401165957553/3271912657582648722*c_1001_1^3 + 1737069237451646174957/1635956328791324361*c_1001_1^2 + 313505756401289602391/1090637552527549574*c_1001_1 - 534517257915557116105/3271912657582648722, c_0011_0 - 1, c_0011_1 + 1728846244583174/71128536034405407*c_1001_1^13 - 8734515404414591/142257072068810814*c_1001_1^12 - 37092929965900748/71128536034405407*c_1001_1^11 + 196170905051976227/142257072068810814*c_1001_1^10 + 3576323564180873/1061619940812021*c_1001_1^9 - 682248848312746576/71128536034405407*c_1001_1^8 - 1109734781889806852/71128536034405407*c_1001_1^7 + 3138669941654208013/142257072068810814*c_1001_1^6 + 1955046126063268534/71128536034405407*c_1001_1^5 - 540368128015474904/23709512011468469*c_1001_1^4 - 3099801254993612659/142257072068810814*c_1001_1^3 + 1628931663920985347/142257072068810814*c_1001_1^2 + 280485980024606597/47419024022936938*c_1001_1 - 183890945163498865/71128536034405407, c_0011_3 + 193443103154275/142257072068810814*c_1001_1^13 + 406916184198761/71128536034405407*c_1001_1^12 - 4164705229487129/71128536034405407*c_1001_1^11 - 7186534228316969/71128536034405407*c_1001_1^10 + 1759458834385975/2123239881624042*c_1001_1^9 + 24384940385257370/71128536034405407*c_1001_1^8 - 720854798320213951/142257072068810814*c_1001_1^7 - 157989960410537161/71128536034405407*c_1001_1^6 + 1712888823129007547/142257072068810814*c_1001_1^5 + 201991290437501539/47419024022936938*c_1001_1^4 - 1544960825793134821/142257072068810814*c_1001_1^3 - 239936514430232381/71128536034405407*c_1001_1^2 + 169191273846315295/47419024022936938*c_1001_1 + 31485294143778847/142257072068810814, c_0011_5 + 1039068872682745/47419024022936938*c_1001_1^13 - 1308068230324127/23709512011468469*c_1001_1^12 - 21991756884019049/47419024022936938*c_1001_1^11 + 28984257283187464/23709512011468469*c_1001_1^10 + 1027577325072198/353873313604007*c_1001_1^9 - 195674588622234716/23709512011468469*c_1001_1^8 - 628748830854933417/47419024022936938*c_1001_1^7 + 411663755918419029/23709512011468469*c_1001_1^6 + 499310472437749061/23709512011468469*c_1001_1^5 - 767726745790074149/47419024022936938*c_1001_1^4 - 683812992758430971/47419024022936938*c_1001_1^3 + 383112614166134691/47419024022936938*c_1001_1^2 + 60501738658498512/23709512011468469*c_1001_1 - 39815852392646111/23709512011468469, c_0101_0 - 2777322783676367/142257072068810814*c_1001_1^13 + 3873498427022273/71128536034405407*c_1001_1^12 + 56859953444673221/142257072068810814*c_1001_1^11 - 85056836036388098/71128536034405407*c_1001_1^10 - 2444941694694712/1061619940812021*c_1001_1^9 + 565105482337013297/71128536034405407*c_1001_1^8 + 1439185620053690759/142257072068810814*c_1001_1^7 - 1286423824151942116/71128536034405407*c_1001_1^6 - 1172647085549283620/71128536034405407*c_1001_1^5 + 810994071759615195/47419024022936938*c_1001_1^4 + 1857041703079159685/142257072068810814*c_1001_1^3 - 1075507905744469123/142257072068810814*c_1001_1^2 - 97694106619144062/23709512011468469*c_1001_1 + 71140007350423952/71128536034405407, c_0101_4 - 1039068872682745/47419024022936938*c_1001_1^13 + 1308068230324127/23709512011468469*c_1001_1^12 + 21991756884019049/47419024022936938*c_1001_1^11 - 28984257283187464/23709512011468469*c_1001_1^10 - 1027577325072198/353873313604007*c_1001_1^9 + 195674588622234716/23709512011468469*c_1001_1^8 + 628748830854933417/47419024022936938*c_1001_1^7 - 411663755918419029/23709512011468469*c_1001_1^6 - 499310472437749061/23709512011468469*c_1001_1^5 + 767726745790074149/47419024022936938*c_1001_1^4 + 683812992758430971/47419024022936938*c_1001_1^3 - 383112614166134691/47419024022936938*c_1001_1^2 - 60501738658498512/23709512011468469*c_1001_1 + 39815852392646111/23709512011468469, c_1001_1^14 - 3*c_1001_1^13 - 20*c_1001_1^12 + 66*c_1001_1^11 + 107*c_1001_1^10 - 441*c_1001_1^9 - 437*c_1001_1^8 + 1091*c_1001_1^7 + 649*c_1001_1^6 - 1184*c_1001_1^5 - 424*c_1001_1^4 + 645*c_1001_1^3 + 25*c_1001_1^2 - 134*c_1001_1 + 23 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB