Magma V2.19-8 Sun Nov 17 2013 10:39:34 on localhost [Seed = 586715941] Type ? for help. Type -D to quit. Loading file "m053__sl3_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation m053 geometric_solution 3.33174423 oriented_manifold CS_unknown 1 0 torus 0.000000000000 0.000000000000 4 1 2 3 1 0132 0132 0132 2031 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 0 -1 1 0 0 -1 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.020316072863 0.590569559842 0 0 2 2 0132 1302 0321 2310 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 -1 0 1 0 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.941818622615 1.691279149514 1 0 1 3 3201 0132 0321 1230 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 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.748677298943 0.451314970729 2 3 3 0 3012 3201 2310 0132 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 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.474329364447 1.634845727920 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1020_2' : d['c_0102_3'], 'c_1020_3' : d['c_0102_3'], 'c_1020_0' : d['c_0012_1'], 'c_1020_1' : d['c_0021_3'], 'c_0201_0' : d['c_0102_2'], 'c_0201_1' : d['c_0102_2'], 'c_0201_2' : d['c_0102_0'], 'c_0201_3' : d['c_0201_3'], 'c_2100_0' : d['c_0021_3'], 'c_2100_1' : d['1'] * d['u'] ** 2, 'c_2100_2' : d['c_0102_2'], 'c_2100_3' : d['c_0021_3'], 'c_2010_2' : d['c_0201_3'], 'c_2010_3' : d['c_0201_3'], 'c_2010_0' : d['1'] * d['u'] ** 2, 'c_2010_1' : d['c_0012_3'], 'c_0102_0' : d['c_0102_0'], 'c_0102_1' : d['c_0102_0'], 'c_0102_2' : d['c_0102_2'], 'c_0102_3' : d['c_0102_3'], 'c_1101_0' : d['c_1101_0'], 'c_1101_1' : d['c_1101_1'], 'c_1101_2' : negation(d['c_1101_1']), 'c_1101_3' : d['c_1011_3'], 'c_1200_2' : d['c_0102_0'], 'c_1200_3' : d['c_0012_3'], 'c_1200_0' : d['c_0012_3'], 'c_1200_1' : d['c_0012_1'], 'c_1110_2' : d['c_0111_3'], 'c_1110_3' : d['c_1101_0'], 'c_1110_0' : negation(d['c_1011_1']), 'c_1110_1' : d['c_0111_2'] * d['u'] ** 2, 'c_0120_0' : d['c_0102_0'], 'c_0120_1' : d['c_0102_0'] * d['u'] ** 2, 'c_0120_2' : d['c_0012_3'], 'c_0120_3' : d['c_0102_0'], 'c_2001_0' : d['c_0201_3'], 'c_2001_1' : d['c_0102_2'], 'c_2001_2' : d['1'] * d['u'] ** 2, 'c_2001_3' : d['c_0102_3'], 'c_0012_2' : d['c_0012_1'] * d['u'] ** 2, 'c_0012_3' : d['c_0012_3'], 'c_0012_0' : d['1'], 'c_0012_1' : d['c_0012_1'], 'c_0111_0' : d['1'], 'c_0111_1' : negation(d['1']) * d['u'] ** 1, 'c_0111_2' : d['c_0111_2'], 'c_0111_3' : d['c_0111_3'], 'c_0210_2' : d['c_0021_3'], 'c_0210_3' : d['c_0102_2'], 'c_0210_0' : d['c_0102_2'], 'c_0210_1' : d['c_0102_2'] * d['u'] ** 1, 'c_1002_2' : d['c_0012_1'], 'c_1002_3' : d['c_0201_3'], 'c_1002_0' : d['c_0102_3'], 'c_1002_1' : d['c_0102_0'], '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_1011_1'], 'c_0021_0' : d['c_0012_1'] * d['u'] ** 2, 'c_0021_1' : d['1'] * d['u'] ** 2, 'c_0021_2' : d['1'], 'c_0021_3' : d['c_0021_3']}), 'non_trivial_generalized_obstruction_class' : True} PY=EVAL=SECTION=ENDS=HERE PRIMARY_DECOMPOSITION_TIME: 30589.580 PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0012_1, c_0012_3, c_0021_3, c_0102_0, c_0102_2, c_0102_3, c_0111_2, c_0111_3, c_0201_3, c_1011_0, c_1011_1, c_1011_3, c_1101_0, c_1101_1, u Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t - 19635/19513*c_1101_0^3*u - 19635/19513*c_1101_0^3 - 86609/19513*c_1101_0^2*u - 86609/19513*c_1101_0^2 - 96371/19513*c_1101_0*u - 96371/19513*c_1101_0 - 34635/19513*u - 34635/19513, c_0012_1 - 1, c_0012_3 - c_1101_0^3*u - c_1101_0^3 - 3*c_1101_0^2*u - 4*c_1101_0^2 - 3*c_1101_0 - u - 2, c_0021_3 + c_1101_0^3 + c_1101_0^2*u + 4*c_1101_0^2 + 3*c_1101_0*u + 3*c_1101_0 + u + 2, c_0102_0 + c_1101_0^3*u + c_1101_0^3 + 3*c_1101_0^2*u + 3*c_1101_0^2, c_0102_2 - c_1101_0^3 - 3*c_1101_0^2, c_0102_3 - c_1101_0^3*u - 4*c_1101_0^2*u - 3*c_1101_0*u + c_1101_0 - 2*u, c_0111_2 - c_1101_0^3*u - c_1101_0^3 - 4*c_1101_0^2*u - 4*c_1101_0^2 - 3*c_1101_0*u - 3*c_1101_0 - 2*u - 3, c_0111_3 - c_1101_0*u, c_0201_3 - c_1101_0^3*u - 4*c_1101_0^2*u - 4*c_1101_0*u - c_1101_0 - 2*u, c_1011_0 + c_1101_0^3*u + c_1101_0^3 + 4*c_1101_0^2*u + 4*c_1101_0^2 + 2*c_1101_0*u + 2*c_1101_0 + 2*u + 2, c_1011_1 + c_1101_0^3*u + c_1101_0^3 + 4*c_1101_0^2*u + 4*c_1101_0^2 + 3*c_1101_0*u + 3*c_1101_0 + 3*u + 2, c_1011_3 + c_1101_0^3*u + c_1101_0^3 + 2*c_1101_0^2*u + 2*c_1101_0^2 + c_1101_0*u + c_1101_0 + u + 1, c_1101_0^4 + 4*c_1101_0^3 + 4*c_1101_0^2 + 3*c_1101_0 + 1, c_1101_1 - u, u^2 + u + 1 ], Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0012_1, c_0012_3, c_0021_3, c_0102_0, c_0102_2, c_0102_3, c_0111_2, c_0111_3, c_0201_3, c_1011_0, c_1011_1, c_1011_3, c_1101_0, c_1101_1, u Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 433270598015486613174/48960395480314961125*c_1101_1^13*u + 490247610276607700374/48960395480314961125*c_1101_1^13 + 1115630758191879526989/6994342211473565875*c_1101_1^12*u + 772833210035688306586/9792079096062992225*c_1101_1^12 - 82146009478744381728/279773688458942635*c_1101_1^11*u - 29898255759764257344516/48960395480314961125*c_1101_1^11 - 33149260948142690276682/48960395480314961125*c_1101_1^10*u + 27285566999154012482581/48960395480314961125*c_1101_1^10 + 63732530086050304468992/48960395480314961125*c_1101_1^9*u + 36440895719560852170428/48960395480314961125*c_1101_1^9 - 1844313729213896877021/9792079096062992225*c_1101_1^8*u - 2522022316598079401003/6994342211473565875*c_1101_1^8 + 28035438115037233910829/48960395480314961125*c_1101_1^7*u - 1458001512292628936838/9792079096062992225*c_1101_1^7 - 39889151725006366798999/48960395480314961125*c_1101_1^6*u - 31315436974513340206149/48960395480314961125*c_1101_1^6 - 415669741323681471806/9792079096062992225*c_1101_1^5*u - 8126040602717983019546/48960395480314961125*c_1101_1^5 - 48894554556259439098697/48960395480314961125*c_1101_1^4*u + 8882274789707222118686/48960395480314961125*c_1101_1^4 + 62125810003046194031227/48960395480314961125*c_1101_1^3*u + 58230239224897893648858/48960395480314961125*c_1101_1^3 + 661453820643152184758/9792079096062992225*c_1101_1^2*u - 31650824686027286790446/48960395480314961125*c_1101_1^2 - 10654223937420755068488/48960395480314961125*c_1101_1*u - 366977936064026528304/6994342211473565875*c_1101_1 + 132472141160738773137/6994342211473565875*u + 32474474752842663859/1041710542134360875, c_0012_1 - 1, c_0012_3 + 27/7*c_1101_1^13*u + 68/7*c_1101_1^13 + 347/7*c_1101_1^12*u - 243/7*c_1101_1^12 - 2323/7*c_1101_1^11*u - 1333/7*c_1101_1^11 + 2169/7*c_1101_1^10*u + 4876/7*c_1101_1^10 + 2846/7*c_1101_1^9*u - 2524/7*c_1101_1^9 - 1433/7*c_1101_1^8*u - 596/7*c_1101_1^8 - 1738/7*c_1101_1^7*u - 3991/7*c_1101_1^7 - 2915/7*c_1101_1^6*u + 2617/7*c_1101_1^6 + 1577/7*c_1101_1^5*u + 676/7*c_1101_1^5 + 238*c_1101_1^4*u + 3830/7*c_1101_1^4 + 3036/7*c_1101_1^3*u - 2686/7*c_1101_1^3 - 3695/7*c_1101_1^2*u - 273*c_1101_1^2 + 589/7*c_1101_1*u + 1250/7*c_1101_1 + 108/7*u - 81/7, c_0021_3 - 9/7*c_1101_1^13*u - 24/7*c_1101_1^13 - 130/7*c_1101_1^12*u + 76/7*c_1101_1^12 + 797/7*c_1101_1^11*u + 509/7*c_1101_1^11 - 566/7*c_1101_1^10*u - 1619/7*c_1101_1^10 - 1110/7*c_1101_1^9*u + 542/7*c_1101_1^9 + 204/7*c_1101_1^8*u + 187/7*c_1101_1^8 + 77*c_1101_1^7*u + 1518/7*c_1101_1^7 + 1184/7*c_1101_1^6*u - 554/7*c_1101_1^6 - 234/7*c_1101_1^5*u - 209/7*c_1101_1^5 - 517/7*c_1101_1^4*u - 209*c_1101_1^4 - 1228/7*c_1101_1^3*u + 578/7*c_1101_1^3 + 977/7*c_1101_1^2*u + 678/7*c_1101_1^2 - 88/7*c_1101_1*u - 36*c_1101_1 - 5/7*u + 16/7, c_0102_0 - 24/7*c_1101_1^13*u + 206/7*c_1101_1^12*u + 206/7*c_1101_1^12 - 797/7*c_1101_1^11 - 1619/7*c_1101_1^10*u + 236*c_1101_1^9*u + 236*c_1101_1^9 - 204/7*c_1101_1^8 + 1518/7*c_1101_1^7*u - 1738/7*c_1101_1^6*u - 1738/7*c_1101_1^6 + 234/7*c_1101_1^5 - 209*c_1101_1^4*u + 258*c_1101_1^3*u + 258*c_1101_1^3 - 977/7*c_1101_1^2 - 35*c_1101_1*u + 3*u + 3, c_0102_2 - 34/7*c_1101_1^13*u - 34/7*c_1101_1^13 + 284/7*c_1101_1^12 + 1074/7*c_1101_1^11*u - 2126/7*c_1101_1^10*u - 2126/7*c_1101_1^10 + 2125/7*c_1101_1^9 + 260/7*c_1101_1^8*u + 1896/7*c_1101_1^7*u + 1896/7*c_1101_1^7 - 2208/7*c_1101_1^6 - 319/7*c_1101_1^5*u - 1828/7*c_1101_1^4*u - 1828/7*c_1101_1^4 + 2315/7*c_1101_1^3 + 190*c_1101_1^2*u - 402/7*c_1101_1*u - 402/7*c_1101_1 + 45/7, c_0102_3 + 30/7*c_1101_1^13*u + 46/7*c_1101_1^13 + 135/7*c_1101_1^12*u - 262/7*c_1101_1^12 - 1555/7*c_1101_1^11*u - 516/7*c_1101_1^11 + 2202/7*c_1101_1^10*u + 3242/7*c_1101_1^10 + 1082/7*c_1101_1^9*u - 351*c_1101_1^9 - 130*c_1101_1^8*u - 226/7*c_1101_1^8 - 1822/7*c_1101_1^7*u - 2655/7*c_1101_1^7 - 1077/7*c_1101_1^6*u + 2564/7*c_1101_1^6 + 1011/7*c_1101_1^5*u + 262/7*c_1101_1^5 + 1755/7*c_1101_1^4*u + 364*c_1101_1^4 + 1131/7*c_1101_1^3*u - 2642/7*c_1101_1^3 - 348*c_1101_1^2*u - 750/7*c_1101_1^2 + 541/7*c_1101_1*u + 834/7*c_1101_1 + 8*u - 72/7, c_0111_2 + 9/7*c_1101_1^13*u - 76/7*c_1101_1^12*u - 76/7*c_1101_1^12 + 288/7*c_1101_1^11 + 566/7*c_1101_1^10*u - 542/7*c_1101_1^9*u - 542/7*c_1101_1^9 + 17/7*c_1101_1^8 - 77*c_1101_1^7*u + 554/7*c_1101_1^6*u + 554/7*c_1101_1^6 - 25/7*c_1101_1^5 + 517/7*c_1101_1^4*u - 578/7*c_1101_1^3*u - 578/7*c_1101_1^3 + 299/7*c_1101_1^2 + 95/7*c_1101_1*u + c_1101_1 - 16/7*u - 16/7, c_0111_3 + 18/7*c_1101_1^13*u - 8/7*c_1101_1^13 - 219/7*c_1101_1^12*u - 148/7*c_1101_1^12 + 288/7*c_1101_1^11*u + 119*c_1101_1^11 + 1025/7*c_1101_1^10*u - 633/7*c_1101_1^10 - 237*c_1101_1^9*u - 129*c_1101_1^9 + 292/7*c_1101_1^8*u + 199/7*c_1101_1^8 - 145*c_1101_1^7*u + 466/7*c_1101_1^7 + 1705/7*c_1101_1^6*u + 132*c_1101_1^6 - 45*c_1101_1^5*u - 35*c_1101_1^5 + 974/7*c_1101_1^4*u - 64*c_1101_1^4 - 256*c_1101_1^3*u - 988/7*c_1101_1^3 + 569/7*c_1101_1^2*u + 1030/7*c_1101_1^2 + 115/7*c_1101_1*u - 198/7*c_1101_1 - 46/7*u - 16/7, c_0201_3 - 46/7*c_1101_1^13*u + 397/7*c_1101_1^12*u + 388/7*c_1101_1^12 - 72/7*c_1101_1^11*u - 1555/7*c_1101_1^11 - 2985/7*c_1101_1^10*u + 257/7*c_1101_1^10 + 3539/7*c_1101_1^9*u + 440*c_1101_1^9 - 361/7*c_1101_1^8*u - 130*c_1101_1^8 + 2545/7*c_1101_1^7*u - 110/7*c_1101_1^7 - 3641/7*c_1101_1^6*u - 3165/7*c_1101_1^6 + 370/7*c_1101_1^5*u + 1011/7*c_1101_1^5 - 2453/7*c_1101_1^4*u + 95/7*c_1101_1^4 + 539*c_1101_1^3*u + 3316/7*c_1101_1^3 - 410/7*c_1101_1^2*u - 348*c_1101_1^2 - 96*c_1101_1*u + 162/7*c_1101_1 + 128/7*u + 101/7, c_1011_0 + 6/7*c_1101_1^13*u - 54/7*c_1101_1^12*u - 54/7*c_1101_1^12 + 219/7*c_1101_1^11 + 475/7*c_1101_1^10*u - 538/7*c_1101_1^9*u - 538/7*c_1101_1^9 + 148/7*c_1101_1^8 - 60*c_1101_1^7*u + 580/7*c_1101_1^6*u + 580/7*c_1101_1^6 - 159/7*c_1101_1^5 + 419/7*c_1101_1^4*u - 586/7*c_1101_1^3*u - 586/7*c_1101_1^3 + 349/7*c_1101_1^2 + 13*c_1101_1*u - 8/7*u - 8/7, c_1011_1 - 9/7*c_1101_1^12*u - 9/7*c_1101_1^12 + 72/7*c_1101_1^11 + 257/7*c_1101_1^10*u - 459/7*c_1101_1^9*u - 459/7*c_1101_1^9 + 361/7*c_1101_1^8 - 110/7*c_1101_1^7*u + 68*c_1101_1^6*u + 68*c_1101_1^6 - 370/7*c_1101_1^5 + 95/7*c_1101_1^4*u - 457/7*c_1101_1^3*u - 457/7*c_1101_1^3 + 410/7*c_1101_1^2 + 162/7*c_1101_1*u - 20/7*u - 27/7, c_1011_3 - 15/7*c_1101_1^13*u + 17/7*c_1101_1^13 + 278/7*c_1101_1^12*u + 122/7*c_1101_1^12 - 649/7*c_1101_1^11*u - 1095/7*c_1101_1^11 - 835/7*c_1101_1^10*u + 209*c_1101_1^10 + 2525/7*c_1101_1^9*u + 107*c_1101_1^9 - 683/7*c_1101_1^8*u - 661/7*c_1101_1^8 + 748/7*c_1101_1^7*u - 1149/7*c_1101_1^7 - 2608/7*c_1101_1^6*u - 730/7*c_1101_1^6 + 729/7*c_1101_1^5*u + 731/7*c_1101_1^5 - 711/7*c_1101_1^4*u + 1110/7*c_1101_1^4 + 2697/7*c_1101_1^3*u + 793/7*c_1101_1^3 - 185*c_1101_1^2*u - 1733/7*c_1101_1^2 - 170/7*c_1101_1*u + 403/7*c_1101_1 + 12*u + 40/7, c_1101_0 - 30/7*c_1101_1^13*u - 46/7*c_1101_1^13 - 18*c_1101_1^12*u + 262/7*c_1101_1^12 + 1483/7*c_1101_1^11*u + 444/7*c_1101_1^11 - 2202/7*c_1101_1^10*u - 2985/7*c_1101_1^10 - 89*c_1101_1^9*u + 351*c_1101_1^9 + 549/7*c_1101_1^8*u - 135/7*c_1101_1^8 + 1822/7*c_1101_1^7*u + 2545/7*c_1101_1^7 + 601/7*c_1101_1^6*u - 2564/7*c_1101_1^6 - 641/7*c_1101_1^5*u + 108/7*c_1101_1^5 - 1755/7*c_1101_1^4*u - 2453/7*c_1101_1^4 - 674/7*c_1101_1^3*u + 2642/7*c_1101_1^3 + 2026/7*c_1101_1^2*u + 340/7*c_1101_1^2 - 541/7*c_1101_1*u - 96*c_1101_1 - 29/7*u + 72/7, c_1101_1^14 + 9*c_1101_1^13*u - 37*c_1101_1^12*u - 37*c_1101_1^12 + 83*c_1101_1^11 + 103*c_1101_1^10*u - 48*c_1101_1^9*u - 48*c_1101_1^9 - 51*c_1101_1^8 - 101*c_1101_1^7*u + 51*c_1101_1^6*u + 51*c_1101_1^6 + 48*c_1101_1^5 + 103*c_1101_1^4*u - 83*c_1101_1^3*u - 83*c_1101_1^3 + 37*c_1101_1^2 + 9*c_1101_1*u - u - 1, u^2 + u + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE FREE=VARIABLES=IN=COMPONENTS=BEGINS=HERE [ [ ], [ ] ] FREE=VARIABLES=IN=COMPONENTS=ENDS=HERE CPUTIME: 30589.590 Total time: 30589.970 seconds, Total memory usage: 23855.91MB