Magma V2.19-8 Thu Jan 30 2014 04:09:46 on localhost [Seed = 1558452459] Type ? for help. Type -D to quit. Loading file "m149__sl3_c1.magma.fgb_processed" ==TRIANGULATION=BEGINS== % Triangulation m149 geometric_solution 3.75884495 oriented_manifold CS_unknown 1 0 torus 0.000000000000 0.000000000000 4 1 2 1 3 0132 0132 2310 0132 0 0 0 0 0 0 1 -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 1 -1 0 0 0 -1 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.091020400167 0.755224694924 0 0 2 3 0132 3201 1230 1230 0 0 0 0 0 -1 1 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 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.650847936816 0.540756288275 3 0 3 1 3012 0132 2310 3012 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 -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 0 0 0.760689853402 0.857873626595 1 2 0 2 3012 3201 0132 1230 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 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 0 0 0 0 0 0 0 0.760689853402 0.857873626595 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1020_2' : d['c_0201_1'], 'c_1020_3' : d['c_0102_2'], 'c_1020_0' : d['c_0201_2'], 'c_1020_1' : d['c_0102_1'], 'c_0201_0' : d['c_0021_3'], 'c_0201_1' : d['c_0201_1'], 'c_0201_2' : d['c_0201_2'], 'c_0201_3' : d['c_0201_1'], 'c_2100_0' : d['c_0012_0'] * d['u'] ** 1, 'c_2100_1' : d['c_0012_0'] * d['u'] ** 1, 'c_2100_2' : d['c_0021_3'], 'c_2100_3' : d['c_0012_0'] * d['u'] ** 2, 'c_2010_2' : d['c_0102_1'], 'c_2010_3' : d['c_0201_2'], 'c_2010_0' : d['c_0102_2'], 'c_2010_1' : d['c_0201_1'], 'c_0102_0' : d['c_0012_3'], 'c_0102_1' : d['c_0102_1'], 'c_0102_2' : d['c_0102_2'], 'c_0102_3' : d['c_0102_1'], 'c_1101_0' : d['c_1011_1'], 'c_1101_1' : d['c_1101_1'], 'c_1101_2' : d['c_1011_3'], 'c_1101_3' : d['c_1101_3'], 'c_1200_2' : d['c_0012_3'], 'c_1200_3' : d['c_0012_1'] * d['u'] ** 2, 'c_1200_0' : d['c_0012_1'], 'c_1200_1' : d['c_0012_1'], 'c_1110_2' : d['c_1101_1'], 'c_1110_3' : d['c_0111_2'] * d['u'] ** 1, 'c_1110_0' : d['c_1101_3'] * d['u'] ** 2, 'c_1110_1' : d['c_0111_3'] * d['u'] ** 2, 'c_0120_0' : d['c_0102_1'] * d['u'] ** 2, 'c_0120_1' : d['c_0012_3'] * d['u'] ** 2, 'c_0120_2' : d['c_0012_1'], 'c_0120_3' : d['c_0012_1'] * d['u'] ** 2, 'c_2001_0' : d['c_0102_1'], 'c_2001_1' : d['c_0012_3'], 'c_2001_2' : d['c_0102_2'], 'c_2001_3' : d['c_0102_2'], 'c_0012_2' : d['c_0012_1'] * d['u'] ** 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_0012_0'] * d['u'] ** 1, 'c_0210_3' : d['c_0012_0'] * d['u'] ** 2, 'c_0210_0' : d['c_0201_1'] * d['u'] ** 1, 'c_0210_1' : d['c_0021_3'] * d['u'] ** 1, 'c_1002_2' : d['c_0201_2'], 'c_1002_3' : d['c_0201_2'], 'c_1002_0' : d['c_0201_1'], 'c_1002_1' : d['c_0021_3'], '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'] ** 1, 'c_0021_1' : d['c_0012_0'] * d['u'] ** 1, '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 Status: Computed Groebner Basis Status: Saturated 1 / 17 Status: Saturated 2 / 17 Status: Saturated 3 / 17 Status: Saturated 4 / 17 Status: Saturated 5 / 17 Status: Saturated 6 / 17 Status: Saturated 7 / 17 Status: Saturated 8 / 17 Status: Saturated 9 / 17 Status: Saturated 10 / 17 Status: Saturated 11 / 17 Status: Saturated 12 / 17 Status: Saturated 13 / 17 Status: Saturated 14 / 17 Status: Saturated 15 / 17 Status: Saturated 16 / 17 Status: Saturated 17 / 17 Dimension: 0 [] DECOMPOSITION=TYPE: Radicals of Primary Decomposition computed in several steps IDEAL=DECOMPOSITION=TIME: 11.500 IDEAL=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: c_0012_0, c_0012_1, c_0012_3, c_0021_3, c_0102_1, c_0102_2, c_0111_0, c_0111_2, c_0111_3, c_0201_1, c_0201_2, c_1011_0, c_1011_1, c_1011_3, c_1101_1, c_1101_3, u Inhomogeneous, Dimension 0, Radical, Prime Groebner basis: [ c_0012_0 - 1, c_0012_1 + 1449/22444*c_1011_3*c_1101_3^6*u - 2057/11222*c_1011_3*c_1101_3^6 - 33007/33666*c_1011_3*c_1101_3^5*u - 19240/16833*c_1011_3*c_1101_3^5 + 731/16833*c_1011_3*c_1101_3^4*u - 112115/67332*c_1011_3*c_1101_3^4 + 7535/5611*c_1011_3*c_1101_3^3*u + 15697/11222*c_1011_3*c_1101_3^3 + 24685/67332*c_1011_3*c_1101_3^2*u - 9803/33666*c_1011_3*c_1101_3^2 - 17225/33666*c_1011_3*c_1101_3*u - 19027/33666*c_1011_3*c_1101_3 + 20680/16833*c_1011_3*u + 55895/67332*c_1011_3, c_0012_3 - 4785/11222*c_1101_3^6*u + 508/5611*c_1101_3^6 + 5935/5611*c_1101_3^5*u + 33743/11222*c_1101_3^5 - 3935/11222*c_1101_3^4*u + 10473/5611*c_1101_3^4 + 5880/5611*c_1101_3^3*u - 11978/5611*c_1101_3^3 - 51049/11222*c_1101_3^2*u - 18000/5611*c_1101_3^2 - 3011/5611*c_1101_3*u + 22577/11222*c_1101_3 - 3699/11222*u - 13429/5611, c_0021_3 - 24007/67332*c_1011_3*c_1101_3^6*u - 7795/33666*c_1011_3*c_1101_3^6 - 31657/33666*c_1011_3*c_1101_3^5*u + 64571/67332*c_1011_3*c_1101_3^5 - 42209/22444*c_1011_3*c_1101_3^4*u - 13891/22444*c_1011_3*c_1101_3^4 + 30433/33666*c_1011_3*c_1101_3^3*u - 12169/33666*c_1011_3*c_1101_3^3 - 125363/67332*c_1011_3*c_1101_3^2*u - 50818/16833*c_1011_3*c_1101_3^2 + 7091/16833*c_1011_3*c_1101_3*u + 129895/67332*c_1011_3*c_1101_3 + 927/22444*c_1011_3*u - 36751/22444*c_1011_3, c_0102_1 + 1652/16833*c_1011_3^2*c_1101_3^6*u + 24961/67332*c_1011_3^2*c_1101_3^6 + 134237/67332*c_1011_3^2*c_1101_3^5*u + 16987/16833*c_1011_3^2*c_1101_3^5 + 30241/67332*c_1011_3^2*c_1101_3^4*u + 94625/67332*c_1011_3^2*c_1101_3^4 - 135971/67332*c_1011_3^2*c_1101_3^3*u - 42301/16833*c_1011_3^2*c_1101_3^3 - 32455/67332*c_1011_3^2*c_1101_3^2*u + 188935/67332*c_1011_3^2*c_1101_3^2 + 37633/33666*c_1011_3^2*c_1101_3*u + 6143/33666*c_1011_3^2*c_1101_3 - 54073/33666*c_1011_3^2*u - 63367/67332*c_1011_3^2, c_0102_2 - 10631/22444*c_1101_3^6*u - 1041/5611*c_1101_3^6 - 2873/5611*c_1101_3^5*u + 36907/22444*c_1101_3^5 - 71771/22444*c_1101_3^4*u - 22755/22444*c_1101_3^4 + 14383/11222*c_1101_3^3*u - 13870/5611*c_1101_3^3 - 39983/22444*c_1101_3^2*u - 7472/5611*c_1101_3^2 + 787/11222*c_1101_3*u - 523/22444*c_1101_3 - 2667/22444*u - 38373/22444, c_0111_0 - 1, c_0111_2 - 2501/67332*c_1011_3*c_1101_3^6*u + 902/16833*c_1011_3*c_1101_3^6 + 23729/67332*c_1011_3*c_1101_3^5*u + 8275/16833*c_1011_3*c_1101_3^5 + 3059/22444*c_1011_3*c_1101_3^4*u + 3128/5611*c_1011_3*c_1101_3^4 + 6257/33666*c_1011_3*c_1101_3^3*u + 5047/33666*c_1011_3*c_1101_3^3 - 33631/67332*c_1011_3*c_1101_3^2*u + 7714/16833*c_1011_3*c_1101_3^2 + 10381/67332*c_1011_3*c_1101_3*u + 20935/33666*c_1011_3*c_1101_3 - 2523/22444*c_1011_3*u + 542/5611*c_1011_3, c_0111_3 + 463/67332*c_1011_3^2*c_1101_3^6*u - 5911/67332*c_1011_3^2*c_1101_3^6 - 32311/67332*c_1011_3^2*c_1101_3^5*u - 34241/67332*c_1011_3^2*c_1101_3^5 - 3642/5611*c_1011_3^2*c_1101_3^4*u - 5784/5611*c_1011_3^2*c_1101_3^4 + 2863/22444*c_1011_3^2*c_1101_3^3*u + 1451/5611*c_1011_3^2*c_1101_3^3 + 6863/33666*c_1011_3^2*c_1101_3^2*\ u + 11381/67332*c_1011_3^2*c_1101_3^2 + 11117/33666*c_1011_3^2*c_1101_3*u - 22417/67332*c_1011_3^2*c_1101_3 - 29945/67332*c_1011_3^2*u - 1342/16833*c_1011_3^2, c_0201_1 + 18353/67332*c_1011_3^2*c_1101_3^6*u - 1652/16833*c_1011_3^2*c_1101_3^6 - 66289/67332*c_1011_3^2*c_1101_3^5*u - 134237/67332*c_1011_3^2*c_1101_3^5 + 16096/16833*c_1011_3^2*c_1101_3^4*u - 30241/67332*c_1011_3^2*c_1101_3^4 - 33233/67332*c_1011_3^2*c_1101_3^3*u + 135971/67332*c_1011_3^2*c_1101_3^3 + 110695/33666*c_1011_3^2*c_1101_3^2*u + 32455/67332*c_1011_3^2*c_1101_3^2 - 15745/16833*c_1011_3^2*c_1101_3*u - 37633/33666*c_1011_3^2*c_1101_3 + 44779/67332*c_1011_3^2*u + 54073/33666*c_1011_3^2, c_0201_2 + 1479/5611*c_1011_3*c_1101_3^6*u - 110/5611*c_1011_3*c_1101_3^6 - 6926/16833*c_1011_3*c_1101_3^5*u - 25882/16833*c_1011_3*c_1101_3^5 + 37393/33666*c_1011_3*c_1101_3^4*u - 10139/16833*c_1011_3*c_1101_3^4 - 13901/11222*c_1011_3*c_1101_3^3*u + 13891/11222*c_1011_3*c_1101_3^3 + 29075/33666*c_1011_3*c_1101_3^2*u - 4139/33666*c_1011_3*c_1101_3^2 + 5149/33666*c_1011_3*c_1101_3*u - 2185/33666*c_1011_3*c_1101_3 + 3532/16833*c_1011_3*u + 2779/33666*c_1011_3, c_1011_0 + 9727/67332*c_1011_3^2*c_1101_3^6*u + 593/67332*c_1011_3^2*c_1101_3^6 - 1111/22444*c_1011_3^2*c_1101_3^5*\ u - 8305/11222*c_1011_3^2*c_1101_3^5 + 13405/16833*c_1011_3^2*c_1101_3^4*u - 14669/33666*c_1011_3^2*c_1101_3^4 - 7495/67332*c_1011_3^2*c_1101_3^3*u + 7777/67332*c_1011_3^2*c_1101_3^3 + 34483/33666*c_1011_3^2*c_1101_3^2*u + 3274/16833*c_1011_3^2*c_1101_3^2 - 73/33666*c_1011_3^2*c_1101_3*u + 9317/67332*c_1011_3^2*c_1101_3 + 26741/67332*c_1011_3^2*u + 38965/67332*c_1011_3^2, c_1011_1 + 3187/33666*c_1011_3^2*c_1101_3^6*u + 463/67332*c_1011_3^2*c_1101_3^6 + 965/33666*c_1011_3^2*c_1101_3^5*u - 32311/67332*c_1011_3^2*c_1101_3^5 + 2142/5611*c_1011_3^2*c_1101_3^4*u - 3642/5611*c_1011_3^2*c_1101_3^4 - 2941/22444*c_1011_3^2*c_1101_3^3*u + 2863/22444*c_1011_3^2*c_1101_3^3 + 2345/67332*c_1011_3^2*c_1101_3^2*u + 6863/33666*c_1011_3^2*c_1101_3^2 + 44651/67332*c_1011_3^2*c_1101_3*u + 11117/33666*c_1011_3^2*c_1101_3 - 24577/67332*c_1011_3^2*u - 29945/67332*c_1011_3^2, c_1011_3^3 - 2407/22444*c_1101_3^6*u - 11153/22444*c_1101_3^6 - 61191/22444*c_1101_3^5*u - 6630/5611*c_1101_3^5 + 19839/11222*c_1101_3^4*u - 20171/22444*c_1101_3^4 - 24077/11222*c_1101_3^3*u - 4359/11222*c_1101_3^3 + 42741/22444*c_1101_3^2*u + 16067/22444*c_1101_3^2 - 1635/22444*c_1101_3*u - 19333/11222*c_1101_3 + 8946/5611*u - 5723/22444, c_1101_1 - u, c_1101_3^7 + 5*c_1101_3^6*u + 4*c_1101_3^6 + 7*c_1101_3^5 - 9*c_1101_3^4*u - 10*c_1101_3^4 + 3*c_1101_3^3 - c_1101_3^2*u - 4*c_1101_3*u - 3*c_1101_3 + u - 2, u^2 + u + 1 ] ] IDEAL=DECOMPOSITION=ENDS=HERE FREE=VARIABLES=IN=COMPONENTS=BEGINS=HERE [ [ ] ] FREE=VARIABLES=IN=COMPONENTS=ENDS=HERE CPUTIME: 11.500 Total time: 11.990 seconds, Total memory usage: 83.94MB