Magma V2.19-8 Tue Aug 20 2013 16:19:20 on localhost [Seed = 1579139928] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3444 geometric_solution 6.61476138 oriented_manifold CS_known -0.0000000000000008 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 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 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.587120421114 0.739767575490 0 5 3 4 0132 0132 1023 3201 0 0 0 0 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 -1 1 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.587120421114 0.739767575490 6 0 4 3 0132 0132 2031 1230 0 0 0 0 0 0 0 0 1 0 -1 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 -1 0 1 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.093154124966 0.814284116003 2 5 1 0 3012 0321 1023 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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.754004207259 0.693675284389 5 1 0 2 2031 2310 0132 1302 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 -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 0.904376787434 0.616027330799 6 1 4 3 1023 0132 1302 0321 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 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.093154124966 0.814284116003 2 5 6 6 0132 1023 2031 1302 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 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.002113326249 1.668984503631 ==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' : negation(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' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : d['c_0101_1'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0101_0'], 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], '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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0110_4'], 'c_1001_4' : negation(d['c_0110_4']), 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : d['c_0101_3'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0110_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : d['c_0110_4'], 'c_1010_0' : negation(d['c_0110_4'])})} 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_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 58479388084324/477806689053*c_0110_4^16 - 30492245865490105/30579628099392*c_0110_4^14 + 55949267478613207/30579628099392*c_0110_4^12 - 28332814751654285/20386418732928*c_0110_4^10 + 29350077518169377/61159256198784*c_0110_4^8 - 1796952322616731/20386418732928*c_0110_4^6 + 107724014364565/3822453512424*c_0110_4^4 - 211897462374265/1911226756212*c_0110_4^2 + 69451866848449/955613378106, c_0011_0 - 1, c_0011_3 - 3212724995264/477806689053*c_0110_4^16 + 106666693438451/1911226756212*c_0110_4^14 - 102440686274521/955613378106*c_0110_4^12 + 102340395311029/1274151170808*c_0110_4^10 - 56216810655293/1911226756212*c_0110_4^8 + 1992533675431/637075585404*c_0110_4^6 - 1788180848795/3822453512424*c_0110_4^4 + 11560455042371/1911226756212*c_0110_4^2 - 1649791312381/477806689053, c_0011_4 - 1784771575312/477806689053*c_0110_4^16 + 200665940790145/7644907024848*c_0110_4^14 - 196738800966193/7644907024848*c_0110_4^12 + 45402531487049/5096604683232*c_0110_4^10 - 23982870942215/15289814049696*c_0110_4^8 + 4757156246617/5096604683232*c_0110_4^6 - 17612131940801/7644907024848*c_0110_4^4 + 855765431617/477806689053*c_0110_4^2 + 78986099302/477806689053, c_0101_0 - 692217128456/159268896351*c_0110_4^17 + 105010989330529/5096604683232*c_0110_4^15 + 203296330150475/5096604683232*c_0110_4^13 - 200078630505631/3397736455488*c_0110_4^11 + 277284997740397/10193209366464*c_0110_4^9 - 8378670793921/1132578818496*c_0110_4^7 - 20172452641919/5096604683232*c_0110_4^5 - 3146079083021/1274151170808*c_0110_4^3 + 1349623854097/318537792702*c_0110_4, c_0101_1 + 692217128456/159268896351*c_0110_4^17 - 105010989330529/5096604683232*c_0110_4^15 - 203296330150475/5096604683232*c_0110_4^13 + 200078630505631/3397736455488*c_0110_4^11 - 277284997740397/10193209366464*c_0110_4^9 + 8378670793921/1132578818496*c_0110_4^7 + 20172452641919/5096604683232*c_0110_4^5 + 3146079083021/1274151170808*c_0110_4^3 - 1349623854097/318537792702*c_0110_4, c_0101_3 + 278508435104/159268896351*c_0110_4^17 - 28794639861973/1274151170808*c_0110_4^15 + 55126367570363/637075585404*c_0110_4^13 - 74718349400507/849434113872*c_0110_4^11 + 37615615244155/1274151170808*c_0110_4^9 - 1060389255827/424717056936*c_0110_4^7 - 11634671398487/2548302341616*c_0110_4^5 - 5290595993707/1274151170808*c_0110_4^3 + 1780627847447/318537792702*c_0110_4, c_0110_4^18 - 1953/256*c_0110_4^16 + 2985/256*c_0110_4^14 - 5323/512*c_0110_4^12 + 3023/512*c_0110_4^10 - 739/512*c_0110_4^8 + 125/256*c_0110_4^6 - 1/2*c_0110_4^4 + 7/16*c_0110_4^2 - 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB