Magma V2.19-8 Tue Aug 20 2013 16:14:39 on localhost [Seed = 189437709] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s636 geometric_solution 5.12730533 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 0 1 -1 -1 0 1 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 -1 0 0 1 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.573648320256 0.990893556188 0 3 2 4 0132 0132 0132 0132 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 0 0 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.110686428698 0.874773687958 3 0 4 1 3201 0132 3201 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 -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.110686428698 0.874773687958 3 1 3 2 2310 0132 3201 2310 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 -1 0 0 1 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.409953171689 0.977393322753 2 5 1 5 2310 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0.053120325704 1.726767712187 4 4 5 5 3201 0132 2031 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 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.409985858108 0.132792141364 ==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_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_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_5' : d['c_0101_2'], 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_0'], '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' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 51409061608985/6458378034681*c_0110_5^16 - 19977727107913/2152792678227*c_0110_5^15 - 151390526491096/2152792678227*c_0110_5^14 + 25505636377172/2152792678227*c_0110_5^13 + 137159654174246/717597559409*c_0110_5^12 + 1236289343171741/6458378034681*c_0110_5^11 + 118865119041547/6458378034681*c_0110_5^10 - 1913652394709021/6458378034681*c_0110_5^9 - 406048750525516/717597559409*c_0110_5^8 - 1246792478900156/6458378034681*c_0110_5^7 + 4645716269318236/6458378034681*c_0110_5^6 + 3720162968928278/6458378034681*c_0110_5^5 - 2270597436848053/6458378034681*c_0110_5^4 - 201342158975172/717597559409*c_0110_5^3 + 317616573786182/2152792678227*c_0110_5^2 + 116387361773219/2152792678227*c_0110_5 - 342432183719545/6458378034681, c_0011_0 - 1, c_0011_4 - 195009039863/717597559409*c_0110_5^16 + 330354537818/717597559409*c_0110_5^15 + 1435910127028/717597559409*c_0110_5^14 - 899439903864/717597559409*c_0110_5^13 - 3338094641416/717597559409*c_0110_5^12 - 3089488273390/717597559409*c_0110_5^11 - 736921027348/717597559409*c_0110_5^10 + 5028566839796/717597559409*c_0110_5^9 + 9597429219199/717597559409*c_0110_5^8 + 1875146239200/717597559409*c_0110_5^7 - 11749819838227/717597559409*c_0110_5^6 - 3715234089385/717597559409*c_0110_5^5 + 5628623039791/717597559409*c_0110_5^4 - 930586295465/717597559409*c_0110_5^3 - 3096542996753/717597559409*c_0110_5^2 + 366341421254/717597559409*c_0110_5 + 630520228796/717597559409, c_0101_0 + 71168341788/717597559409*c_0110_5^16 - 127644362921/717597559409*c_0110_5^15 - 510961076248/717597559409*c_0110_5^14 + 365298271366/717597559409*c_0110_5^13 + 1216066194658/717597559409*c_0110_5^12 + 1102830106939/717597559409*c_0110_5^11 - 43270470360/717597559409*c_0110_5^10 - 2109103456320/717597559409*c_0110_5^9 - 3206411928936/717597559409*c_0110_5^8 + 6633285228/717597559409*c_0110_5^7 + 5181450742946/717597559409*c_0110_5^6 + 1516794443333/717597559409*c_0110_5^5 - 3018456538238/717597559409*c_0110_5^4 - 1690814199625/717597559409*c_0110_5^3 + 1569934242363/717597559409*c_0110_5^2 + 1195935401635/717597559409*c_0110_5 - 82313933091/717597559409, c_0101_1 - 97508055192/717597559409*c_0110_5^16 + 45654899726/717597559409*c_0110_5^15 + 1014338140873/717597559409*c_0110_5^14 + 272055380075/717597559409*c_0110_5^13 - 2842780297936/717597559409*c_0110_5^12 - 3280532676121/717597559409*c_0110_5^11 - 1155980190169/717597559409*c_0110_5^10 + 3843618741216/717597559409*c_0110_5^9 + 9369102527467/717597559409*c_0110_5^8 + 5691801499168/717597559409*c_0110_5^7 - 8949298430155/717597559409*c_0110_5^6 - 11936489988975/717597559409*c_0110_5^5 + 2801086400515/717597559409*c_0110_5^4 + 4280611170339/717597559409*c_0110_5^3 - 950114948086/717597559409*c_0110_5^2 - 55487254008/717597559409*c_0110_5 + 503159495382/717597559409, c_0101_2 - 66595946026/717597559409*c_0110_5^16 - 4447433204/717597559409*c_0110_5^15 + 713907498622/717597559409*c_0110_5^14 + 499211461167/717597559409*c_0110_5^13 - 1817718359702/717597559409*c_0110_5^12 - 2865244825656/717597559409*c_0110_5^11 - 1913474508131/717597559409*c_0110_5^10 + 1428093007494/717597559409*c_0110_5^9 + 6514627334592/717597559409*c_0110_5^8 + 6242605885188/717597559409*c_0110_5^7 - 3371067773012/717597559409*c_0110_5^6 - 8132303384249/717597559409*c_0110_5^5 - 68316282616/717597559409*c_0110_5^4 + 1553375624397/717597559409*c_0110_5^3 - 1800211001097/717597559409*c_0110_5^2 - 412245253444/717597559409*c_0110_5 + 507623694100/717597559409, c_0110_5^17 - c_0110_5^16 - 9*c_0110_5^15 + 24*c_0110_5^13 + 28*c_0110_5^12 + 7*c_0110_5^11 - 36*c_0110_5^10 - 77*c_0110_5^9 - 37*c_0110_5^8 + 84*c_0110_5^7 + 86*c_0110_5^6 - 30*c_0110_5^5 - 40*c_0110_5^4 + 12*c_0110_5^3 + 9*c_0110_5^2 - 5*c_0110_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB