Magma V2.19-8 Tue Aug 20 2013 16:18:14 on localhost [Seed = 1494795360] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2446 geometric_solution 5.79099592 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 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.859636481172 1.232956149933 0 5 2 3 0132 0132 3120 2031 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 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.619487730249 0.545759694231 2 0 1 2 3012 0132 3120 1230 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.374741217024 0.650642882378 5 1 4 0 3012 1302 2310 0132 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 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.039016343469 0.733686098203 6 3 0 6 0132 3201 0132 3201 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 -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.014774490433 0.591575057284 6 1 6 3 3012 0132 0321 1230 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 -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.746026704030 0.447949008513 4 4 5 5 0132 2310 0321 1230 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 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.957808788242 1.689348856143 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : negation(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' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : d['c_0101_0'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0101_2']), 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], '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_4']), '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_0101_3']), 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_0']), 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0011_0'], 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : negation(d['c_0101_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_0, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 158878526105/31237082635264*c_0101_5^13 - 50298819985/2839734785024*c_0101_5^12 + 83988272359/15618541317632*c_0101_5^11 - 1201140526077/31237082635264*c_0101_5^10 - 425208876715/7809270658816*c_0101_5^9 + 9914695956695/15618541317632*c_0101_5^8 + 1694652086603/3904635329408*c_0101_5^7 + 2303938776657/1952317664704*c_0101_5^6 + 1475341408851/488079416176*c_0101_5^5 + 195737777589/122019854044*c_0101_5^4 - 449650976223/244039708088*c_0101_5^3 - 414862536323/244039708088*c_0101_5^2 - 321412432471/122019854044*c_0101_5 - 613081422937/61009927022, c_0011_0 - 1, c_0011_3 + 28554175/45802173952*c_0101_5^13 + 61539073/45802173952*c_0101_5^12 - 66009575/22901086976*c_0101_5^11 + 304727771/45802173952*c_0101_5^10 - 9204633/5725271744*c_0101_5^9 - 1576618493/22901086976*c_0101_5^8 + 110004913/2862635872*c_0101_5^7 - 117790041/715658968*c_0101_5^6 - 30521557/715658968*c_0101_5^5 - 297169449/1431317936*c_0101_5^4 + 143210737/715658968*c_0101_5^3 - 54637865/357829484*c_0101_5^2 + 42259575/178914742*c_0101_5 + 8881686/89457371, c_0011_4 + 28554175/45802173952*c_0101_5^13 + 61539073/45802173952*c_0101_5^12 - 66009575/22901086976*c_0101_5^11 + 304727771/45802173952*c_0101_5^10 - 9204633/5725271744*c_0101_5^9 - 1576618493/22901086976*c_0101_5^8 + 110004913/2862635872*c_0101_5^7 - 117790041/715658968*c_0101_5^6 - 30521557/715658968*c_0101_5^5 - 297169449/1431317936*c_0101_5^4 + 143210737/715658968*c_0101_5^3 - 54637865/357829484*c_0101_5^2 + 42259575/178914742*c_0101_5 + 8881686/89457371, c_0101_0 - 9197193/45802173952*c_0101_5^13 + 20003711/45802173952*c_0101_5^12 + 18575965/5725271744*c_0101_5^11 - 308676381/45802173952*c_0101_5^10 + 33040707/22901086976*c_0101_5^9 + 663343849/22901086976*c_0101_5^8 - 1246380903/11450543488*c_0101_5^7 + 193652385/5725271744*c_0101_5^6 + 67768685/2862635872*c_0101_5^5 - 22705463/357829484*c_0101_5^4 - 54293089/715658968*c_0101_5^3 + 387972831/357829484*c_0101_5^2 + 1584981/89457371*c_0101_5 - 4268564/89457371, c_0101_2 + 33683253/45802173952*c_0101_5^13 + 91794759/45802173952*c_0101_5^12 - 76193969/22901086976*c_0101_5^11 + 202654365/45802173952*c_0101_5^10 + 57101483/11450543488*c_0101_5^9 - 2439291437/22901086976*c_0101_5^8 - 24384347/5725271744*c_0101_5^7 - 167909539/5725271744*c_0101_5^6 - 367197473/1431317936*c_0101_5^5 + 270517771/1431317936*c_0101_5^4 + 325897697/357829484*c_0101_5^3 + 14455419/89457371*c_0101_5^2 - 3966939/89457371*c_0101_5 + 29373083/89457371, c_0101_3 - 1067141/11450543488*c_0101_5^13 + 2794347/22901086976*c_0101_5^12 - 15735147/22901086976*c_0101_5^11 - 83908129/11450543488*c_0101_5^10 + 300139253/22901086976*c_0101_5^9 + 88613367/11450543488*c_0101_5^8 - 620658209/11450543488*c_0101_5^7 + 1387243515/5725271744*c_0101_5^6 - 99743977/2862635872*c_0101_5^5 - 8008789/1431317936*c_0101_5^4 + 14168335/178914742*c_0101_5^3 + 58561653/357829484*c_0101_5^2 - 217595217/178914742*c_0101_5 - 7438526/89457371, c_0101_5^14 + 3*c_0101_5^13 - 2*c_0101_5^12 + 9*c_0101_5^11 + 4*c_0101_5^10 - 114*c_0101_5^9 - 40*c_0101_5^8 - 264*c_0101_5^7 - 352*c_0101_5^6 - 448*c_0101_5^5 + 512*c_0101_5^4 - 128*c_0101_5^3 + 512*c_0101_5^2 + 512*c_0101_5 + 1024 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB