Magma V2.19-8 Thu Sep 12 2013 22:29:42 on localhost [Seed = 3219101018] Type ? for help. Type -D to quit. Loading file "m010__sl3_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation m010 geometric_solution 2.66674478 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 3 1 2 1 2 0132 0132 2310 1023 0 0 0 0 0 -1 1 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 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.500000000000 1.322875655532 0 0 2 2 0132 3201 3201 0132 0 0 0 0 0 0 0 0 1 0 0 -1 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 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.375000000000 0.330718913883 1 0 1 0 2310 0132 0132 1023 0 0 0 0 0 1 0 -1 -1 0 1 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 -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.500000000000 1.322875655532 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1020_2' : d['c_0102_1'], 'c_1020_0' : d['c_0120_2'] * d['u'] ** 2, 'c_1020_1' : d['c_0120_2'] * d['u'] ** 2, 'c_0201_0' : d['c_0201_0'], 'c_0201_1' : d['c_0120_2'] * d['u'] ** 2, 'c_0201_2' : d['c_0201_0'], 'c_2100_0' : d['c_0012_0'] * d['u'] ** 2, 'c_2100_1' : d['c_0012_1'], 'c_2100_2' : d['c_0012_1'] * d['u'] ** 1, 'c_2010_2' : d['c_0120_2'] * d['u'] ** 2, 'c_2010_0' : d['c_0102_1'], 'c_2010_1' : d['c_0102_1'], 'c_0102_0' : d['c_0102_0'], 'c_0102_1' : d['c_0102_1'], 'c_0102_2' : d['c_0102_0'], 'c_1101_0' : d['c_1011_1'], 'c_1101_1' : negation(d['c_0111_2']) * d['u'] ** 1, 'c_1101_2' : d['c_1101_2'], 'c_1200_2' : d['c_0012_0'] * d['u'] ** 1, 'c_1200_0' : d['c_0012_1'], 'c_1200_1' : d['c_0012_0'] * d['u'] ** 2, 'c_1110_2' : negation(d['c_1110_0']) * d['u'] ** 1, 'c_1110_0' : d['c_1110_0'], 'c_1110_1' : d['c_1101_2'] * d['u'] ** 2, 'c_0120_0' : d['c_0102_1'], 'c_0120_1' : d['c_0102_0'] * d['u'] ** 2, 'c_0120_2' : d['c_0120_2'], 'c_2001_0' : d['c_0120_2'] * d['u'] ** 2, 'c_2001_1' : d['c_0102_0'], 'c_2001_2' : d['c_0102_1'], 'c_0012_2' : d['c_0012_1'] * d['u'] ** 2, 'c_0012_0' : d['c_0012_0'], 'c_0012_1' : d['c_0012_1'], 'c_0111_0' : d['c_0111_0'], 'c_0111_1' : negation(d['c_0111_0']) * d['u'] ** 1, 'c_0111_2' : d['c_0111_2'], 'c_0210_2' : d['c_0102_1'] * d['u'] ** 2, 'c_0210_0' : d['c_0120_2'] * d['u'] ** 2, 'c_0210_1' : d['c_0201_0'] * d['u'] ** 1, 'c_1002_2' : d['c_0120_2'] * d['u'] ** 2, 'c_1002_0' : d['c_0102_1'], 'c_1002_1' : d['c_0201_0'], 'c_1011_2' : negation(d['c_1011_0']), 'c_1011_0' : d['c_1011_0'], 'c_1011_1' : d['c_1011_1'], 'c_0021_0' : d['c_0012_1'] * d['u'] ** 2, 'c_0021_1' : d['c_0012_0'] * d['u'] ** 2, 'c_0021_2' : d['c_0012_0']}), 'non_trivial_generalized_obstruction_class' : True} PY=EVAL=SECTION=ENDS=HERE PRIMARY_DECOMPOSITION_TIME: 2953.210 PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0102_0, c_0102_1, c_0111_0, c_0111_2, c_0120_2, c_0201_0, c_1011_0, c_1011_1, c_1101_2, c_1110_0, u Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t + 23260882620407734/17181881055936261*c_1110_0^15*u - 26540266099123529/17181881055936261*c_1110_0^15 + 55235653161336806/5727293685312087*c_1110_0^12*u + 283204981619739376/17181881055936261*c_1110_0^12 - 667530240409795577/17181881055936261*c_1110_0^9*u - 119007519590057024/5727293685312087*c_1110_0^9 + 852219507041707751/17181881055936261*c_1110_0^6*u - 10853805351385340/17181881055936261*c_1110_0^6 - 137910118468200955/5727293685312087*c_1110_0^3*u + 93013802619791236/5727293685312087*c_1110_0^3 + 19463324044017815/5727293685312087*u - 129773624000594071/17181881055936261, c_0012_0 - 1, c_0012_1 + 3719957419682/22113103032093*c_1110_0^17*u + 15852548840576/66339309096279*c_1110_0^17 - 29633584831415/66339309096279*c_1110_0^14*u - 23928457609010/66339309096279*c_1110_0^14 + 186862808486195/66339309096279*c_1110_0^11*u + 189377113037516/66339309096279*c_1110_0^11 - 45673323231529/7371034344031*c_1110_0^8*u + 62335678948856/66339309096279*c_1110_0^8 + 127026457597780/66339309096279*c_1110_0^5*u + 15252730741873/66339309096279*c_1110_0^5 + 6531981570212/66339309096279*c_1110_0^2*u - 170063251310965/66339309096279*c_1110_0^2, c_0102_0 + 62121045136813/66339309096279*c_1110_0^16*u - 4872245783950/66339309096279*c_1110_0^16 + 34711516381999/22113103032093*c_1110_0^13*u + 124569968489651/22113103032093*c_1110_0^13 - 698098868548237/66339309096279*c_1110_0^10*u - 457137709099649/66339309096279*c_1110_0^10 + 537916581322079/66339309096279*c_1110_0^7*u + 99003264598444/66339309096279*c_1110_0^7 + 100900368153980/66339309096279*c_1110_0^4*u - 81208987911311/66339309096279*c_1110_0^4 - 14354926855700/22113103032093*c_1110_0*u + 57747774174353/22113103032093*c_1110_0, c_0102_1 + 4233663152207/22113103032093*c_1110_0^17*u + 83546737414817/66339309096279*c_1110_0^17 - 464519604059473/66339309096279*c_1110_0^14*u - 97837471764227/22113103032093*c_1110_0^14 + 454783741911263/66339309096279*c_1110_0^11*u - 397913817708463/66339309096279*c_1110_0^11 - 64531516463245/66339309096279*c_1110_0^8*u + 165167386164482/22113103032093*c_1110_0^8 + 61036273518314/22113103032093*c_1110_0^5*u + 136463116309577/66339309096279*c_1110_0^5 - 198508291897997/66339309096279*c_1110_0^2*u - 53998342199312/22113103032093*c_1110_0^2, c_0111_0 - 1, c_0111_2 + 16072689608518/66339309096279*c_1110_0^17*u - 763682187536/66339309096279*c_1110_0^17 + 20453655365660/66339309096279*c_1110_0^14*u + 35122069707841/22113103032093*c_1110_0^14 - 238222015399358/66339309096279*c_1110_0^11*u - 21146512573297/7371034344031*c_1110_0^11 + 272854874551906/66339309096279*c_1110_0^8*u + 46615711342942/66339309096279*c_1110_0^8 - 52882716626515/66339309096279*c_1110_0^5*u + 9025816569185/22113103032093*c_1110_0^5 + 12223946763526/66339309096279*c_1110_0^2*u + 7073570676837/7371034344031*c_1110_0^2, c_0120_2 + 86150018090198/66339309096279*c_1110_0^15*u + 27388485936466/66339309096279*c_1110_0^15 - 5972648641304/22113103032093*c_1110_0^12*u + 123237618616154/22113103032093*c_1110_0^12 - 668228310327026/66339309096279*c_1110_0^9*u - 570987834275344/66339309096279*c_1110_0^9 + 380026094605348/66339309096279*c_1110_0^6*u + 220006179494756/66339309096279*c_1110_0^6 + 210145085563927/66339309096279*c_1110_0^3*u - 82619626435987/66339309096279*c_1110_0^3 - 6055095921172/7371034344031*u + 7467801445122/7371034344031, c_0201_0 + 4872245783950/66339309096279*c_1110_0^16*u + 66993290920763/66339309096279*c_1110_0^16 - 124569968489651/22113103032093*c_1110_0^13*u - 89858452107652/22113103032093*c_1110_0^13 + 457137709099649/66339309096279*c_1110_0^10*u - 240961159448588/66339309096279*c_1110_0^10 - 99003264598444/66339309096279*c_1110_0^7*u + 438913316723635/66339309096279*c_1110_0^7 + 81208987911311/66339309096279*c_1110_0^4*u + 182109356065291/66339309096279*c_1110_0^4 - 57747774174353/22113103032093*c_1110_0*u - 72102701030053/22113103032093*c_1110_0, c_1011_0 + 5361249606071/22113103032093*c_1110_0^16*u + 10788055649510/22113103032093*c_1110_0^16 - 47974527251426/22113103032093*c_1110_0^13*u - 8374936220741/22113103032093*c_1110_0^13 - 12657973564943/22113103032093*c_1110_0^10*u - 70479412913315/22113103032093*c_1110_0^10 + 2649927641122/22113103032093*c_1110_0^7*u + 12054861235862/22113103032093*c_1110_0^7 + 26721224223146/22113103032093*c_1110_0^4*u + 54997791587599/22113103032093*c_1110_0^4 - 5254115208057/7371034344031*c_1110_0*u - 12992444332040/22113103032093*c_1110_0, c_1011_1 - 1503140501207/7371034344031*c_1110_0^17*u - 53461417080041/66339309096279*c_1110_0^17 + 270087082871657/66339309096279*c_1110_0^14*u + 156648127004486/66339309096279*c_1110_0^14 - 271190012953247/66339309096279*c_1110_0^11*u + 191536754068699/66339309096279*c_1110_0^11 + 14368232329336/7371034344031*c_1110_0^8*u - 293144057873672/66339309096279*c_1110_0^8 - 145553077424950/66339309096279*c_1110_0^5*u - 141978752737117/66339309096279*c_1110_0^5 + 131104988103145/66339309096279*c_1110_0^2*u + 126835708960945/66339309096279*c_1110_0^2, c_1101_2 + 13507072160683/22113103032093*c_1110_0^15*u + 3795398150687/7371034344031*c_1110_0^15 - 14782525583519/7371034344031*c_1110_0^12*u + 8778033475176/7371034344031*c_1110_0^12 - 15153605079233/7371034344031*c_1110_0^9*u - 113102948364973/22113103032093*c_1110_0^9 + 16866254395981/7371034344031*c_1110_0^6*u + 104346377610698/22113103032093*c_1110_0^6 + 8762180677271/22113103032093*c_1110_0^3*u - 3838401045611/7371034344031*c_1110_0^3 - 6027467440222/7371034344031*u - 643320452308/7371034344031, c_1110_0^18 - 1873/343*c_1110_0^15*u - 1630/343*c_1110_0^15 + 3406/343*c_1110_0^12*u - 113/343*c_1110_0^12 - 2442/343*c_1110_0^9*u + 2308/343*c_1110_0^9 + 2*c_1110_0^6*u - c_1110_0^6 - 71/49*c_1110_0^3*u - 173/49*c_1110_0^3 + 513/343*u + 486/343, u^2 + u + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE FREE=VARIABLES=IN=COMPONENTS=BEGINS=HERE [ [ ] ] FREE=VARIABLES=IN=COMPONENTS=ENDS=HERE CPUTIME: 2953.210 Total time: 2953.409 seconds, Total memory usage: 387.53MB