Magma V2.19-8 Thu Sep 12 2013 22:29:42 on localhost [Seed = 3568631345] Type ? for help. Type -D to quit. Loading file "m007__sl3_c1.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'] * d['u'] ** 1, 'c_2100_1' : d['c_0012_0'], 'c_2100_2' : d['c_0201_1'] * d['u'] ** 1, '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'] ** 2, 'c_1200_0' : d['c_0102_1'] * d['u'] ** 2, 'c_1200_1' : d['c_0012_1'], 'c_1110_2' : d['c_1101_0'], 'c_1110_0' : d['c_1101_2'] * d['u'] ** 1, 'c_1110_1' : negation(d['c_1011_0']), 'c_0120_0' : d['c_0102_1'], 'c_0120_1' : d['c_0102_0'], 'c_0120_2' : d['c_0102_0'], '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'], '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']), 'c_0111_2' : d['c_0111_2'], 'c_0210_2' : d['c_0201_0'], 'c_0210_0' : d['c_0201_1'], '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'], 'c_0021_0' : d['c_0012_1'], 'c_0021_1' : d['c_0012_0'], 'c_0021_2' : d['c_0012_0']}), 'non_trivial_generalized_obstruction_class' : True} PY=EVAL=SECTION=ENDS=HERE PRIMARY_DECOMPOSITION_TIME: 6393.110 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 - 325657702/75359413*c_1101_2^9*u - 15199187/75359413*c_1101_2^9 - 8447270609/602875304*c_1101_2^6*u + 1580237497/602875304*c_1101_2^6 + 21105520453/602875304*c_1101_2^3*u - 17098901433/301437652*c_1101_2^3 + 6266450025/301437652*u + 10105820085/301437652, c_0012_0 - 1, c_0012_1 - 1, c_0102_0 - 869332712/2034704151*c_1101_2^11*u - 659385460/2034704151*c_1101_2^11 - 7710677639/4069408302*c_1101_2^8*u - 3457136857/4069408302*c_1101_2^8 + 28511092433/4069408302*c_1101_2^5*u + 7090971211/4069408302*c_1101_2^5 + 1836934751/4069408302*c_1101_2^2*u - 12878829953/4069408302*c_1101_2^2, c_0102_1 - 736137740/2034704151*c_1101_2^11*u - 1236249772/2034704151*c_1101_2^11 - 8717368097/4069408302*c_1101_2^8*u - 4548575468/2034704151*c_1101_2^8 + 39122979611/4069408302*c_1101_2^5*u + 16892519243/2034704151*c_1101_2^5 + 10086174635/4069408302*c_1101_2^2*u - 5518045651/2034704151*c_1101_2^2, c_0111_0 - 1, c_0111_2 + 4064508/75359413*c_1101_2^9*u + 4188244/75359413*c_1101_2^9 + 29297295/150718826*c_1101_2^6*u + 2236113/75359413*c_1101_2^6 - 206074241/150718826*c_1101_2^3*u - 86096411/75359413*c_1101_2^3 + 117420083/150718826*u + 72108039/75359413, c_0201_0 - 82319072/678234717*c_1101_2^10*u - 263274964/678234717*c_1101_2^10 - 1347826223/1356469434*c_1101_2^7*\ u - 2167614439/1356469434*c_1101_2^7 + 7128457637/1356469434*c_1101_2^4*u + 8541164389/1356469434*c_1101_2^4 + 2021445257/1356469434*c_1101_2*u - 1443538067/1356469434*c_1101_2, c_0201_1 - 277718444/678234717*c_1101_2^10*u - 266941288/678234717*c_1101_2^10 - 1334547679/678234717*c_1101_2^7*u - 1666576429/1356469434*c_1101_2^7 + 5155236928/678234717*c_1101_2^4*u + 4415545399/1356469434*c_1101_2^4 + 866344555/678234717*c_1101_2*u - 3160465799/1356469434*c_1101_2, c_1011_0 - 55175480/678234717*c_1101_2^11*u - 9492260/75359413*c_1101_2^11 - 222318481/452156478*c_1101_2^8*u - 789090665/1356469434*c_1101_2^8 + 785877577/452156478*c_1101_2^5*u + 1412451431/1356469434*c_1101_2^5 + 714469427/452156478*c_1101_2^2*u + 1118442893/1356469434*c_1101_2^2, c_1011_2 + 26588536/678234717*c_1101_2^11*u + 136557568/678234717*c_1101_2^11 + 311586616/678234717*c_1101_2^8*u + 192558617/226078239*c_1101_2^8 - 1590218845/678234717*c_1101_2^5*u - 825000413/226078239*c_1101_2^5 - 345981172/678234717*c_1101_2^2*u + 39735372/75359413*c_1101_2^2, c_1101_0 - 5624540/75359413*c_1101_2^10*u + 18484336/226078239*c_1101_2^10 - 34145414/226078239*c_1101_2^7*u + 231934739/452156478*c_1101_2^7 - 108503278/226078239*c_1101_2^4*u - 1050942113/452156478*c_1101_2^4 - 256895806/226078239*c_1101_2*u - 578815199/452156478*c_1101_2, c_1101_2^12 + 11/8*c_1101_2^9*u + 35/8*c_1101_2^9 - 95/8*c_1101_2^6*u - 41/2*c_1101_2^6 - 11/8*c_1101_2^3*u + 11/4*c_1101_2^3 - 27/8, u^2 + u + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE FREE=VARIABLES=IN=COMPONENTS=BEGINS=HERE [ [ ] ] FREE=VARIABLES=IN=COMPONENTS=ENDS=HERE CPUTIME: 6393.110 Total time: 6393.300 seconds, Total memory usage: 32.09MB