Magma V2.19-8 Tue Aug 20 2013 16:19:07 on localhost [Seed = 2101141511] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3255 geometric_solution 6.38415633 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 1 -1 1 0 0 -1 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 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.136066711819 0.933026325024 0 3 5 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 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 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.291951568540 0.973504598791 3 0 4 5 0132 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 -1 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 0.291951568540 0.973504598791 2 1 6 6 0132 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.682812887954 0.766779771324 4 4 1 2 1230 3012 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.839458595040 0.917506369273 2 5 5 1 3201 1230 3012 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 0.631730346954 0.722627781215 6 3 6 3 2031 2310 1302 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 1 -1 -1 0 1 0 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.040888980187 1.232688943227 ==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_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' : 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' : negation(d['c_0011_6']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_0'], '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_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], '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_0011_5']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_4']), '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' : d['c_0011_4'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_4']), '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_4, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 692228192232156233934859166570679291050/105267093251938363779656031\ 4826563*c_0101_3^20 + 35442107283544892083609119676647841487295/105\ 2670932519383637796560314826563*c_0101_3^18 - 138000896642011463753847513195869635118800/105267093251938363779656\ 0314826563*c_0101_3^16 + 218768703471657766379988559826186671762680\ /1052670932519383637796560314826563*c_0101_3^14 - 190429744001781431939023516519225663436680/105267093251938363779656\ 0314826563*c_0101_3^12 + 103610779648985271454457878657414126208418\ /1052670932519383637796560314826563*c_0101_3^10 - 34409392494815836533375861990447584673344/1052670932519383637796560\ 314826563*c_0101_3^8 + 6561630895204793381923578520081976157059/105\ 2670932519383637796560314826563*c_0101_3^6 + 127562662690414014207182348416111864193/105267093251938363779656031\ 4826563*c_0101_3^4 - 217385682713911944939788790710197448350/105267\ 0932519383637796560314826563*c_0101_3^2 - 12986284705920800110098235454482973371/1052670932519383637796560314\ 826563, c_0011_0 - 1, c_0011_4 + 550392186214169027243275785706/39362484856574940649761070741\ *c_0101_3^20 - 28000730866345879818440406783748/3936248485657494064\ 9761070741*c_0101_3^18 + 100571132638334817914702427431450/39362484\ 856574940649761070741*c_0101_3^16 - 139702513795295568747206204713482/39362484856574940649761070741*c_0\ 101_3^14 + 99851647231934715144252583634455/39362484856574940649761\ 070741*c_0101_3^12 - 39283372984653139099530948069579/3936248485657\ 4940649761070741*c_0101_3^10 + 3942420340722456907623280959705/3936\ 2484856574940649761070741*c_0101_3^8 + 2920581173586687995249504691614/39362484856574940649761070741*c_010\ 1_3^6 - 1974796501416691476147061418433/393624848565749406497610707\ 41*c_0101_3^4 + 258492797747338527768786003267/39362484856574940649\ 761070741*c_0101_3^2 + 6754797898205388850068940693/393624848565749\ 40649761070741, c_0011_5 - 241585918916438804491847287471260011/10526709325193836377965\ 60314826563*c_0101_3^20 + 12403123992407387583799741782403241164/10\ 52670932519383637796560314826563*c_0101_3^18 - 49900246088282582948858432495526894343/1052670932519383637796560314\ 826563*c_0101_3^16 + 83201355542164841078897601967251443367/1052670\ 932519383637796560314826563*c_0101_3^14 - 77566915924931254901961454160019877895/1052670932519383637796560314\ 826563*c_0101_3^12 + 46186888102297503259909402247384407030/1052670\ 932519383637796560314826563*c_0101_3^10 - 17769248453632832047997964012145808381/1052670932519383637796560314\ 826563*c_0101_3^8 + 4391849111276208168691757882540270251/105267093\ 2519383637796560314826563*c_0101_3^6 - 437480421433120793717131922991880172/105267093251938363779656031482\ 6563*c_0101_3^4 - 43203048053983088649571815188823747/1052670932519\ 383637796560314826563*c_0101_3^2 + 1942853626251611808579328965916699/10526709325193836377965603148265\ 63, c_0011_6 + 568373095966234876223955656796/39362484856574940649761070741\ *c_0101_3^20 - 29397384479573496189344612575249/3936248485657494064\ 9761070741*c_0101_3^18 + 128451047663957087544272111865259/39362484\ 856574940649761070741*c_0101_3^16 - 236358522733975717451918970011134/39362484856574940649761070741*c_0\ 101_3^14 + 241862057019642315391484583164319/3936248485657494064976\ 1070741*c_0101_3^12 - 156150175938588815598789829141495/39362484856\ 574940649761070741*c_0101_3^10 + 66041314496791660943780195809043/3\ 9362484856574940649761070741*c_0101_3^8 - 17957051852583413922050463765873/39362484856574940649761070741*c_01\ 01_3^6 + 2644255441145688449977528181172/39362484856574940649761070\ 741*c_0101_3^4 + 60792630874824151253153387281/39362484856574940649\ 761070741*c_0101_3^2 - 1907978482330930384146682120/393624848565749\ 40649761070741, c_0101_0 - 2746812824347226012666289088450730357/1052670932519383637796\ 560314826563*c_0101_3^21 + 140999624667738168475060259880291253287/\ 1052670932519383637796560314826563*c_0101_3^19 - 566200868464242262811565150142289674214/105267093251938363779656031\ 4826563*c_0101_3^17 + 942048257948002521813997404477100174925/10526\ 70932519383637796560314826563*c_0101_3^15 - 876832672486726151108833011715019962009/105267093251938363779656031\ 4826563*c_0101_3^13 + 521699913116893542425756373177462365025/10526\ 70932519383637796560314826563*c_0101_3^11 - 200697920163552646574257343851028569274/105267093251938363779656031\ 4826563*c_0101_3^9 + 49806072195846087902329366777765209804/1052670\ 932519383637796560314826563*c_0101_3^7 - 5059177179964987084601374735018859317/10526709325193836377965603148\ 26563*c_0101_3^5 - 432654304910456450178745734761646173/10526709325\ 19383637796560314826563*c_0101_3^3 + 23822390000702509477966601469486739/1052670932519383637796560314826\ 563*c_0101_3, c_0101_1 - 56897019651993667224776956296066702/105267093251938363779656\ 0314826563*c_0101_3^20 + 2923961689281629410789573499015365552/1052\ 670932519383637796560314826563*c_0101_3^18 - 11897835888043606960670317263973541736/1052670932519383637796560314\ 826563*c_0101_3^16 + 20160073164720928328385597050224569158/1052670\ 932519383637796560314826563*c_0101_3^14 - 19152460109660604596446611751925899441/1052670932519383637796560314\ 826563*c_0101_3^12 + 11621675231881335243790346174282960448/1052670\ 932519383637796560314826563*c_0101_3^10 - 4562655028177452889091215940815448640/10526709325193836377965603148\ 26563*c_0101_3^8 + 1145003671217451634393921157922930999/1052670932\ 519383637796560314826563*c_0101_3^6 - 118457282983863830421002975959705328/105267093251938363779656031482\ 6563*c_0101_3^4 - 12728320266941125776827439543038988/1052670932519\ 383637796560314826563*c_0101_3^2 + 764026666745097711609206089028582/105267093251938363779656031482656\ 3, c_0101_3^22 - 86157/1681*c_0101_3^20 + 339718/1681*c_0101_3^18 - 549311/1681*c_0101_3^16 + 491453/1681*c_0101_3^14 - 165*c_0101_3^12 + 97966/1681*c_0101_3^10 - 20959/1681*c_0101_3^8 + 749/1681*c_0101_3^6 + 496/1681*c_0101_3^4 + 7/1681*c_0101_3^2 - 1/1681 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB