Magma V2.19-8 Tue Aug 20 2013 16:18:18 on localhost [Seed = 3684321004] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2507 geometric_solution 5.82935126 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 -1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.514515143432 0.713667080434 0 5 6 4 0132 0132 0132 0321 0 0 0 0 0 1 0 -1 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 -1 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.695495795478 0.498256805119 3 0 2 2 1230 0132 2031 1302 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.856766004592 1.174052923207 4 2 5 0 0321 3012 3120 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.651643313951 0.957921498603 3 1 0 5 0321 0321 0132 3120 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 -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 -1.383123829051 0.391305619402 4 1 3 6 3120 0132 3120 1230 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 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.893019631866 1.461237979885 5 6 6 1 3012 3201 2310 0132 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 -1 0 1 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.572958312246 0.464968181186 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : 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' : 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_0011_3']), 'c_1100_5' : d['c_0101_1'], 'c_1100_4' : negation(d['c_0101_5']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : negation(d['c_0101_5']), 'c_1100_3' : negation(d['c_0101_5']), 'c_1100_2' : d['c_0101_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_4']), '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' : negation(d['c_0011_0']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_6'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : negation(d['c_0011_4']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_6'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0011_3'])})} 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_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 19310860229511/1755784943840*c_0101_6^17 + 40930060986389/1755784943840*c_0101_6^16 - 8954844368057/175578494384*c_0101_6^15 - 179712812341793/1755784943840*c_0101_6^14 + 7154700117489/438946235960*c_0101_6^13 - 71927563912301/1755784943840*c_0101_6^12 + 81346572469527/877892471920*c_0101_6^11 + 42511704088055/351156988768*c_0101_6^10 + 80955065598803/438946235960*c_0101_6^9 + 722252687796757/1755784943840*c_0101_6^8 - 92267342744253/351156988768*c_0101_6^7 - 8130642944639/1755784943840*c_0101_6^6 + 9891010252923/219473117980*c_0101_6^5 - 878234285151351/1755784943840*c_0101_6^4 - 198501793279163/877892471920*c_0101_6^3 + 14449233805845/175578494384*c_0101_6^2 - 24031197673017/438946235960*c_0101_6 - 92507275947219/1755784943840, c_0011_0 - 1, c_0011_3 + 3053092747/54868279495*c_0101_6^17 + 21318850547/219473117980*c_0101_6^16 - 3616379857/10973655899*c_0101_6^15 - 56192167127/109736558990*c_0101_6^14 + 68367688593/219473117980*c_0101_6^13 + 31423583997/219473117980*c_0101_6^12 + 51585287778/54868279495*c_0101_6^11 + 12207458763/21947311798*c_0101_6^10 + 91285638761/219473117980*c_0101_6^9 + 289928816821/219473117980*c_0101_6^8 - 68802693521/21947311798*c_0101_6^7 - 144977486507/219473117980*c_0101_6^6 - 70969955469/109736558990*c_0101_6^5 - 216648269909/109736558990*c_0101_6^4 + 136628649207/219473117980*c_0101_6^3 + 33861351973/43894623596*c_0101_6^2 + 324593325971/219473117980*c_0101_6 + 11195075903/219473117980, c_0011_4 + 7555137553/87789247192*c_0101_6^17 + 35066017903/438946235960*c_0101_6^16 - 118229490413/219473117980*c_0101_6^15 - 74253093839/438946235960*c_0101_6^14 + 7749200186/10973655899*c_0101_6^13 - 510066658607/438946235960*c_0101_6^12 + 278185281967/219473117980*c_0101_6^11 - 87746685147/438946235960*c_0101_6^10 + 57839975504/54868279495*c_0101_6^9 + 954415454319/438946235960*c_0101_6^8 - 2015438218263/438946235960*c_0101_6^7 + 2433441252703/438946235960*c_0101_6^6 - 14719968371/10973655899*c_0101_6^5 - 1823889942213/438946235960*c_0101_6^4 + 127013827495/43894623596*c_0101_6^3 - 292169491739/219473117980*c_0101_6^2 - 330020512233/109736558990*c_0101_6 - 91170329837/438946235960, c_0101_1 - 64910099603/438946235960*c_0101_6^17 - 18043648619/87789247192*c_0101_6^16 + 205191645163/219473117980*c_0101_6^15 + 421409612653/438946235960*c_0101_6^14 - 266737486249/219473117980*c_0101_6^13 + 30708441211/87789247192*c_0101_6^12 - 457980776393/219473117980*c_0101_6^11 - 348064687703/438946235960*c_0101_6^10 - 275152447489/219473117980*c_0101_6^9 - 292405043791/87789247192*c_0101_6^8 + 3885046498653/438946235960*c_0101_6^7 - 487722200651/438946235960*c_0101_6^6 + 77749645037/109736558990*c_0101_6^5 + 2778918046591/438946235960*c_0101_6^4 - 163863066884/54868279495*c_0101_6^3 - 179005180259/54868279495*c_0101_6^2 - 275739271477/219473117980*c_0101_6 - 60165839571/438946235960, c_0101_2 + 32236371121/438946235960*c_0101_6^17 - 32219978313/438946235960*c_0101_6^16 - 145737906183/219473117980*c_0101_6^15 + 292434446673/438946235960*c_0101_6^14 + 76911908702/54868279495*c_0101_6^13 - 790633007223/438946235960*c_0101_6^12 + 454871456689/219473117980*c_0101_6^11 - 900276614387/438946235960*c_0101_6^10 + 24446757673/54868279495*c_0101_6^9 + 899336551/438946235960*c_0101_6^8 - 3555905739063/438946235960*c_0101_6^7 + 4810304757739/438946235960*c_0101_6^6 - 282717079602/54868279495*c_0101_6^5 - 733448459209/438946235960*c_0101_6^4 + 1756784226737/219473117980*c_0101_6^3 - 474894593419/219473117980*c_0101_6^2 - 27300874894/10973655899*c_0101_6 + 681579701919/438946235960, c_0101_5 + 7555137553/87789247192*c_0101_6^17 + 35066017903/438946235960*c_0101_6^16 - 118229490413/219473117980*c_0101_6^15 - 74253093839/438946235960*c_0101_6^14 + 7749200186/10973655899*c_0101_6^13 - 510066658607/438946235960*c_0101_6^12 + 278185281967/219473117980*c_0101_6^11 - 87746685147/438946235960*c_0101_6^10 + 57839975504/54868279495*c_0101_6^9 + 954415454319/438946235960*c_0101_6^8 - 2015438218263/438946235960*c_0101_6^7 + 2433441252703/438946235960*c_0101_6^6 - 14719968371/10973655899*c_0101_6^5 - 1823889942213/438946235960*c_0101_6^4 + 127013827495/43894623596*c_0101_6^3 - 292169491739/219473117980*c_0101_6^2 - 330020512233/109736558990*c_0101_6 - 91170329837/438946235960, c_0101_6^18 + 2*c_0101_6^17 - 5*c_0101_6^16 - 9*c_0101_6^15 + 3*c_0101_6^14 - 3*c_0101_6^13 + 9*c_0101_6^12 + 11*c_0101_6^11 + 15*c_0101_6^10 + 35*c_0101_6^9 - 30*c_0101_6^8 - 2*c_0101_6^7 + 5*c_0101_6^6 - 49*c_0101_6^5 - 17*c_0101_6^4 + 12*c_0101_6^3 - 6*c_0101_6^2 - 5*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB