Magma V2.19-8 Thu Sep 12 2013 22:29:42 on localhost [Seed = 3299143201] Type ? for help. Type -D to quit. Loading file "m007__sl3_c4.magma" ==TRIANGULATION=BEGINS== % Triangulation m007 geometric_solution 2.56897060 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 3 1 1 2 2 0132 2310 0132 3012 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 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.102784715200 0.665456951153 0 2 2 0 0132 1023 2310 3201 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 -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.226698825758 1.467711508710 1 1 0 0 1023 3201 1230 0132 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 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.102784715200 0.665456951153 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1020_2' : d['c_0201_0'], 'c_1020_0' : d['c_0201_0'], 'c_1020_1' : d['c_0102_0'], 'c_0201_0' : d['c_0201_0'], 'c_0201_1' : d['c_0201_1'], 'c_0201_2' : d['c_0201_0'], 'c_2100_0' : d['c_0201_1'], 'c_2100_1' : d['c_0012_0'], 'c_2100_2' : d['c_0201_1'] * d['u'] ** 2, 'c_2010_2' : d['c_0102_0'], 'c_2010_0' : d['c_0102_0'], 'c_2010_1' : d['c_0201_0'], '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_1101_0'], 'c_1101_1' : d['c_1011_2'], 'c_1101_2' : d['c_1101_2'], 'c_1200_2' : d['c_0102_1'] * d['u'] ** 1, 'c_1200_0' : d['c_0102_1'], 'c_1200_1' : d['c_0012_1'] * d['u'] ** 1, 'c_1110_2' : d['c_1101_0'] * d['u'] ** 2, 'c_1110_0' : d['c_1101_2'], 'c_1110_1' : negation(d['c_1011_0']), 'c_0120_0' : d['c_0102_1'] * d['u'] ** 1, 'c_0120_1' : d['c_0102_0'], 'c_0120_2' : d['c_0102_0'] * d['u'] ** 2, 'c_2001_0' : d['c_0102_0'], 'c_2001_1' : d['c_0201_0'], 'c_2001_2' : d['c_0102_1'], 'c_0012_2' : d['c_0012_1'] * d['u'] ** 1, '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_0201_0'] * d['u'] ** 1, 'c_0210_0' : d['c_0201_1'] * d['u'] ** 2, 'c_0210_1' : d['c_0201_0'], 'c_1002_2' : d['c_0201_1'], 'c_1002_0' : d['c_0201_0'], 'c_1002_1' : d['c_0102_0'], 'c_1011_2' : d['c_1011_2'], 'c_1011_0' : d['c_1011_0'], 'c_1011_1' : d['c_0111_2'] * d['u'] ** 2, 'c_0021_0' : d['c_0012_1'] * d['u'] ** 1, 'c_0021_1' : d['c_0012_0'] * d['u'] ** 1, 'c_0021_2' : d['c_0012_0']}), 'non_trivial_generalized_obstruction_class' : True} PY=EVAL=SECTION=ENDS=HERE PRIMARY_DECOMPOSITION_TIME: 2878.440 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_0201_0, c_0201_1, c_1011_0, c_1011_2, c_1101_0, c_1101_2, u Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 2612069459018/117554015345*c_1101_2^9*u + 2789530926804/117554015345*c_1101_2^9 - 14060531677588/117554015345*c_1101_2^6*u - 4408168954967/117554015345*c_1101_2^6 + 7862554352843/117554015345*c_1101_2^3*u + 2168216949229/117554015345*c_1101_2^3 + 1318412293064/117554015345*u - 65784923904/23510803069, c_0012_0 - 1, c_0012_1 - 1, c_0102_0 + 25802625529/5425569939*c_1101_2^11*u + 92229264602/5425569939*c_1101_2^11 - 385667831524/5425569939*c_1101_2^8*u - 375934154948/5425569939*c_1101_2^8 + 226197194122/5425569939*c_1101_2^5*u + 200204804543/5425569939*c_1101_2^5 + 59170969243/5425569939*c_1101_2^2*u + 37056410786/5425569939*c_1101_2^2, c_0102_1 - 93309561911/5425569939*c_1101_2^11*u - 46580240527/5425569939*c_1101_2^11 + 308640095102/5425569939*c_1101_2^8*u - 107844268589/5425569939*c_1101_2^8 - 196659606554/5425569939*c_1101_2^5*u + 68050088447/5425569939*c_1101_2^5 + 6468803479/5425569939*c_1101_2^2*u + 43415541821/5425569939*c_1101_2^2, c_0111_0 - 1, c_0111_2 - 5815165050/1808523313*c_1101_2^9*u - 1810173649/1808523313*c_1101_2^9 + 15520133745/1808523313*c_1101_2^6*u - 12565042729/1808523313*c_1101_2^6 - 9313716136/1808523313*c_1101_2^3*u + 10490264993/1808523313*c_1101_2^3 - 1429561648/1808523313*u - 63292761/1808523313, c_0201_0 + 41223354580/5425569939*c_1101_2^10*u + 26607494921/5425569939*c_1101_2^10 - 156790705240/5425569939*c_1101_2^7*u + 19046782177/5425569939*c_1101_2^7 + 89319437866/5425569939*c_1101_2^4*u - 16475017564/5425569939*c_1101_2^4 + 9064414195/5425569939*c_1101_2*u - 4486219990/5425569939*c_1101_2, c_0201_1 - 5096394617/5425569939*c_1101_2^10*u + 14747404859/5425569939*c_1101_2^10 - 49181358517/5425569939*c_1101_2^7*u - 94504436684/5425569939*c_1101_2^7 + 27075283699/5425569939*c_1101_2^4*u + 50142550271/5425569939*c_1101_2^4 + 19734782563/5425569939*c_1101_2*u + 17222856887/5425569939*c_1101_2, c_1011_0 - 18165130382/1808523313*c_1101_2^11*u + 12938490100/1808523313*c_1101_2^11 - 22615107749/1808523313*c_1101_2^8*u - 134293058424/1808523313*c_1101_2^8 + 11752065386/1808523313*c_1101_2^5*u + 80470339620/1808523313*c_1101_2^5 + 14886755330/1808523313*c_1101_2^2*u + 16699305677/1808523313*c_1101_2^2, c_1011_2 + 31545716294/1808523313*c_1101_2^11*u - 92242484/1808523313*c_1101_2^11 - 43281894972/1808523313*c_1101_2^8\ *u + 121271436926/1808523313*c_1101_2^8 + 16037741183/1808523313*c_1101_2^5*u - 82874076615/1808523313*c_1101_2^5 - 1325697350/1808523313*c_1101_2^2*u - 10679476496/1808523313*c_1101_2^2, c_1101_0 - 13784533415/1808523313*c_1101_2^10*u + 895736934/1808523313*c_1101_2^10 + 16354632528/1808523313*c_1101_2^7*u - 56837784864/1808523313*c_1101_2^7 - 8057438853/1808523313*c_1101_2^4*u + 38507027049/1808523313*c_1101_2^4 + 3340319167/1808523313*c_1101_2*u + 4939278564/1808523313*c_1101_2, c_1101_2^12 - 8337/2197*c_1101_2^9*u - 11259/2197*c_1101_2^9 + 4919/2197*c_1101_2^6*u + 6160/2197*c_1101_2^6 + 1338/2197*c_1101_2^3*u + 1199/2197*c_1101_2^3 + 17/2197*u + 53/2197, u^2 + u + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE FREE=VARIABLES=IN=COMPONENTS=BEGINS=HERE [ [ ] ] FREE=VARIABLES=IN=COMPONENTS=ENDS=HERE CPUTIME: 2878.440 Total time: 2878.630 seconds, Total memory usage: 64.12MB