Magma V2.19-8 Fri Sep 13 2013 00:41:10 on localhost [Seed = 642179895] Type ? for help. Type -D to quit. Loading file "m032__sl3_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation m032 geometric_solution 3.16396323 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 4 1 1 2 3 0132 1230 0132 0132 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 0 -1 1 0 0 0 0 2 -1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.895123382260 1.552491820062 0 2 0 3 0132 3120 3012 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 0 0 0 0 0 0 0 0 -2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.721273588423 0.483419920186 3 1 3 0 1230 3120 2031 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 -1 0 1 0 0 0 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.173849793837 1.069071899876 1 2 0 2 3012 3012 0132 1302 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 -1 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 -1.504108364151 1.226851637747 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1020_2' : d['c_0012_0'], 'c_1020_3' : d['c_0201_2'], 'c_1020_0' : d['c_0021_2'] * d['u'] ** 1, 'c_1020_1' : d['c_0021_2'] * d['u'] ** 1, 'c_0201_0' : d['c_0021_3'], 'c_0201_1' : d['c_0012_2'] * d['u'] ** 2, 'c_0201_2' : d['c_0201_2'], 'c_0201_3' : d['c_0012_2'] * d['u'] ** 2, 'c_2100_0' : d['c_0201_2'] * d['u'] ** 1, 'c_2100_1' : d['c_0012_0'], 'c_2100_2' : d['c_0201_2'], 'c_2100_3' : d['c_0201_2'], 'c_2010_2' : d['c_0012_1'] * d['u'] ** 1, 'c_2010_3' : d['c_0102_2'], 'c_2010_0' : d['c_0012_2'] * d['u'] ** 2, 'c_2010_1' : d['c_0012_2'] * d['u'] ** 2, 'c_0102_0' : d['c_0012_3'], 'c_0102_1' : d['c_0021_2'] * d['u'] ** 1, 'c_0102_2' : d['c_0102_2'], 'c_0102_3' : d['c_0021_2'] * d['u'] ** 1, 'c_1101_0' : d['c_1101_0'], 'c_1101_1' : d['c_1011_0'], 'c_1101_2' : d['c_1101_2'], 'c_1101_3' : d['c_1101_3'], 'c_1200_2' : d['c_0102_2'], 'c_1200_3' : d['c_0102_2'], 'c_1200_0' : d['c_0102_2'] * d['u'] ** 2, 'c_1200_1' : d['c_0012_1'] * d['u'] ** 1, 'c_1110_2' : d['c_1101_0'] * d['u'] ** 2, 'c_1110_3' : d['c_1101_2'], 'c_1110_0' : d['c_1101_3'] * d['u'] ** 1, 'c_1110_1' : d['c_0111_3'], 'c_0120_0' : d['c_0021_2'] * d['u'] ** 2, 'c_0120_1' : d['c_0012_3'], 'c_0120_2' : d['c_0012_3'] * d['u'] ** 2, 'c_0120_3' : d['c_0012_1'] * d['u'] ** 1, 'c_2001_0' : d['c_0012_1'] * d['u'] ** 1, 'c_2001_1' : d['c_0012_0'], 'c_2001_2' : d['c_0012_1'] * d['u'] ** 1, 'c_2001_3' : d['c_0012_2'] * d['u'] ** 2, 'c_0012_2' : d['c_0012_2'], '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']) * d['u'] ** 1, 'c_0111_2' : d['c_0111_2'], 'c_0111_3' : d['c_0111_3'], 'c_0210_2' : d['c_0021_3'] * d['u'] ** 1, 'c_0210_3' : d['c_0012_0'], 'c_0210_0' : d['c_0012_2'] * d['u'] ** 1, 'c_0210_1' : d['c_0021_3'], 'c_1002_2' : d['c_0012_0'], 'c_1002_3' : d['c_0021_2'] * d['u'] ** 1, 'c_1002_0' : d['c_0012_0'], 'c_1002_1' : d['c_0012_1'] * d['u'] ** 1, 'c_1011_2' : negation(d['c_1011_1']) * d['u'] ** 1, 'c_1011_3' : d['c_0111_2'] * d['u'] ** 2, '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_0021_2'], 'c_0021_3' : d['c_0021_3']}), 'non_trivial_generalized_obstruction_class' : True} PY=EVAL=SECTION=ENDS=HERE PRIMARY_DECOMPOSITION_TIME: 1263.700 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_2, c_0012_3, c_0021_2, c_0021_3, c_0102_2, c_0111_0, c_0111_2, c_0111_3, c_0201_2, c_1011_0, c_1011_1, c_1101_0, c_1101_2, c_1101_3, u Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t + 5479955/7252*c_1101_3^3*u + 3521471/3626*c_1101_3^3 + 21222087/7252*c_1101_3^2*u + 3516626/1813*c_1101_3^2 + 3031325/3626*c_1101_3*u - 675981/7252*c_1101_3 - 5992873/7252*u - 804238/1813, c_0012_0 - 1, c_0012_1 - 1, c_0012_2 + 7/4*c_1101_3^3*u + 7/4*c_1101_3^3 + 21/4*c_1101_3^2*u + 11/4*c_1101_3^2 + 7/4*c_1101_3*u + c_1101_3 - 3/4*u - 1/4, c_0012_3 - 3/2*c_1101_3^3*u - 1/2*c_1101_3^3 - 7/2*c_1101_3^2*u - 1/2*c_1101_3^2 - 3/2*c_1101_3*u - 2*c_1101_3 - 1/2*u - 1/2, c_0021_2 - 7/4*c_1101_3^3*u - 11/4*c_1101_3^2*u + 5/2*c_1101_3^2 - c_1101_3*u + 3/4*c_1101_3 + 1/4*u - 1/2, c_0021_3 + 1/2*c_1101_3^3*u - c_1101_3^3 + 1/2*c_1101_3^2*u - 3*c_1101_3^2 + 2*c_1101_3*u + 1/2*c_1101_3 + 1/2*u, c_0102_2 - 7/4*c_1101_3^3*u - 7/4*c_1101_3^3 - 21/4*c_1101_3^2*u - 11/4*c_1101_3^2 + 1/4*c_1101_3*u + 2*c_1101_3 + 3/4*u + 5/4, c_0111_0 - 1, c_0111_2 - 5/4*c_1101_3^3*u - 11/4*c_1101_3^3 - 19/4*c_1101_3^2*u - 23/4*c_1101_3^2 + 1/4*c_1101_3*u - 1/2*c_1101_3 + 1/4*u + 5/4, c_0111_3 - 1, c_0201_2 + c_1101_3^3*u + 3/2*c_1101_3^3 + 4*c_1101_3^2*u + 3/2*c_1101_3^2 - 1/2*c_1101_3*u - 5/2*c_1101_3 - u - 3/2, c_1011_0 - 7/4*c_1101_3^3*u - 7/4*c_1101_3^3 - 21/4*c_1101_3^2*u - 11/4*c_1101_3^2 - 3/4*c_1101_3*u + 7/4*u + 5/4, c_1011_1 - 7/4*c_1101_3^3 - 5/2*c_1101_3^2*u - 21/4*c_1101_3^2 - 3/4*c_1101_3*u - 3/4*c_1101_3 + 1/2*u + 7/4, c_1101_0 + 7/4*c_1101_3^3*u + 7/4*c_1101_3^3 + 21/4*c_1101_3^2*u + 11/4*c_1101_3^2 + 7/4*c_1101_3*u + c_1101_3 - 3/4*u - 1/4, c_1101_2 - 3/2*c_1101_3^3*u + 5/4*c_1101_3^3 - c_1101_3^2*u + 19/4*c_1101_3^2 - 7/4*c_1101_3*u - 5/4*c_1101_3 - 5/4, c_1101_3^4 + 11/7*c_1101_3^3*u + 26/7*c_1101_3^3 + 10/7*c_1101_3^2*u + 16/7*c_1101_3^2 - 1/7*c_1101_3*u - 3/7*c_1101_3 - 1/7*u - 3/7, 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_2, c_0012_3, c_0021_2, c_0021_3, c_0102_2, c_0111_0, c_0111_2, c_0111_3, c_0201_2, c_1011_0, c_1011_1, c_1101_0, c_1101_2, c_1101_3, u Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 1365845719215/6392740277*c_1101_3^5*u - 110240732739/6392740277*c_1101_3^5 + 3027539048901/6392740277*c_1101_3^4*u - 356914993973/6392740277*c_1101_3^4 + 270549271858/6392740277*c_1101_3^3*u + 7046730449357/6392740277*c_1101_3^3 - 4765952889185/6392740277*c_1101_3^2*u - 2558836256183/6392740277*c_1101_3^2 - 1342233253871/6392740277*c_1101_3*u - 1649952289022/6392740277*c_1101_3 + 1098306164589/6392740277*u + 72659424396/6392740277, c_0012_0 - 1, c_0012_1 - 1307/5281*c_1101_3^5*u + 1214/5281*c_1101_3^5 - 3472/5281*c_1101_3^4*u - 8428/5281*c_1101_3^4 + 18615/5281*c_1101_3^3*u + 24105/5281*c_1101_3^3 - 19691/5281*c_1101_3^2*u + 6843/5281*c_1101_3^2 - 11224/5281*c_1101_3*u - 670/5281*c_1101_3 - 2686/5281*u - 2176/5281, c_0012_2 - 2521/5281*c_1101_3^5*u - 1307/5281*c_1101_3^5 + 4956/5281*c_1101_3^4*u - 3472/5281*c_1101_3^4 - 5490/5281*c_1101_3^3*u + 18615/5281*c_1101_3^3 - 26534/5281*c_1101_3^2*u - 19691/5281*c_1101_3^2 - 10554/5281*c_1101_3*u - 11224/5281*c_1101_3 + 4771/5281*u - 2686/5281, c_0012_3 + 12579/5281*c_1101_3^5*u + 21889/5281*c_1101_3^5 - 35205/5281*c_1101_3^4*u - 48107/5281*c_1101_3^4 + 108898/5281*c_1101_3^3*u + 27122/5281*c_1101_3^3 + 19256/5281*c_1101_3^2*u + 70081/5281*c_1101_3^2 - 13189/5281*c_1101_3*u + 10105/5281*c_1101_3 - 13403/5281*u - 11794/5281, c_0021_2 + 1307/5281*c_1101_3^5*u - 1214/5281*c_1101_3^5 + 3472/5281*c_1101_3^4*u + 8428/5281*c_1101_3^4 - 18615/5281*c_1101_3^3*u - 24105/5281*c_1101_3^3 + 19691/5281*c_1101_3^2*u - 6843/5281*c_1101_3^2 + 11224/5281*c_1101_3*u + 670/5281*c_1101_3 + 2686/5281*u + 7457/5281, c_0021_3 - 11085/5281*c_1101_3^5*u - 5571/5281*c_1101_3^5 + 22458/5281*c_1101_3^4*u + 3153/5281*c_1101_3^4 - 12564/5281*c_1101_3^3*u + 46843/5281*c_1101_3^3 - 62940/5281*c_1101_3^2*u - 35748/5281*c_1101_3^2 - 17712/5281*c_1101_3*u - 23574/5281*c_1101_3 + 4287/5281*u - 4883/5281, c_0102_2 - 9911/5281*c_1101_3^5*u - 5021/5281*c_1101_3^5 + 30490/5281*c_1101_3^4*u + 14473/5281*c_1101_3^4 - 29709/5281*c_1101_3^3*u + 19918/5281*c_1101_3^3 - 20965/5281*c_1101_3^2*u - 43523/5281*c_1101_3^2 + 14605/5281*c_1101_3*u - 11097/5281*c_1101_3 + 12910/5281*u + 11662/5281, c_0111_0 - 1, c_0111_2 - 13171/5281*c_1101_3^5*u + 694/5281*c_1101_3^5 + 30606/5281*c_1101_3^4*u - 5688/5281*c_1101_3^4 + 9380/5281*c_1101_3^3*u + 68765/5281*c_1101_3^3 - 46414/5281*c_1101_3^2*u - 17012/5281*c_1101_3^2 - 14029/5281*c_1101_3*u - 26005/5281*c_1101_3 + 8461/5281*u + 905/5281, c_0111_3 + 12000/5281*c_1101_3^5*u - 172/5281*c_1101_3^5 - 26670/5281*c_1101_3^4*u + 7406/5281*c_1101_3^4 - 3664/5281*c_1101_3^3*u - 66474/5281*c_1101_3^3 + 43524/5281*c_1101_3^2*u + 15874/5281*c_1101_3^2 + 21618/5281*c_1101_3*u + 19853/5281*c_1101_3 - 7728/5281*u + 491/5281, c_0201_2 + 7080/5281*c_1101_3^5*u + 16164/5281*c_1101_3^5 - 24713/5281*c_1101_3^4*u - 44955/5281*c_1101_3^4 + 82123/5281*c_1101_3^3*u + 44537/5281*c_1101_3^3 - 13189/5281*c_1101_3^2*u + 47072/5281*c_1101_3^2 - 34880/5281*c_1101_3*u - 2387/5281*c_1101_3 - 10263/5281*u - 18141/5281, c_1011_0 - 6000/5281*c_1101_3^5*u + 86/5281*c_1101_3^5 + 13335/5281*c_1101_3^4*u - 3703/5281*c_1101_3^4 + 1832/5281*c_1101_3^3*u + 33237/5281*c_1101_3^3 - 21762/5281*c_1101_3^2*u - 7937/5281*c_1101_3^2 - 10809/5281*c_1101_3*u - 12567/5281*c_1101_3 + 9145/5281*u + 2395/5281, c_1011_1 - 5914/5281*c_1101_3^5*u + 6172/5281*c_1101_3^5 + 9632/5281*c_1101_3^4*u - 20741/5281*c_1101_3^4 + 35069/5281*c_1101_3^3*u + 64642/5281*c_1101_3^3 - 29699/5281*c_1101_3^2*u + 5888/5281*c_1101_3^2 - 18095/5281*c_1101_3*u - 9044/5281*c_1101_3 + 978/5281*u - 4355/5281, c_1101_0 - 11046/5281*c_1101_3^5*u + 8365/5281*c_1101_3^5 + 19612/5281*c_1101_3^4*u - 28031/5281*c_1101_3^4 + 55380/5281*c_1101_3^3*u + 106833/5281*c_1101_3^3 - 56530/5281*c_1101_3^2*u - 9030/5281*c_1101_3^2 - 16472/5281*c_1101_3*u - 10002/5281*c_1101_3 + 4452/5281*u - 4014/5281, c_1101_2 + 656/5281*c_1101_3^5*u - 12036/5281*c_1101_3^5 + 9949/5281*c_1101_3^4*u + 30922/5281*c_1101_3^4 - 83964/5281*c_1101_3^3*u - 59866/5281*c_1101_3^3 + 24813/5281*c_1101_3^2*u - 47816/5281*c_1101_3^2 + 23024/5281*c_1101_3*u + 6486/5281*c_1101_3 + 5619/5281*u + 11638/5281, c_1101_3^6 - c_1101_3^5*u - 3*c_1101_3^5 + 48/7*c_1101_3^4*u + 39/7*c_1101_3^4 - 23/7*c_1101_3^3*u + 22/7*c_1101_3^3 - 18/7*c_1101_3^2*u - 12/7*c_1101_3^2 - 1/7*c_1101_3*u - 10/7*c_1101_3 + 3/7*u + 2/7, u^2 + u + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE FREE=VARIABLES=IN=COMPONENTS=BEGINS=HERE [ [ ], [ ] ] FREE=VARIABLES=IN=COMPONENTS=ENDS=HERE CPUTIME: 1263.700 Total time: 1263.900 seconds, Total memory usage: 467.81MB