Magma V2.19-8 Tue Aug 20 2013 16:16:17 on localhost [Seed = 711702216] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0554 geometric_solution 4.57464504 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 1 0 -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 1 -1 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 1.883038572108 0.507074829087 0 2 3 0 0132 0132 0132 3201 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 -1 1 0 0 0 0 0 0 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.463526935652 0.869568125944 4 1 3 3 0132 0132 1302 2031 0 0 0 0 0 1 0 -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 1 0 -1 0 0 1 -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.359080490256 0.404478584086 2 2 4 1 2031 1302 2310 0132 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 1 0 -1 0 0 0 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.359080490256 0.404478584086 2 3 5 5 0132 3201 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.015816543046 1.492288820974 4 6 4 6 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.436694893832 1.041960289102 5 5 6 6 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.427034788275 0.077439731245 ==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' : 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' : 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' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(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_4'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), '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_0']), 'c_0011_6' : negation(d['c_0011_5']), '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' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0101_4']), 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : d['c_0101_1'], '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 76191374026478234030545/362193592651581745117*c_0110_6^16 - 420477717190679346337752/362193592651581745117*c_0110_6^15 - 76662010517661365196146/362193592651581745117*c_0110_6^14 + 5108384556548017197703035/362193592651581745117*c_0110_6^13 - 11351299538906207815953131/362193592651581745117*c_0110_6^12 + 795280966358511189086966/362193592651581745117*c_0110_6^11 + 19210182613415832623805972/362193592651581745117*c_0110_6^10 - 12089876912866729023282259/362193592651581745117*c_0110_6^9 - 16416914752378570687276706/362193592651581745117*c_0110_6^8 + 9841195883855871281300684/362193592651581745117*c_0110_6^7 + 1450169249082198321292357/51741941807368820731*c_0110_6^6 - 976356327483335158826976/362193592651581745117*c_0110_6^5 - 2850278311520035780622905/362193592651581745117*c_0110_6^4 - 1067170219474401419446894/362193592651581745117*c_0110_6^3 - 172983695144815292421359/362193592651581745117*c_0110_6^2 + 56223704167794714840630/362193592651581745117*c_0110_6 + 31981969980722891216754/362193592651581745117, c_0011_0 - 1, c_0011_3 - 757990846546771604170/51741941807368820731*c_0110_6^16 + 4715657734931108034967/51741941807368820731*c_0110_6^15 - 2413007335471120422578/51741941807368820731*c_0110_6^14 - 49945553508042450528017/51741941807368820731*c_0110_6^13 + 148271073922684103496131/51741941807368820731*c_0110_6^12 - 103090836717348029905830/51741941807368820731*c_0110_6^11 - 143265861519164661434464/51741941807368820731*c_0110_6^10 + 234765897138376783961818/51741941807368820731*c_0110_6^9 + 24249804611487069960834/51741941807368820731*c_0110_6^8 - 148637101644802085410886/51741941807368820731*c_0110_6^7 - 7172978779460961762319/51741941807368820731*c_0110_6^6 + 35677580466667661920948/51741941807368820731*c_0110_6^5 + 8900301522747767805693/51741941807368820731*c_0110_6^4 + 298112702250721346480/51741941807368820731*c_0110_6^3 - 359106235104906902660/51741941807368820731*c_0110_6^2 - 726843682291089740512/51741941807368820731*c_0110_6 + 108564411039963814329/51741941807368820731, c_0011_5 - 521370358482948207585/51741941807368820731*c_0110_6^16 + 3476352474126886459966/51741941807368820731*c_0110_6^15 - 3103937595182656333811/51741941807368820731*c_0110_6^14 - 33630094481126901008572/51741941807368820731*c_0110_6^13 + 117271878205244529993078/51741941807368820731*c_0110_6^12 - 116055012767196576416471/51741941807368820731*c_0110_6^11 - 67205123303233231227858/51741941807368820731*c_0110_6^10 + 203467920206424956858890/51741941807368820731*c_0110_6^9 - 50518205831930610299425/51741941807368820731*c_0110_6^8 - 111952061128673798446616/51741941807368820731*c_0110_6^7 + 36605090664038203841456/51741941807368820731*c_0110_6^6 + 30690438901798806375377/51741941807368820731*c_0110_6^5 - 3198960548123757553629/51741941807368820731*c_0110_6^4 - 3888511365052175763187/51741941807368820731*c_0110_6^3 - 960698712809800366960/51741941807368820731*c_0110_6^2 - 434808468413299909971/51741941807368820731*c_0110_6 + 288383604968711979774/51741941807368820731, c_0101_0 + 217200201419234204005/51741941807368820731*c_0110_6^16 - 1440601388443975106938/51741941807368820731*c_0110_6^15 + 1238953695651584560707/51741941807368820731*c_0110_6^14 + 14081379814820879571438/51741941807368820731*c_0110_6^13 - 48408122523168398788843/51741941807368820731*c_0110_6^12 + 46437738922900215989333/51741941807368820731*c_0110_6^11 + 30696028045159805386798/51741941807368820731*c_0110_6^10 - 85334757652890869795054/51741941807368820731*c_0110_6^9 + 18300885309265419800752/51741941807368820731*c_0110_6^8 + 49306725805759467769247/51741941807368820731*c_0110_6^7 - 15130206910867470877732/51741941807368820731*c_0110_6^6 - 14208334039744710181059/51741941807368820731*c_0110_6^5 + 2073947893717115686316/51741941807368820731*c_0110_6^4 + 1784729909109319592271/51741941807368820731*c_0110_6^3 + 222905272692451440662/51741941807368820731*c_0110_6^2 + 190736851650056198286/51741941807368820731*c_0110_6 - 145945931959844497648/51741941807368820731, c_0101_1 + 392909803259438673600/51741941807368820731*c_0110_6^16 - 2329565450412084315660/51741941807368820731*c_0110_6^15 + 577414729755035308510/51741941807368820731*c_0110_6^14 + 26011652430764393090386/51741941807368820731*c_0110_6^13 - 69220215087038036753407/51741941807368820731*c_0110_6^12 + 33651837005649991450018/51741941807368820731*c_0110_6^11 + 82591392964033026279211/51741941807368820731*c_0110_6^10 - 95888628462966779349038/51741941807368820731*c_0110_6^9 - 40376651870921815523170/51741941807368820731*c_0110_6^8 + 62704912699325717235386/51741941807368820731*c_0110_6^7 + 24050758134691818571775/51741941807368820731*c_0110_6^6 - 11230763290231802304735/51741941807368820731*c_0110_6^5 - 9534044502012182126486/51741941807368820731*c_0110_6^4 - 2422412457665944489222/51741941807368820731*c_0110_6^3 + 13101190791593217800/51741941807368820731*c_0110_6^2 + 330386139052015625429/51741941807368820731*c_0110_6 + 41907373447606091941/51741941807368820731, c_0101_4 - 1333120567747096193260/51741941807368820731*c_0110_6^16 + 8615565832254230750511/51741941807368820731*c_0110_6^15 - 6233771182497731292935/51741941807368820731*c_0110_6^14 - 86877086089630122019821/51741941807368820731*c_0110_6^13 + 281890140408144219146482/51741941807368820731*c_0110_6^12 - 243282915570921772160467/51741941807368820731*c_0110_6^11 - 209512953443557994962420/51741941807368820731*c_0110_6^10 + 470835024935179909833188/51741941807368820731*c_0110_6^9 - 48828906835096374495738/51741941807368820731*c_0110_6^8 - 275564300436810906306855/51741941807368820731*c_0110_6^7 + 43686081115655435015621/51741941807368820731*c_0110_6^6 + 71529098940615721962028/51741941807368820731*c_0110_6^5 + 3150127121620646479377/51741941807368820731*c_0110_6^4 - 5016898764478191980938/51741941807368820731*c_0110_6^3 - 1574591259426556966073/51741941807368820731*c_0110_6^2 - 1111457506643732891927/51741941807368820731*c_0110_6 + 461405433942012974949/51741941807368820731, c_0110_6^17 - 28/5*c_0110_6^16 - 4/5*c_0110_6^15 + 343/5*c_0110_6^14 - 155*c_0110_6^13 + 33/5*c_0110_6^12 + 1481/5*c_0110_6^11 - 1032/5*c_0110_6^10 - 249*c_0110_6^9 + 1056/5*c_0110_6^8 + 698/5*c_0110_6^7 - 65*c_0110_6^6 - 229/5*c_0110_6^5 - 9/5*c_0110_6^4 + 3*c_0110_6^3 + 8/5*c_0110_6^2 + 2/5*c_0110_6 - 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB