Magma V2.19-8 Tue Aug 20 2013 16:18:08 on localhost [Seed = 2884253328] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2353 geometric_solution 5.72938137 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 -1 0 1 0 0 -1 1 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.444463022324 0.253639166400 2 0 3 0 0132 2310 0132 0132 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 0 0 0 0 0 0 -1 1 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.858337212551 0.714892099460 1 4 5 5 0132 0132 0132 3201 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 -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.517396861012 1.478085979062 5 5 4 1 2310 1023 0132 0132 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 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.517396861012 1.478085979062 6 2 6 3 0132 0132 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.858337212551 0.714892099460 3 2 3 2 1023 2310 3201 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.210972481237 0.602700731261 4 4 6 6 0132 3201 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.444463022324 0.253639166400 ==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' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(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' : negation(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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_4'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), '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' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 40 Groebner basis: [ t + 1044002181055549/68819520000*c_0101_4^19 - 685234647095329/17204880000*c_0101_4^18 - 22950082845258817/68819520000*c_0101_4^17 + 47777774173211219/68819520000*c_0101_4^16 + 2537816818140509/1228920000*c_0101_4^15 + 396738365280990673/68819520000*c_0101_4^14 - 382177296491249227/8602440000*c_0101_4^13 + 597963362414540601/22939840000*c_0101_4^12 + 582516688732727669/13763904000*c_0101_4^11 + 932172698478964969/5734960000*c_0101_4^10 - 384758552613457723/1146992000*c_0101_4^9 + 1454833519695909613/68819520000*c_0101_4^8 + 924962879215866453/22939840000*c_0101_4^7 + 496956766341360181/8602440000*c_0101_4^6 - 572030422154658377/22939840000*c_0101_4^5 - 662350355238577/153615000*c_0101_4^4 + 12808044525929383/68819520000*c_0101_4^3 + 60965138719284299/68819520000*c_0101_4^2 + 217706814147041/17204880000*c_0101_4 - 559352247461867/13763904000, c_0011_0 - 1, c_0011_1 + 2961969/343000*c_0101_4^19 - 220413/8575*c_0101_4^18 - 251018039/1372000*c_0101_4^17 + 2843906/6125*c_0101_4^16 + 9102846/8575*c_0101_4^15 + 554321333/196000*c_0101_4^14 - 93116923/3500*c_0101_4^13 + 996669753/42875*c_0101_4^12 + 1072697151/49000*c_0101_4^11 + 114292799247/1372000*c_0101_4^10 - 311119479247/1372000*c_0101_4^9 + 12979323621/196000*c_0101_4^8 + 52212193629/1372000*c_0101_4^7 + 186421059/6125*c_0101_4^6 - 163014244/6125*c_0101_4^5 - 67135759/34300*c_0101_4^4 + 218036683/196000*c_0101_4^3 + 287633691/343000*c_0101_4^2 - 3272021/68600*c_0101_4 - 61803401/1372000, c_0011_3 + 19014905817/54880000*c_0101_4^19 - 999798593/1097600*c_0101_4^18 - 417852826943/54880000*c_0101_4^17 + 124537204289/7840000*c_0101_4^16 + 258604385719/5488000*c_0101_4^15 + 1030801932481/7840000*c_0101_4^14 - 35533532189/35000*c_0101_4^13 + 32858542378887/54880000*c_0101_4^12 + 7573635466653/7840000*c_0101_4^11 + 25440931041313/6860000*c_0101_4^10 - 52660792741553/6860000*c_0101_4^9 + 3948329687587/7840000*c_0101_4^8 + 50977995336633/54880000*c_0101_4^7 + 323149696603/245000*c_0101_4^6 - 4503915566721/7840000*c_0101_4^5 - 540907976951/5488000*c_0101_4^4 + 36766598271/7840000*c_0101_4^3 + 1118300929663/54880000*c_0101_4^2 + 1471018373/5488000*c_0101_4 - 51469380377/54880000, c_0101_0 - 2235785131/5880000*c_0101_3*c_0101_4^19 + 13678486599/13720000*c_0101_3*c_0101_4^18 + 6883291819/823200*c_0101_3*c_0101_4^17 - 715012783019/41160000*c_0101_3*c_0101_4^16 - 2132515755073/41160000*c_0101_3*c_0101_4^15 - 119107947109/823200*c_0101_3*c_0101_4^14 + 11452579942819/10290000*c_0101_3*c_0101_4^13 - 42788473247/65856*c_0101_3*c_0101_4^12 - 21852715564691/20580000*c_0101_3*c_0101_4^11 - 41962420562221/10290000*c_0101_3*c_0101_4^10 + 881233107449/105000*c_0101_3*c_0101_4^9 - 20834532067789/41160000*c_0101_3*c_0101_4^8 - 20681556880247/20580000*c_0101_3*c_0101_4^7 - 2982141201413/2058000*c_0101_3*c_0101_4^6 + 25507949760871/41160000*c_0101_3*c_0101_4^5 + 4464893171077/41160000*c_0101_3*c_0101_4^4 - 17528970913/4116000*c_0101_3*c_0101_4^3 - 302690205553/13720000*c_0101_3*c_0101_4^2 - 14320992373/41160000*c_0101_3*c_0101_4 + 20779682537/20580000*c_0101_3, c_0101_1 + 1316731/343000*c_0101_4^19 - 2832409/171500*c_0101_4^18 - 95785953/1372000*c_0101_4^17 + 221198171/686000*c_0101_4^16 + 27540517/98000*c_0101_4^15 + 679631747/1372000*c_0101_4^14 - 2407291821/171500*c_0101_4^13 + 1047757161/42875*c_0101_4^12 + 2090466807/343000*c_0101_4^11 + 29516548953/1372000*c_0101_4^10 - 220832265447/1372000*c_0101_4^9 + 164914949653/1372000*c_0101_4^8 + 58610081077/1372000*c_0101_4^7 + 1602216529/171500*c_0101_4^6 - 5623118141/171500*c_0101_4^5 - 685513/6125*c_0101_4^4 + 3042279867/1372000*c_0101_4^3 + 644843761/686000*c_0101_4^2 - 76722811/686000*c_0101_4 - 77546201/1372000, c_0101_3^2 + 69387/343000*c_0101_4^19 - 2212643/1372000*c_0101_4^18 - 68759/34300*c_0101_4^17 + 11639529/343000*c_0101_4^16 - 2528839/196000*c_0101_4^15 - 5850331/68600*c_0101_4^14 - 364584711/343000*c_0101_4^13 + 229314129/68600*c_0101_4^12 - 264313797/1372000*c_0101_4^11 - 1558175119/1372000*c_0101_4^10 - 23701847697/1372000*c_0101_4^9 + 26762955981/1372000*c_0101_4^8 + 2101636569/343000*c_0101_4^7 - 6518173/68600*c_0101_4^6 - 1645845391/343000*c_0101_4^5 + 16622791/196000*c_0101_4^4 + 25537473/68600*c_0101_4^3 + 11374561/85750*c_0101_4^2 - 26259773/1372000*c_0101_4 - 2961969/343000, c_0101_4^20 - 3*c_0101_4^19 - 21*c_0101_4^18 + 54*c_0101_4^17 + 119*c_0101_4^16 + 329*c_0101_4^15 - 3071*c_0101_4^14 + 2815*c_0101_4^13 + 2148*c_0101_4^12 + 9669*c_0101_4^11 - 26128*c_0101_4^10 + 9669*c_0101_4^9 + 2148*c_0101_4^8 + 2815*c_0101_4^7 - 3071*c_0101_4^6 + 329*c_0101_4^5 + 119*c_0101_4^4 + 54*c_0101_4^3 - 21*c_0101_4^2 - 3*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB