Magma V2.19-8 Tue Aug 20 2013 16:16:00 on localhost [Seed = 155751886] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0244 geometric_solution 4.26752050 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 2310 2310 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -4.070613659538 4.072191583759 0 0 3 3 0132 3201 3201 0132 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 0 0 0 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.124651476645 0.210120713327 0 0 2 2 3201 0132 1230 3012 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 0 0 0 -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.106159459772 0.063033403347 1 4 1 5 2310 0132 0132 0132 0 0 0 0 0 1 -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 0 0 0 0 1 0 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 1.605920478956 1.997800837473 6 3 5 5 0132 0132 3012 2310 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 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.139260446386 1.160514135248 4 4 3 6 3201 1230 0132 3201 0 0 0 0 0 0 0 0 0 0 1 -1 -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 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.139260446386 1.160514135248 4 5 6 6 0132 2310 2031 1302 0 0 0 0 0 -1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.386916936893 0.241314037507 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : 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' : 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' : negation(d['1']), 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : negation(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' : d['c_0101_1'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0110_2'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_3'], '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' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0110_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0110_2'])})} 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_5, c_0101_0, c_0101_1, c_0101_4, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 251860534336137/1040164112*c_0110_2^17 + 2216040324615735/520082056*c_0110_2^16 + 13370157413127033/1040164112*c_0110_2^15 + 918832470448844/65010257*c_0110_2^14 + 11522908232798943/520082056*c_0110_2^13 + 4999758683536797/1040164112*c_0110_2^12 - 111071191000994437/1040164112*c_0110_2^11 - 17789238838370081/260041028*c_0110_2^10 + 8043197752649593/40006312*c_0110_2^9 + 4977213520317681/65010257*c_0110_2^8 - 237713328043177783/1040164112*c_0110_2^7 + 255227729656929/65010257*c_0110_2^6 + 35612524353087793/260041028*c_0110_2^5 - 55027192518186327/1040164112*c_0110_2^4 - 12959377664342229/520082056*c_0110_2^3 + 419576024703729/17933864*c_0110_2^2 - 6584097868661291/1040164112*c_0110_2 + 626261123496413/1040164112, c_0011_0 - 1, c_0011_3 + 11*c_0110_2^17 - 197*c_0110_2^16 - 524*c_0110_2^15 - 453*c_0110_2^14 - 785*c_0110_2^13 + 119*c_0110_2^12 + 4956*c_0110_2^11 + 1604*c_0110_2^10 - 10279*c_0110_2^9 - 746*c_0110_2^8 + 11799*c_0110_2^7 - 3285*c_0110_2^6 - 6545*c_0110_2^5 + 4347*c_0110_2^4 + 611*c_0110_2^3 - 1503*c_0110_2^2 + 576*c_0110_2 - 77, c_0011_5 - 65*c_0110_2^17 + 1160*c_0110_2^16 + 3169*c_0110_2^15 + 2883*c_0110_2^14 + 4836*c_0110_2^13 - 388*c_0110_2^12 - 29287*c_0110_2^11 - 11332*c_0110_2^10 + 59861*c_0110_2^9 + 8165*c_0110_2^8 - 68851*c_0110_2^7 + 15012*c_0110_2^6 + 39224*c_0110_2^5 - 23004*c_0110_2^4 - 4876*c_0110_2^3 + 8374*c_0110_2^2 - 2860*c_0110_2 + 336, c_0101_0 + c_0110_2^17 - 18*c_0110_2^16 - 46*c_0110_2^15 - 37*c_0110_2^14 - 68*c_0110_2^13 + 17*c_0110_2^12 + 449*c_0110_2^11 + 105*c_0110_2^10 - 944*c_0110_2^9 + 18*c_0110_2^8 + 1071*c_0110_2^7 - 396*c_0110_2^6 - 559*c_0110_2^5 + 446*c_0110_2^4 + 15*c_0110_2^3 - 138*c_0110_2^2 + 66*c_0110_2 - 12, c_0101_1 + 766943651/172441*c_0110_2^17 - 13497534456/172441*c_0110_2^16 - 40690618864/172441*c_0110_2^15 - 44683024189/172441*c_0110_2^14 - 70045442671/172441*c_0110_2^13 - 15015853002/172441*c_0110_2^12 + 338378463010/172441*c_0110_2^11 + 216196517759/172441*c_0110_2^10 - 637464458227/172441*c_0110_2^9 - 241870990607/172441*c_0110_2^8 + 724649944157/172441*c_0110_2^7 - 13055501676/172441*c_0110_2^6 - 434174190088/172441*c_0110_2^5 + 167940971618/172441*c_0110_2^4 + 78954731830/172441*c_0110_2^3 - 74199153337/172441*c_0110_2^2 + 20077844337/172441*c_0110_2 - 1909756890/172441, c_0101_4 - 79709645/172441*c_0110_2^17 + 1434695171/172441*c_0110_2^16 + 3679790758/172441*c_0110_2^15 + 2750728849/172441*c_0110_2^14 + 4724799377/172441*c_0110_2^13 - 2293462010/172441*c_0110_2^12 - 37212275038/172441*c_0110_2^11 - 9161967298/172441*c_0110_2^10 + 80140419976/172441*c_0110_2^9 + 3785140648/172441*c_0110_2^8 - 93227341351/172441*c_0110_2^7 + 24825925159/172441*c_0110_2^6 + 53232832967/172441*c_0110_2^5 - 32468355803/172441*c_0110_2^4 - 6777483391/172441*c_0110_2^3 + 11507915603/172441*c_0110_2^2 - 3760568104/172441*c_0110_2 + 412939622/172441, c_0110_2^18 - 18*c_0110_2^17 - 46*c_0110_2^16 - 37*c_0110_2^15 - 68*c_0110_2^14 + 17*c_0110_2^13 + 449*c_0110_2^12 + 105*c_0110_2^11 - 944*c_0110_2^10 + 18*c_0110_2^9 + 1071*c_0110_2^8 - 396*c_0110_2^7 - 559*c_0110_2^6 + 446*c_0110_2^5 + 15*c_0110_2^4 - 138*c_0110_2^3 + 65*c_0110_2^2 - 13*c_0110_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB