Magma V2.19-8 Tue Aug 20 2013 16:14:20 on localhost [Seed = 3886447556] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s325 geometric_solution 4.50556378 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 1 0 1 0 0132 1302 2310 2031 0 0 0 0 0 1 0 -1 1 0 0 -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 0 -1 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.074496512297 1.935776836422 0 0 3 2 0132 3201 0132 0132 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 0 0 0 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.245829867411 0.536303803028 4 3 1 3 0132 3012 0132 1302 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.769639947883 0.850203721826 2 4 2 1 1230 2310 2031 0132 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 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.769639947883 0.850203721826 2 5 5 3 0132 0132 3201 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.036938967258 0.354205008006 4 4 5 5 2310 0132 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 1.480308391322 0.307092147369 ==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_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' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : negation(d['c_0101_4']), 'c_1100_4' : negation(d['c_0011_2']), 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : d['c_0101_3'], 'c_0101_5' : d['c_0101_5'], '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_0011_2'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0011_2'], 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0011_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_2'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0101_4']), 'c_0110_4' : d['c_0101_0'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0011_2']), 'c_1010_0' : d['c_0011_0']})} 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_2, c_0101_0, c_0101_3, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 11380504/47299*c_0101_5^14 - 83773465/47299*c_0101_5^13 - 124519078/47299*c_0101_5^12 + 633831500/47299*c_0101_5^11 + 1351328577/47299*c_0101_5^10 - 2340796517/47299*c_0101_5^9 - 3813056398/47299*c_0101_5^8 + 4896758549/47299*c_0101_5^7 + 3375437416/47299*c_0101_5^6 - 4207986595/47299*c_0101_5^5 - 436003322/47299*c_0101_5^4 + 122802721/6757*c_0101_5^3 - 68731146/47299*c_0101_5^2 - 80070987/47299*c_0101_5 + 7009125/47299, c_0011_0 - 1, c_0011_2 + 1106268/6757*c_0101_5^14 + 8117859/6757*c_0101_5^13 + 11962973/6757*c_0101_5^12 - 61474131/6757*c_0101_5^11 - 128799792/6757*c_0101_5^10 + 229480459/6757*c_0101_5^9 + 357538372/6757*c_0101_5^8 - 485889840/6757*c_0101_5^7 - 298994079/6757*c_0101_5^6 + 421155140/6757*c_0101_5^5 + 16180443/6757*c_0101_5^4 - 85792820/6757*c_0101_5^3 + 13451259/6757*c_0101_5^2 + 6015079/6757*c_0101_5 - 821453/6757, c_0101_0 + 1675826/6757*c_0101_5^14 + 12216311/6757*c_0101_5^13 + 17433164/6757*c_0101_5^12 - 94810285/6757*c_0101_5^11 - 192633906/6757*c_0101_5^10 + 359818949/6757*c_0101_5^9 + 539249862/6757*c_0101_5^8 - 764025133/6757*c_0101_5^7 - 450241669/6757*c_0101_5^6 + 660822148/6757*c_0101_5^5 + 20607823/6757*c_0101_5^4 - 134008996/6757*c_0101_5^3 + 21622061/6757*c_0101_5^2 + 9384438/6757*c_0101_5 - 1298022/6757, c_0101_3 + 192722/6757*c_0101_5^14 + 1414463/6757*c_0101_5^13 + 2089585/6757*c_0101_5^12 - 10673546/6757*c_0101_5^11 - 22356044/6757*c_0101_5^10 + 39907397/6757*c_0101_5^9 + 61820973/6757*c_0101_5^8 - 84738842/6757*c_0101_5^7 - 51254421/6757*c_0101_5^6 + 73507765/6757*c_0101_5^5 + 2260598/6757*c_0101_5^4 - 14894010/6757*c_0101_5^3 + 2449420/6757*c_0101_5^2 + 1033814/6757*c_0101_5 - 148639/6757, c_0101_4 + 427812/6757*c_0101_5^14 + 3157524/6757*c_0101_5^13 + 4785506/6757*c_0101_5^12 - 23355988/6757*c_0101_5^11 - 50265274/6757*c_0101_5^10 + 85906515/6757*c_0101_5^9 + 138150319/6757*c_0101_5^8 - 181655845/6757*c_0101_5^7 - 114858262/6757*c_0101_5^6 + 157886116/6757*c_0101_5^5 + 6081197/6757*c_0101_5^4 - 32283713/6757*c_0101_5^3 + 5095573/6757*c_0101_5^2 + 2249339/6757*c_0101_5 - 315989/6757, c_0101_5^15 + 6*c_0101_5^14 + c_0101_5^13 - 70*c_0101_5^12 - 42*c_0101_5^11 + 363*c_0101_5^10 + 45*c_0101_5^9 - 871*c_0101_5^8 + 319*c_0101_5^7 + 741*c_0101_5^6 - 496*c_0101_5^5 - 96*c_0101_5^4 + 116*c_0101_5^3 - 11*c_0101_5^2 - 8*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB