Magma V2.19-8 Tue Aug 20 2013 16:19:00 on localhost [Seed = 1899031577] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3147 geometric_solution 6.30383319 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 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 0 1 -1 -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.650093045727 1.135068022905 0 5 2 3 0132 0132 1302 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.620050906165 0.663394370357 1 0 2 2 2031 0132 1230 3012 0 0 0 0 0 1 -1 0 0 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.385913193556 1.010874063361 6 1 6 0 0132 1302 1023 0132 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 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.496317507504 0.492238941297 5 6 0 5 0213 2310 0132 1302 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 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.103563419894 1.271425345528 4 1 4 6 0213 0132 2031 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.370409825834 0.525356116929 3 5 3 4 0132 0321 1023 3201 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 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.393025927128 0.386334562157 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : negation(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' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0110_2'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_4'], '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' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(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_0011_3'], 'c_1001_4' : negation(d['c_0110_2']), 'c_1001_6' : d['c_0101_3'], '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_0011_3'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0110_2'], 'c_1010_5' : d['c_0110_2'], 'c_1010_4' : negation(d['c_0101_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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0101_0, c_0101_2, c_0101_3, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 43149850995/735838502*c_0110_2^15 - 36987179662/1103757753*c_0110_2^14 - 110556929473/1103757753*c_0110_2^13 - 270181992579/735838502*c_0110_2^12 - 1653777814/367919251*c_0110_2^11 + 767809319731/2207515506*c_0110_2^10 + 461409928121/735838502*c_0110_2^9 + 1123815123827/1103757753*c_0110_2^8 + 709400213231/2207515506*c_0110_2^7 + 94495281263/315359358*c_0110_2^6 - 686215287442/1103757753*c_0110_2^5 - 509383240095/735838502*c_0110_2^4 - 817346722561/1103757753*c_0110_2^3 - 171344662267/315359358*c_0110_2^2 - 78173067367/367919251*c_0110_2 - 125860108175/1103757753, c_0011_0 - 1, c_0011_3 - 165478875/1471677004*c_0110_2^15 - 134196295/367919251*c_0110_2^14 - 1135401543/1471677004*c_0110_2^13 + 2063073253/1471677004*c_0110_2^12 + 1036401986/367919251*c_0110_2^11 + 1432315907/367919251*c_0110_2^10 - 2974195843/1471677004*c_0110_2^9 - 5074272305/1471677004*c_0110_2^8 - 1680711717/735838502*c_0110_2^7 - 1336860857/210239572*c_0110_2^6 + 443431925/1471677004*c_0110_2^5 - 607318650/367919251*c_0110_2^4 + 1650921688/367919251*c_0110_2^3 + 201811223/105119786*c_0110_2^2 + 611588464/367919251*c_0110_2 + 1283314491/1471677004, c_0011_4 + 165478875/1471677004*c_0110_2^15 + 134196295/367919251*c_0110_2^14 + 1135401543/1471677004*c_0110_2^13 - 2063073253/1471677004*c_0110_2^12 - 1036401986/367919251*c_0110_2^11 - 1432315907/367919251*c_0110_2^10 + 2974195843/1471677004*c_0110_2^9 + 5074272305/1471677004*c_0110_2^8 + 1680711717/735838502*c_0110_2^7 + 1336860857/210239572*c_0110_2^6 - 443431925/1471677004*c_0110_2^5 + 607318650/367919251*c_0110_2^4 - 1650921688/367919251*c_0110_2^3 - 201811223/105119786*c_0110_2^2 - 611588464/367919251*c_0110_2 - 1283314491/1471677004, c_0101_0 + 1992004255/735838502*c_0110_2^15 - 7453216/367919251*c_0110_2^14 - 596041697/735838502*c_0110_2^13 - 9557646127/735838502*c_0110_2^12 - 2108552171/367919251*c_0110_2^11 - 1042777361/367919251*c_0110_2^10 + 1507636845/735838502*c_0110_2^9 + 16738583805/735838502*c_0110_2^8 + 575448155/367919251*c_0110_2^7 + 1846827313/105119786*c_0110_2^6 - 4207323479/735838502*c_0110_2^5 - 1793220930/367919251*c_0110_2^4 - 2189317545/367919251*c_0110_2^3 - 354618528/52559893*c_0110_2^2 - 263325277/367919251*c_0110_2 - 517473361/735838502, c_0101_2 - 310015/202348*c_0110_2^15 + 4864/50587*c_0110_2^14 + 376317/202348*c_0110_2^13 + 1295581/202348*c_0110_2^12 + 97570/50587*c_0110_2^11 - 175457/50587*c_0110_2^10 + 191405/202348*c_0110_2^9 - 2382069/202348*c_0110_2^8 - 456419/101174*c_0110_2^7 - 527627/202348*c_0110_2^6 - 61199/202348*c_0110_2^5 + 385042/50587*c_0110_2^4 + 89036/50587*c_0110_2^3 + 390689/101174*c_0110_2^2 + 72058/50587*c_0110_2 - 66893/202348, c_0101_3 - 4842759225/1471677004*c_0110_2^15 + 35790105/735838502*c_0110_2^14 + 5427488597/1471677004*c_0110_2^13 + 23344355539/1471677004*c_0110_2^12 + 2888671833/735838502*c_0110_2^11 - 6152937865/735838502*c_0110_2^10 - 8579112963/1471677004*c_0110_2^9 - 32611919535/1471677004*c_0110_2^8 - 1037919905/367919251*c_0110_2^7 - 1503819897/210239572*c_0110_2^6 + 12920279647/1471677004*c_0110_2^5 + 6892384167/735838502*c_0110_2^4 + 4310466127/735838502*c_0110_2^3 + 171547317/52559893*c_0110_2^2 + 338166645/735838502*c_0110_2 - 694271845/1471677004, c_0110_2^16 + 3/5*c_0110_2^15 - 1/5*c_0110_2^14 - 26/5*c_0110_2^13 - 5*c_0110_2^12 - 14/5*c_0110_2^11 + 3/5*c_0110_2^10 + 44/5*c_0110_2^9 + 31/5*c_0110_2^8 + 9*c_0110_2^7 + 6/5*c_0110_2^6 - 9/5*c_0110_2^5 - 22/5*c_0110_2^4 - 24/5*c_0110_2^3 - 12/5*c_0110_2^2 - 7/5*c_0110_2 - 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB