Magma V2.19-8 Tue Aug 20 2013 16:18:39 on localhost [Seed = 3398129658] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2821 geometric_solution 6.04462666 oriented_manifold CS_known 0.0000000000000006 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 1023 2310 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 -1 0 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.312703337194 0.414960398861 2 0 0 3 0132 0132 1023 0132 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.735863647280 0.651596878217 1 4 5 3 0132 0132 0132 2031 1 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 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.437607042304 0.459614387928 4 2 1 5 3201 1302 0132 3201 0 0 1 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 0 0 1 -1 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.437607042304 0.459614387928 6 2 5 3 0132 0132 0321 2310 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 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0.913439753475 1.141203578499 6 3 4 2 1023 2310 0321 0132 1 0 0 0 0 0 0 0 -1 0 0 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 1 -1 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.913439753475 1.141203578499 4 5 6 6 0132 1023 2031 1302 0 0 0 0 0 1 0 -1 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 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.437607042304 0.459614387928 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0101_2']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0110_3']), 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0110_3'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0110_3']), 'c_1010_4' : negation(d['c_0110_3']), 'c_1010_3' : negation(d['c_0011_3']), 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0101_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0110_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 2439488612183661/620501454878720*c_0101_4^12 - 2860524110668591/1551253637196800*c_0101_4^11 - 740359408658311/96953352324800*c_0101_4^10 - 195948733003077923/3102507274393600*c_0101_4^9 + 5411003429075443/193906704649600*c_0101_4^8 - 14064909586670953/62050145487872*c_0101_4^7 + 290870269621377547/3102507274393600*c_0101_4^6 - 104127518567310577/387813409299200*c_0101_4^5 + 24373597989672417/310250727439360*c_0101_4^4 - 35816986951216117/387813409299200*c_0101_4^3 - 4696365109717601/155125363719680*c_0101_4^2 + 965391529684299/12119169040600*c_0101_4 + 2106148866095597/387813409299200, c_0011_0 - 1, c_0011_3 + 55049866979/9695335232480*c_0101_4^12 - 29627570251/24238338081200*c_0101_4^11 + 186513917439/24238338081200*c_0101_4^10 + 4389939092897/48476676162400*c_0101_4^9 - 1142270814783/12119169040600*c_0101_4^8 + 41494494501/121191690406*c_0101_4^7 - 9144119915533/48476676162400*c_0101_4^6 + 749384517632/1514896130075*c_0101_4^5 - 18784277488/302979226015*c_0101_4^4 + 4663115947213/6059584520300*c_0101_4^3 + 274681190279/2423833808120*c_0101_4^2 + 3127791842749/3029792260150*c_0101_4 - 33603144202/1514896130075, c_0101_0 + 290931846887/4847667616240*c_0101_4^12 + 3051938724197/12119169040600*c_0101_4^11 + 2505307382967/12119169040600*c_0101_4^10 + 33768042742041/24238338081200*c_0101_4^9 + 19220340213701/6059584520300*c_0101_4^8 + 207319657713/121191690406*c_0101_4^7 + 283111400503051/24238338081200*c_0101_4^6 - 4692029721791/3029792260150*c_0101_4^5 + 4583448815232/302979226015*c_0101_4^4 - 17180527498047/6059584520300*c_0101_4^3 + 8701819302327/1211916904060*c_0101_4^2 + 3161394049169/3029792260150*c_0101_4 - 7114259674387/1514896130075, c_0101_1 - 55049866979/4847667616240*c_0101_4^12 + 29627570251/12119169040600*c_0101_4^11 - 186513917439/12119169040600*c_0101_4^10 - 4389939092897/24238338081200*c_0101_4^9 + 1142270814783/6059584520300*c_0101_4^8 - 41494494501/60595845203*c_0101_4^7 + 9144119915533/24238338081200*c_0101_4^6 - 1498769035264/1514896130075*c_0101_4^5 + 37568554976/302979226015*c_0101_4^4 - 4663115947213/3029792260150*c_0101_4^3 - 274681190279/1211916904060*c_0101_4^2 - 1612895712674/1514896130075*c_0101_4 + 67206288404/1514896130075, c_0101_2 + 3158664478/302979226015*c_0101_4^12 + 23508823361/1514896130075*c_0101_4^11 + 11816888271/1514896130075*c_0101_4^10 + 256320048929/1514896130075*c_0101_4^9 + 120883384751/1514896130075*c_0101_4^8 + 13614366258/60595845203*c_0101_4^7 + 468533056994/1514896130075*c_0101_4^6 - 72600298132/1514896130075*c_0101_4^5 + 37659773583/302979226015*c_0101_4^4 - 208934407272/1514896130075*c_0101_4^3 + 132550202737/302979226015*c_0101_4^2 + 60763867488/1514896130075*c_0101_4 + 136247877477/1514896130075, c_0101_4^13 + 2/5*c_0101_4^12 + 8/5*c_0101_4^11 + 79/5*c_0101_4^10 - 44/5*c_0101_4^9 + 266/5*c_0101_4^8 - 127/5*c_0101_4^7 + 52*c_0101_4^6 - 82/5*c_0101_4^5 + 16/5*c_0101_4^4 + 68/5*c_0101_4^3 - 144/5*c_0101_4^2 - 8/5*c_0101_4 + 32/5, c_0110_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB