Magma V2.19-8 Tue Aug 20 2013 16:19:23 on localhost [Seed = 341149971] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3487 geometric_solution 6.73043005 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 -1 1 0 1 0 -1 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.284231981146 0.426090615677 3 2 4 0 0132 3012 0132 0132 0 0 0 0 0 1 0 -1 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 1 0 -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.399002396379 0.996755492826 1 3 0 5 1230 2310 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 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.399002396379 0.996755492826 1 6 6 2 0132 0132 1023 3201 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 0 -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.520778804277 1.053183962745 5 5 6 1 1230 1023 2103 0132 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 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.883532517488 1.167055866817 4 4 2 6 1023 3012 0132 2103 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 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.883532517488 1.167055866817 4 3 3 5 2103 0132 1023 2103 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 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.714912291729 0.796657115948 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(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' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_2'], 'c_1100_5' : negation(d['c_0110_6']), 'c_1100_4' : negation(d['c_0110_6']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0110_6']), 'c_1100_0' : negation(d['c_0110_6']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : negation(d['c_0110_6']), 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0011_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0011_4'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : d['c_0011_1'], 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : negation(d['c_0011_2']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : negation(d['c_0011_2']), 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0011_2']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_4']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(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_1, c_0011_2, c_0011_4, c_0101_0, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 4 Groebner basis: [ t + 76/5*c_0110_6 + 123/5, c_0011_0 - 1, c_0011_1 + c_0011_2 - c_0110_6, c_0011_2^2 - c_0011_2*c_0110_6 - 4*c_0110_6 + 3, c_0011_4 + c_0110_6 - 1, c_0101_0 + c_0110_6, c_0101_4 + c_0110_6 - 1, c_0110_6^2 + c_0110_6 - 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_2, c_0011_4, c_0101_0, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t + 24191666045961443/783580040804852*c_0110_6^12 + 380878051699804571/1567160081609704*c_0110_6^11 + 126243603420146335/195895010201213*c_0110_6^10 + 110012560172291237/1567160081609704*c_0110_6^9 - 3910618621137497183/1567160081609704*c_0110_6^8 - 4908197635995752139/1567160081609704*c_0110_6^7 + 3958897712415240709/1567160081609704*c_0110_6^6 + 9888090650013891969/1567160081609704*c_0110_6^5 - 582553636807209555/391790020402426*c_0110_6^4 - 1041103042385720621/391790020402426*c_0110_6^3 - 32805709195450577/11523235894189*c_0110_6^2 + 7002006717342057321/1567160081609704*c_0110_6 - 1004109078538359815/1567160081609704, c_0011_0 - 1, c_0011_1 + 524208555303/23046471788378*c_0110_6^12 + 2084694644916/11523235894189*c_0110_6^11 + 5717683492872/11523235894189*c_0110_6^10 + 1731012971283/11523235894189*c_0110_6^9 - 37769295219235/23046471788378*c_0110_6^8 - 26125217475202/11523235894189*c_0110_6^7 + 29635629826753/23046471788378*c_0110_6^6 + 86104991827033/23046471788378*c_0110_6^5 - 12584329106343/11523235894189*c_0110_6^4 - 8235172502179/11523235894189*c_0110_6^3 - 33281038917955/23046471788378*c_0110_6^2 + 57706313538869/23046471788378*c_0110_6 - 23339244361451/23046471788378, c_0011_2 + 524208555303/23046471788378*c_0110_6^12 + 2084694644916/11523235894189*c_0110_6^11 + 5717683492872/11523235894189*c_0110_6^10 + 1731012971283/11523235894189*c_0110_6^9 - 37769295219235/23046471788378*c_0110_6^8 - 26125217475202/11523235894189*c_0110_6^7 + 29635629826753/23046471788378*c_0110_6^6 + 86104991827033/23046471788378*c_0110_6^5 - 12584329106343/11523235894189*c_0110_6^4 - 8235172502179/11523235894189*c_0110_6^3 - 33281038917955/23046471788378*c_0110_6^2 + 57706313538869/23046471788378*c_0110_6 - 23339244361451/23046471788378, c_0011_4 + 823782700159/23046471788378*c_0110_6^12 + 3245239287843/11523235894189*c_0110_6^11 + 8711684287862/11523235894189*c_0110_6^10 + 1733196411507/11523235894189*c_0110_6^9 - 62120157653977/23046471788378*c_0110_6^8 - 40003114039750/11523235894189*c_0110_6^7 + 60841886630607/23046471788378*c_0110_6^6 + 155643108598305/23046471788378*c_0110_6^5 - 19611841038905/11523235894189*c_0110_6^4 - 31866600479045/11523235894189*c_0110_6^3 - 92979103195711/23046471788378*c_0110_6^2 + 127355328614159/23046471788378*c_0110_6 - 33454999635677/23046471788378, c_0101_0 - 1559936431/57905708011*c_0110_6^12 - 11567621970/57905708011*c_0110_6^11 - 26893718367/57905708011*c_0110_6^10 + 11193713664/57905708011*c_0110_6^9 + 124048893510/57905708011*c_0110_6^8 + 86219727930/57905708011*c_0110_6^7 - 216416752863/57905708011*c_0110_6^6 - 243109789157/57905708011*c_0110_6^5 + 269621692150/57905708011*c_0110_6^4 + 115937550737/57905708011*c_0110_6^3 + 66734872992/57905708011*c_0110_6^2 - 284753945679/57905708011*c_0110_6 + 94337359730/57905708011, c_0101_4 - 565852052865/23046471788378*c_0110_6^12 - 2239372229576/11523235894189*c_0110_6^11 - 5972395710694/11523235894189*c_0110_6^10 - 653456189170/11523235894189*c_0110_6^9 + 47051201623515/23046471788378*c_0110_6^8 + 29986971048988/11523235894189*c_0110_6^7 - 47278720284213/23046471788378*c_0110_6^6 - 122018525278879/23046471788378*c_0110_6^5 + 10819926531616/11523235894189*c_0110_6^4 + 23863625699710/11523235894189*c_0110_6^3 + 42951539691987/23046471788378*c_0110_6^2 - 74256811654151/23046471788378*c_0110_6 + 22900469743531/23046471788378, c_0110_6^13 + 7*c_0110_6^12 + 14*c_0110_6^11 - 16*c_0110_6^10 - 83*c_0110_6^9 - 31*c_0110_6^8 + 171*c_0110_6^7 + 134*c_0110_6^6 - 227*c_0110_6^5 - 46*c_0110_6^4 - 17*c_0110_6^3 + 226*c_0110_6^2 - 146*c_0110_6 + 17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB