Magma V2.19-8 Mon Sep 16 2013 14:46:08 on localhost [Seed = 2583468586] Type ? for help. Type -D to quit. Loading file "m036__sl3_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation m036 geometric_solution 3.17729328 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 4 1 2 2 3 0132 0132 3120 0132 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 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 1.419643377607 0.606290729207 0 2 3 3 0132 2031 2031 1230 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 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.404256058023 0.254425889416 1 0 0 3 1302 0132 3120 3201 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 0.419643377607 0.606290729207 1 2 0 1 3012 2310 0132 1302 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 0 0 0 0 0 0 0 -1 1 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.419643377607 0.606290729207 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1020_2' : d['c_1002_0'], 'c_1020_3' : d['c_0210_2'], 'c_1020_0' : d['c_1002_2'], 'c_1020_1' : d['c_0012_1'] * d['u'] ** 1, 'c_0201_0' : d['c_0021_3'], 'c_0201_1' : d['c_0012_0'] * d['u'] ** 2, 'c_0201_2' : d['c_0012_1'] * d['u'] ** 1, 'c_0201_3' : d['c_0012_0'] * d['u'] ** 2, 'c_2100_0' : d['c_0012_0'] * d['u'] ** 2, 'c_2100_1' : d['c_0210_2'], 'c_2100_2' : d['c_0012_3'], 'c_2100_3' : d['c_0012_0'] * d['u'] ** 2, 'c_2010_2' : d['c_1002_2'], 'c_2010_3' : d['c_0120_2'], 'c_2010_0' : d['c_1002_0'], 'c_2010_1' : d['c_0012_0'] * d['u'] ** 2, 'c_0102_0' : d['c_0012_3'], 'c_0102_1' : d['c_0012_1'] * d['u'] ** 1, 'c_0102_2' : d['c_0012_0'] * d['u'] ** 2, 'c_0102_3' : d['c_0012_1'] * d['u'] ** 1, 'c_1101_0' : d['c_1101_0'], 'c_1101_1' : d['c_1101_1'], 'c_1101_2' : negation(d['c_1101_0']), 'c_1101_3' : d['c_1101_3'], 'c_1200_2' : d['c_0021_3'], 'c_1200_3' : d['c_0012_1'] * d['u'] ** 1, 'c_1200_0' : d['c_0012_1'] * d['u'] ** 1, 'c_1200_1' : d['c_0120_2'], 'c_1110_2' : negation(d['c_1011_3']), 'c_1110_3' : d['c_1101_1'], 'c_1110_0' : d['c_1101_3'], 'c_1110_1' : d['c_0111_3'], 'c_0120_0' : d['c_0012_1'] * d['u'] ** 1, 'c_0120_1' : d['c_0012_3'], 'c_0120_2' : d['c_0120_2'], 'c_0120_3' : d['c_0120_2'], 'c_2001_0' : d['c_1002_2'], 'c_2001_1' : d['c_0120_2'], 'c_2001_2' : d['c_1002_0'], 'c_2001_3' : d['c_1002_0'], 'c_0012_2' : d['c_0012_1'], 'c_0012_3' : d['c_0012_3'], '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_0111_3' : d['c_0111_3'], 'c_0210_2' : d['c_0210_2'], 'c_0210_3' : d['c_0210_2'], 'c_0210_0' : d['c_0012_0'] * d['u'] ** 2, 'c_0210_1' : d['c_0021_3'], 'c_1002_2' : d['c_1002_2'], 'c_1002_3' : d['c_1002_2'], 'c_1002_0' : d['c_1002_0'], 'c_1002_1' : d['c_0210_2'], 'c_1011_2' : negation(d['c_1011_0']), 'c_1011_3' : d['c_1011_3'], 'c_1011_0' : d['c_1011_0'], 'c_1011_1' : d['c_0111_2'] * d['u'] ** 2, 'c_0021_0' : d['c_0012_1'], 'c_0021_1' : d['c_0012_0'], 'c_0021_2' : d['c_0012_0'], 'c_0021_3' : d['c_0021_3']}), 'non_trivial_generalized_obstruction_class' : True} PY=EVAL=SECTION=ENDS=HERE PRIMARY_DECOMPOSITION_TIME: 5213.900 PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0012_3, c_0021_3, c_0111_0, c_0111_2, c_0111_3, c_0120_2, c_0210_2, c_1002_0, c_1002_2, c_1011_0, c_1011_3, c_1101_0, c_1101_1, c_1101_3, u Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 1/21*c_1101_3^5*u + 4/105*c_1101_3^5 - 58/105*c_1101_3^2*u + 29/210*c_1101_3^2, c_0012_0 - 1, c_0012_1 + 2/5*c_1101_3^5*u + 29/5*c_1101_3^2, c_0012_3 - 1/5*c_1101_3^4*u - 1/5*c_1101_3^4 + 17/5*c_1101_3*u, c_0021_3 - 1/5*c_1101_3^4 + 17/5*c_1101_3*u + 17/5*c_1101_3, c_0111_0 - 1, c_0111_2 - 2/5*c_1101_3^4 + 29/5*c_1101_3*u + 29/5*c_1101_3, c_0111_3 + 2/5*c_1101_3^5*u - c_1101_3^5 + 14*c_1101_3^2*u + 99/5*c_1101_3^2, c_0120_2 - c_1101_3^5*u - 14*c_1101_3^2, c_0210_2 + 1/5*c_1101_3^3*u + 12/5, c_1002_0 + 1/5*c_1101_3^5 - 12/5*c_1101_3^2*u - 12/5*c_1101_3^2, c_1002_2 + 1/5*c_1101_3^3*u + 1/5*c_1101_3^3 - 2/5*u, c_1011_0 - c_1101_3, c_1011_3 - u - 2, c_1101_0 - 1/5*c_1101_3^5*u - 2/5*c_1101_3^5 + 29/5*c_1101_3^2*u + 12/5*c_1101_3^2, c_1101_1 + 2/5*c_1101_3^4*u + 29/5*c_1101_3, c_1101_3^6 - 14*c_1101_3^3*u - 14*c_1101_3^3 - u, u^2 + u + 1 ], Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0012_3, c_0021_3, c_0111_0, c_0111_2, c_0111_3, c_0120_2, c_0210_2, c_1002_0, c_1002_2, c_1011_0, c_1011_3, c_1101_0, c_1101_1, c_1101_3, u Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 706883628856162336/5697576209236653*c_1101_3^11*u - 46589531581952672/1899192069745551*c_1101_3^11 - 228648990405936407/1627878916924758*c_1101_3^8*u + 364136208320276737/1627878916924758*c_1101_3^8 + 1378939854659596427/11395152418473306*c_1101_3^5*u + 991402679325809362/5697576209236653*c_1101_3^5 + 251591453397035072/5697576209236653*c_1101_3^2*u - 106875307094918483/3798384139491102*c_1101_3^2, c_0012_0 - 1, c_0012_1 + 23865917632/30765613221*c_1101_3^11*u - 3147241504/3418401469*c_1101_3^11 - 45033296/4395087603*c_1101_3^8*u - 21154201567/8790175206*c_1101_3^8 + 106391995040/30765613221*c_1101_3^5*u + 36307444046/30765613221*c_1101_3^5 + 33190225715/61531226442*c_1101_3^2*u - 2916319093/10255204407*c_1101_3^2, c_0012_3 + 629412736/1465029201*c_1101_3^10*u - 1437848800/1465029201*c_1101_3^10 - 171883021/1465029201*c_1101_3^7*u - 6096038299/2930058402*c_1101_3^7 + 4463315905/1465029201*c_1101_3^4*u + 795347087/1465029201*c_1101_3^4 + 3601386665/2930058402*c_1101_3*u + 1437755843/1465029201*c_1101_3, c_0021_3 - 2067261536/1465029201*c_1101_3^10*u - 629412736/1465029201*c_1101_3^10 - 5752272257/2930058402*c_1101_3^7*u + 171883021/1465029201*c_1101_3^7 - 3667968818/1465029201*c_1101_3^4*u - 4463315905/1465029201*c_1101_3^4 - 725874979/2930058402*c_1101_3*u - 3601386665/2930058402*c_1101_3, c_0111_0 - 1, c_0111_2 - c_1101_3*u - c_1101_3, c_0111_3 + 8778598912/30765613221*c_1101_3^11*u + 10648250176/30765613221*c_1101_3^11 + 211517678/488343067*c_1101_3^8*u + 470615767/4395087603*c_1101_3^8 - 771421576/3418401469*c_1101_3^5*u + 12662361035/30765613221*c_1101_3^5 + 17722382857/30765613221*c_1101_3^2*u - 21219447125/30765613221*c_1101_3^2, c_0120_2 + 35929272032/30765613221*c_1101_3^11*u + 39091431584/30765613221*c_1101_3^11 + 10559242835/2930058402*c_1101_3^8*u + 22100856637/8790175206*c_1101_3^8 + 33025927925/10255204407*c_1101_3^5*u + 106527330568/30765613221*c_1101_3^5 + 5571222050/30765613221*c_1101_3^2*u + 89412122077/61531226442*c_1101_3^2, c_0210_2 - 8190798464/3418401469*c_1101_3^9*u - 4141535264/3418401469*c_1101_3^9 - 1790853657/488343067*c_1101_3^6*u + 999553893/976686134*c_1101_3^6 - 5504639043/3418401469*c_1101_3^3*u - 5658774082/3418401469*c_1101_3^3 - 6662807947/6836802938*u + 888205741/3418401469, c_1002_0 - 39091431584/30765613221*c_1101_3^11*u - 1054053184/10255204407*c_1101_3^11 - 22100856637/8790175206*c_1101_3^8*u + 4788435934/4395087603*c_1101_3^8 - 106527330568/30765613221*c_1101_3^5*u - 7449546793/30765613221*c_1101_3^5 - 89412122077/61531226442*c_1101_3^2*u - 26089892659/20510408814*c_1101_3^2, c_1002_2 + 4049263200/3418401469*c_1101_3^9*u + 8190798464/3418401469*c_1101_3^9 + 4581261207/976686134*c_1101_3^6*u + 1790853657/488343067*c_1101_3^6 - 154135039/3418401469*c_1101_3^3*u + 5504639043/3418401469*c_1101_3^3 + 8439219429/6836802938*u + 6662807947/6836802938, c_1011_0 + 67596288/3418401469*c_1101_3^10*u + 12502094144/10255204407*c_1101_3^10 + 2948849542/1465029201*c_1101_3^7*u + 1401766549/488343067*c_1101_3^7 - 1956604756/10255204407*c_1101_3^4*u + 3591633100/3418401469*c_1101_3^4 + 2067263217/3418401469*c_1101_3*u + 12736694435/10255204407*c_1101_3, c_1011_3 + 5190187328/3418401469*c_1101_3^9*u + 2125547072/3418401469*c_1101_3^9 + 893368823/488343067*c_1101_3^6*u - 130605451/488343067*c_1101_3^6 + 6122184364/3418401469*c_1101_3^3*u + 9917055336/3418401469*c_1101_3^3 + 675014373/3418401469*u + 1637659801/3418401469, c_1101_0 + 623217088/10255204407*c_1101_3^11*u - 8778598912/30765613221*c_1101_3^11 - 1433043335/4395087603*c_1101_3^8*u - 211517678/488343067*c_1101_3^8 + 19605155219/30765613221*c_1101_3^5*u + 771421576/3418401469*c_1101_3^5 - 4326869998/3418401469*c_1101_3^2*\ u - 17722382857/30765613221*c_1101_3^2, c_1101_1 + 67596288/3418401469*c_1101_3^10*u + 12502094144/10255204407*c_1101_3^10 + 2948849542/1465029201*c_1101_3^7*u + 1401766549/488343067*c_1101_3^7 - 1956604756/10255204407*c_1101_3^4*u + 3591633100/3418401469*c_1101_3^4 + 2067263217/3418401469*c_1101_3*u + 12736694435/10255204407*c_1101_3, c_1101_3^12 + 49/32*c_1101_3^9*u + 165/64*c_1101_3^9 - 5/16*c_1101_3^6*u + 51/64*c_1101_3^6 + 3/64*c_1101_3^3*u + 17/32*c_1101_3^3 + 27/64*u, u^2 + u + 1 ], Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0012_3, c_0021_3, c_0111_0, c_0111_2, c_0111_3, c_0120_2, c_0210_2, c_1002_0, c_1002_2, c_1011_0, c_1011_3, c_1101_0, c_1101_1, c_1101_3, u Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 9/50*c_1101_3^11 - 19/25*c_1101_3^8*u - 19/25*c_1101_3^8 - 81/50*c_1101_3^5*u - 9/25*c_1101_3^2, c_0012_0 - 1, c_0012_1 + 22/15*c_1101_3^11*u + 11/15*c_1101_3^11 + 47/15*c_1101_3^8*u - 47/15*c_1101_3^8 - 33/5*c_1101_3^5*u - 66/5*c_1101_3^5 + 44/15*c_1101_3^2*u + 22/15*c_1101_3^2, c_0012_3 - 4/15*c_1101_3^10*u - 1/3*c_1101_3^10 - 4/3*c_1101_3^7*u - 7/15*c_1101_3^7 - 8/5*c_1101_3^4*u + 7/5*c_1101_3^4 - 38/15*c_1101_3*u - 2/3*c_1101_3, c_0021_3 - 13/15*c_1101_3^10*u - 14/15*c_1101_3^10 - 58/15*c_1101_3^7*u - 2/15*c_1101_3^7 + 1/15*c_1101_3^4*u + 122/15*c_1101_3^4 - 7/5*c_1101_3*u - 11/5*c_1101_3, c_0111_0 - 1, c_0111_2 + 2/5*c_1101_3^10*u + 2/5*c_1101_3^10 + 9/5*c_1101_3^7*u - 18/5*c_1101_3^4 + 4/5*c_1101_3*u + 4/5*c_1101_3, c_0111_3 - 1/5*c_1101_3^11*u + 3/5*c_1101_3^11 + 38/15*c_1101_3^8*u + 49/15*c_1101_3^8 + 98/15*c_1101_3^5*u + 22/15*c_1101_3^5 - 11/15*c_1101_3^2*u + 23/15*c_1101_3^2, c_0120_2 - 3/5*c_1101_3^11*u - 3/5*c_1101_3^11 - 38/15*c_1101_3^8*u + 1/3*c_1101_3^8 + 5/3*c_1101_3^5*u + 101/15*c_1101_3^5 + 17/15*c_1101_3^2*u - 38/15*c_1101_3^2, c_0210_2 - 1/3*c_1101_3^9*u - 13/15*c_1101_3^9 - 56/15*c_1101_3^6*u - 31/15*c_1101_3^6 - 67/15*c_1101_3^3*u + 11/3*c_1101_3^3 + u - 2/5, c_1002_0 + 8/15*c_1101_3^11*u - 1/3*c_1101_3^11 - c_1101_3^8*u - 17/5*c_1101_3^8 - 97/15*c_1101_3^5*u - 77/15*c_1101_3^5 - 4/15*c_1101_3^2*u - 13/3*c_1101_3^2, c_1002_2 + 7/15*c_1101_3^9*u - 7/15*c_1101_3^9 - 29/15*c_1101_3^6*u - 58/15*c_1101_3^6 - 121/15*c_1101_3^3*u - 68/15*c_1101_3^3 + 3/5*u - 13/5, c_1011_0 + 2/15*c_1101_3^10*u + 7/15*c_1101_3^10 + 29/15*c_1101_3^7*u + 5/3*c_1101_3^7 + 11/3*c_1101_3^4*u + 2/15*c_1101_3^4 + 8/5*c_1101_3*u + 8/5*c_1101_3, c_1011_3 - u, c_1101_0 + 2/3*c_1101_3^11*u + 2/15*c_1101_3^11 + 3/5*c_1101_3^8*u - 12/5*c_1101_3^8 - 77/15*c_1101_3^5*u - 20/3*c_1101_3^5 + 2/3*c_1101_3^2*u - 1/15*c_1101_3^2, c_1101_1 - 2/3*c_1101_3^10*u - 1/3*c_1101_3^10 - 4/3*c_1101_3^7*u + 4/3*c_1101_3^7 + 3*c_1101_3^4*u + 6*c_1101_3^4 - 4/3*c_1101_3*u - 5/3*c_1101_3, c_1101_3^12 + 4*c_1101_3^9*u + 4*c_1101_3^9 + 8*c_1101_3^6*u + 4*c_1101_3^3 - u - 1, u^2 + u + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE FREE=VARIABLES=IN=COMPONENTS=BEGINS=HERE [ [ ], [ ], [ ] ] FREE=VARIABLES=IN=COMPONENTS=ENDS=HERE CPUTIME: 5213.910 Total time: 5214.210 seconds, Total memory usage: 10081.25MB