Magma V2.19-8 Tue Sep 17 2013 03:28:27 on localhost [Seed = 4237732371] Type ? for help. Type -D to quit. Loading file "m004__sl4_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation m004 geometric_solution 2.02988321 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 2 1 1 1 1 0132 1230 2310 2103 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 1 0 -1 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.500000000000 0.866025403784 0 0 0 0 0132 3201 3012 2103 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 0 1 -1 0 1 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.500000000000 0.866025403784 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 'c_0022_1' : d['c_0022_0'], 'c_0022_0' : d['c_0022_0'], 's_2_0' : d['1'], 's_2_1' : d['1'], 'c_3001_1' : negation(d['c_0013_0']), 'c_3001_0' : d['c_0301_1'], 'c_2101_1' : d['c_1012_0'], 'c_3100_1' : negation(d['c_0103_1']), 'c_3100_0' : negation(d['c_0013_0']), 'c_2011_1' : d['c_1102_0'], 'c_0031_0' : negation(d['c_0013_1']), 's_1_1' : d['1'], 's_1_0' : d['1'], 'c_0103_1' : d['c_0103_1'], 'c_0103_0' : d['c_0013_0'], 's_0_1' : negation(d['1']), 's_0_0' : negation(d['1']), 'c_0202_0' : d['c_0022_0'], 'c_1120_1' : d['c_1120_1'], 'c_1021_0' : d['c_1021_0'], 'c_0301_1' : d['c_0301_1'], 'c_1201_1' : d['c_1201_1'], 'c_1201_0' : negation(d['c_1012_1']), 'c_0202_1' : d['c_0202_1'], 'c_0301_0' : negation(d['c_0013_1']), 'c_0220_0' : d['c_0202_1'], 'c_0220_1' : d['c_0022_0'], 'c_1102_0' : d['c_1102_0'], 'c_3010_1' : negation(d['c_0103_1']), 'c_3010_0' : d['c_0301_1'], 'c_2110_1' : negation(d['c_1120_0']), 'c_2110_0' : negation(d['c_1120_1']), 'c_0121_1' : d['c_0112_0'], 'c_0121_0' : d['c_0112_1'], 'c_0031_1' : negation(d['c_0013_0']), 'c_2200_0' : d['c_0022_0'], 'c_1012_1' : d['c_1012_1'], 'c_1012_0' : d['c_1012_0'], 'c_0013_1' : d['c_0013_1'], 'c_0013_0' : d['c_0013_0'], 'c_2200_1' : d['c_0202_1'], 'c_2101_0' : negation(d['c_1021_1']), 'c_2002_1' : d['c_0022_0'], 'c_2002_0' : d['c_0202_1'], 'c_2011_0' : negation(d['c_1201_1']), 'c_1102_1' : negation(d['c_1021_0']), 'c_0211_1' : negation(d['c_0211_0']), 'c_0211_0' : d['c_0211_0'], 'c_1003_1' : d['c_0013_1'], 'c_1003_0' : d['c_0103_1'], 'c_1210_1' : negation(d['c_1210_0']), 'c_1210_0' : d['c_1210_0'], 'c_1300_1' : negation(d['c_0301_1']), 'c_1300_0' : d['c_0013_1'], 'c_1030_1' : negation(d['c_0301_1']), 'c_1030_0' : d['c_0103_1'], 'c_1021_1' : d['c_1021_1'], 'c_0130_1' : d['c_0013_0'], 'c_0130_0' : d['c_0103_1'], 'c_1120_0' : d['c_1120_0'], 'c_0112_1' : d['c_0112_1'], 'c_0112_0' : d['c_0112_0'], 'c_0310_1' : negation(d['c_0013_1']), 'c_0310_0' : d['c_0301_1'], 'c_2020_1' : d['c_0202_1'], 'c_2020_0' : d['c_0202_1'], 'c_1111_0' : d['c_1111_0'], 'c_1111_1' : d['c_1111_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY_DECOMPOSITION_TIME: 1085.240 PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 21 over Rational Field Order: Lexicographical Variables: t, c_0013_0, c_0013_1, c_0022_0, c_0103_1, c_0112_0, c_0112_1, c_0202_1, c_0211_0, c_0301_1, c_1012_0, c_1012_1, c_1021_0, c_1021_1, c_1102_0, c_1111_0, c_1111_1, c_1120_0, c_1120_1, c_1201_1, c_1210_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 2 Groebner basis: [ t - 1, c_0013_0 - 1, c_0013_1 + 1, c_0022_0 - 1, c_0103_1 - 1, c_0112_0 - 1, c_0112_1 + c_1210_0 + 1, c_0202_1 + c_1210_0 + 1, c_0211_0 + c_1210_0 + 1, c_0301_1 - 1, c_1012_0 - c_1210_0, c_1012_1 + 1, c_1021_0 - c_1210_0, c_1021_1 - c_1210_0 - 1, c_1102_0 - c_1210_0 - 1, c_1111_0 - c_1210_0 - 1, c_1111_1 + c_1210_0 + 1, c_1120_0 + 1, c_1120_1 + c_1210_0, c_1201_1 + 1, c_1210_0^2 + c_1210_0 + 1 ], Ideal of Polynomial ring of rank 21 over Rational Field Order: Lexicographical Variables: t, c_0013_0, c_0013_1, c_0022_0, c_0103_1, c_0112_0, c_0112_1, c_0202_1, c_0211_0, c_0301_1, c_1012_0, c_1012_1, c_1021_0, c_1021_1, c_1102_0, c_1111_0, c_1111_1, c_1120_0, c_1120_1, c_1201_1, c_1210_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 6 Groebner basis: [ t + 344695379/656*c_1210_0^5 - 4188907419/2624*c_1210_0^4 + 2604336665/656*c_1210_0^3 - 479186773/128*c_1210_0^2 + 6537926397/5248*c_1210_0 - 472074959/5248, c_0013_0 - 1, c_0013_1 + 1, c_0022_0 - 1, c_0103_1 - 768/41*c_1210_0^5 + 2104/41*c_1210_0^4 - 5286/41*c_1210_0^3 + 102*c_1210_0^2 - 1255/41*c_1210_0 + 209/41, c_0112_0 - 1, c_0112_1 + 768/41*c_1210_0^5 - 2104/41*c_1210_0^4 + 5286/41*c_1210_0^3 - 102*c_1210_0^2 + 1296/41*c_1210_0 - 209/41, c_0202_1 + 1116/41*c_1210_0^5 - 2919/41*c_1210_0^4 + 7334/41*c_1210_0^3 - 253/2*c_1210_0^2 + 2639/82*c_1210_0 - 437/82, c_0211_0 + 768/41*c_1210_0^5 - 2104/41*c_1210_0^4 + 5286/41*c_1210_0^3 - 102*c_1210_0^2 + 1296/41*c_1210_0 - 209/41, c_0301_1 - 768/41*c_1210_0^5 + 2104/41*c_1210_0^4 - 5286/41*c_1210_0^3 + 102*c_1210_0^2 - 1255/41*c_1210_0 + 209/41, c_1012_0 - c_1210_0, c_1012_1 + 1, c_1021_0 - c_1210_0, c_1021_1 - 768/41*c_1210_0^5 + 2104/41*c_1210_0^4 - 5286/41*c_1210_0^3 + 102*c_1210_0^2 - 1296/41*c_1210_0 + 209/41, c_1102_0 - 768/41*c_1210_0^5 + 2104/41*c_1210_0^4 - 5286/41*c_1210_0^3 + 102*c_1210_0^2 - 1296/41*c_1210_0 + 209/41, c_1111_0 + 392/41*c_1210_0^5 - 1050/41*c_1210_0^4 + 2634/41*c_1210_0^3 - 48*c_1210_0^2 + 518/41*c_1210_0 - 96/41, c_1111_1 - 392/41*c_1210_0^5 + 1050/41*c_1210_0^4 - 2634/41*c_1210_0^3 + 48*c_1210_0^2 - 518/41*c_1210_0 + 96/41, c_1120_0 - 1176/41*c_1210_0^5 + 3150/41*c_1210_0^4 - 7902/41*c_1210_0^3 + 145*c_1210_0^2 - 1636/41*c_1210_0 + 247/41, c_1120_1 + c_1210_0, c_1201_1 - 1176/41*c_1210_0^5 + 3150/41*c_1210_0^4 - 7902/41*c_1210_0^3 + 145*c_1210_0^2 - 1636/41*c_1210_0 + 247/41, c_1210_0^6 - 13/4*c_1210_0^5 + 33/4*c_1210_0^4 - 71/8*c_1210_0^3 + 17/4*c_1210_0^2 - c_1210_0 + 1/8 ], Ideal of Polynomial ring of rank 21 over Rational Field Order: Lexicographical Variables: t, c_0013_0, c_0013_1, c_0022_0, c_0103_1, c_0112_0, c_0112_1, c_0202_1, c_0211_0, c_0301_1, c_1012_0, c_1012_1, c_1021_0, c_1021_1, c_1102_0, c_1111_0, c_1111_1, c_1120_0, c_1120_1, c_1201_1, c_1210_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t + 303680195775/6272*c_1210_0^7 - 822371388031/3584*c_1210_0^6 + 14411199270869/25088*c_1210_0^5 - 85848659127453/200704*c_1210_0^4 - 855614376703/50176*c_1210_0^3 + 10178233276877/100352*c_1210_0^2 - 56332570755/50176*c_1210_0 - 984590760997/200704, c_0013_0 - 1, c_0013_1 - 2048/49*c_1210_0^7 + 212*c_1210_0^6 - 27831/49*c_1210_0^5 + 27686/49*c_1210_0^4 - 74015/392*c_1210_0^3 - 6957/392*c_1210_0^2 + 5287/392*c_1210_0 - 1843/392, c_0022_0 - 1, c_0103_1 + 1514/49*c_1210_0^7 - 2197/14*c_1210_0^6 + 41327/98*c_1210_0^5 - 332767/784*c_1210_0^4 + 29905/196*c_1210_0^3 + 1109/392*c_1210_0^2 - 1621/196*c_1210_0 + 3173/784, c_0112_0 - 1, c_0112_1 + 48/7*c_1210_0^7 - 248/7*c_1210_0^6 + 671/7*c_1210_0^5 - 1385/14*c_1210_0^4 + 1899/56*c_1210_0^3 + 111/56*c_1210_0^2 - 39/56*c_1210_0 + 25/56, c_0202_1 - 1795/49*c_1210_0^7 + 5219/28*c_1210_0^6 - 98473/196*c_1210_0^5 + 800425/1568*c_1210_0^4 - 74847/392*c_1210_0^3 - 1969/784*c_1210_0^2 + 4905/392*c_1210_0 - 7055/1568, c_0211_0 + 48/7*c_1210_0^7 - 248/7*c_1210_0^6 + 671/7*c_1210_0^5 - 1385/14*c_1210_0^4 + 1899/56*c_1210_0^3 + 111/56*c_1210_0^2 - 39/56*c_1210_0 + 25/56, c_0301_1 + 1514/49*c_1210_0^7 - 2197/14*c_1210_0^6 + 41327/98*c_1210_0^5 - 332767/784*c_1210_0^4 + 29905/196*c_1210_0^3 + 1109/392*c_1210_0^2 - 1621/196*c_1210_0 + 3173/784, c_1012_0 - 2998/49*c_1210_0^7 + 4307/14*c_1210_0^6 - 80415/98*c_1210_0^5 + 629777/784*c_1210_0^4 - 106381/392*c_1210_0^3 - 3183/196*c_1210_0^2 + 6637/392*c_1210_0 - 5637/784, c_1012_1 + 3216/49*c_1210_0^7 - 2320/7*c_1210_0^6 + 43387/49*c_1210_0^5 - 85503/98*c_1210_0^4 + 113655/392*c_1210_0^3 + 8849/392*c_1210_0^2 - 7243/392*c_1210_0 + 2959/392, c_1021_0 - c_1210_0, c_1021_1 - 212/7*c_1210_0^7 + 1055/7*c_1210_0^6 - 2792/7*c_1210_0^5 + 21215/56*c_1210_0^4 - 6653/56*c_1210_0^3 - 751/56*c_1210_0^2 + 485/56*c_1210_0 - 22/7, c_1102_0 - 212/7*c_1210_0^7 + 1055/7*c_1210_0^6 - 2792/7*c_1210_0^5 + 21215/56*c_1210_0^4 - 6653/56*c_1210_0^3 - 751/56*c_1210_0^2 + 485/56*c_1210_0 - 22/7, c_1111_0 - 2360/49*c_1210_0^7 + 1702/7*c_1210_0^6 - 31848/49*c_1210_0^5 + 125749/196*c_1210_0^4 - 42571/196*c_1210_0^3 - 2813/196*c_1210_0^2 + 2571/196*c_1210_0 - 270/49, c_1111_1 + 2360/49*c_1210_0^7 - 1702/7*c_1210_0^6 + 31848/49*c_1210_0^5 - 125749/196*c_1210_0^4 + 42571/196*c_1210_0^3 + 2813/196*c_1210_0^2 - 2571/196*c_1210_0 + 270/49, c_1120_0 - 260/7*c_1210_0^7 + 1303/7*c_1210_0^6 - 3463/7*c_1210_0^5 + 26755/56*c_1210_0^4 - 1069/7*c_1210_0^3 - 431/28*c_1210_0^2 + 131/14*c_1210_0 - 201/56, c_1120_1 + 2998/49*c_1210_0^7 - 4307/14*c_1210_0^6 + 80415/98*c_1210_0^5 - 629777/784*c_1210_0^4 + 106381/392*c_1210_0^3 + 3183/196*c_1210_0^2 - 6637/392*c_1210_0 + 5637/784, c_1201_1 - 260/7*c_1210_0^7 + 1303/7*c_1210_0^6 - 3463/7*c_1210_0^5 + 26755/56*c_1210_0^4 - 1069/7*c_1210_0^3 - 431/28*c_1210_0^2 + 131/14*c_1210_0 - 201/56, c_1210_0^8 - 19/4*c_1210_0^7 + 12*c_1210_0^6 - 299/32*c_1210_0^5 + 21/32*c_1210_0^4 + 25/16*c_1210_0^3 - 3/16*c_1210_0^2 + 1/32*c_1210_0 + 1/32 ], Ideal of Polynomial ring of rank 21 over Rational Field Order: Lexicographical Variables: t, c_0013_0, c_0013_1, c_0022_0, c_0103_1, c_0112_0, c_0112_1, c_0202_1, c_0211_0, c_0301_1, c_1012_0, c_1012_1, c_1021_0, c_1021_1, c_1102_0, c_1111_0, c_1111_1, c_1120_0, c_1120_1, c_1201_1, c_1210_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t + 134797/128*c_1210_0^6 - 404391/128*c_1210_0^5 + 9117877/768*c_1210_0^4 - 3547961/192*c_1210_0^3 + 2082607/64*c_1210_0^2 - 18299753/768*c_1210_0 + 3537131/768, c_0013_0 - 1, c_0013_1 + 1, c_0022_0 - 1, c_0103_1 - 8/3*c_1210_0^7 + 8*c_1210_0^6 - 30*c_1210_0^5 + 140/3*c_1210_0^4 - 245/3*c_1210_0^3 + 179/3*c_1210_0^2 - 31/3*c_1210_0, c_0112_0 - 1, c_0112_1 + 8/3*c_1210_0^7 - 8*c_1210_0^6 + 30*c_1210_0^5 - 140/3*c_1210_0^4 + 245/3*c_1210_0^3 - 179/3*c_1210_0^2 + 28/3*c_1210_0 + 1, c_0202_1 + 7/3*c_1210_0^6 - 7*c_1210_0^5 + 157/6*c_1210_0^4 - 122/3*c_1210_0^3 + 214/3*c_1210_0^2 - 313/6*c_1210_0 + 21/2, c_0211_0 - 8/3*c_1210_0^7 + 32/3*c_1210_0^6 - 38*c_1210_0^5 + 230/3*c_1210_0^4 - 385/3*c_1210_0^3 + 424/3*c_1210_0^2 - 69*c_1210_0 + 31/3, c_0301_1 + 8/3*c_1210_0^7 - 32/3*c_1210_0^6 + 38*c_1210_0^5 - 230/3*c_1210_0^4 + 385/3*c_1210_0^3 - 424/3*c_1210_0^2 + 70*c_1210_0 - 31/3, c_1012_0 + c_1210_0 - 1, c_1012_1 + 1, c_1021_0 + c_1210_0 - 1, c_1021_1 + 8/3*c_1210_0^7 - 32/3*c_1210_0^6 + 38*c_1210_0^5 - 230/3*c_1210_0^4 + 385/3*c_1210_0^3 - 424/3*c_1210_0^2 + 69*c_1210_0 - 31/3, c_1102_0 - 8/3*c_1210_0^7 + 8*c_1210_0^6 - 30*c_1210_0^5 + 140/3*c_1210_0^4 - 245/3*c_1210_0^3 + 179/3*c_1210_0^2 - 28/3*c_1210_0 - 1, c_1111_0 + 2/3*c_1210_0^6 - 2*c_1210_0^5 + 23/3*c_1210_0^4 - 12*c_1210_0^3 + 65/3*c_1210_0^2 - 16*c_1210_0 + 8/3, c_1111_1 - 2/3*c_1210_0^6 + 2*c_1210_0^5 - 23/3*c_1210_0^4 + 12*c_1210_0^3 - 65/3*c_1210_0^2 + 16*c_1210_0 - 8/3, c_1120_0 - 26/3*c_1210_0^7 + 28*c_1210_0^6 - 311/3*c_1210_0^5 + 523/3*c_1210_0^4 - 907/3*c_1210_0^3 + 257*c_1210_0^2 - 247/3*c_1210_0 + 26/3, c_1120_1 + c_1210_0, c_1201_1 + 26/3*c_1210_0^7 - 98/3*c_1210_0^6 + 353/3*c_1210_0^5 - 682/3*c_1210_0^4 + 385*c_1210_0^3 - 1208/3*c_1210_0^2 + 189*c_1210_0 - 29, c_1210_0^8 - 4*c_1210_0^7 + 29/2*c_1210_0^6 - 59/2*c_1210_0^5 + 51*c_1210_0^4 - 115/2*c_1210_0^3 + 34*c_1210_0^2 - 19/2*c_1210_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE FREE=VARIABLES=IN=COMPONENTS=BEGINS=HERE [ [ ], [ ], [ ], [ ] ] FREE=VARIABLES=IN=COMPONENTS=ENDS=HERE CPUTIME: 1085.250 Total time: 1085.470 seconds, Total memory usage: 4141.34MB