Magma V2.19-8 Tue Aug 20 2013 16:14:50 on localhost [Seed = 1511769655] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s809 geometric_solution 5.36484318 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 1 2 0 0 0132 0132 1230 3012 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 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.375860456680 0.634352876979 0 3 2 4 0132 0132 1230 0132 0 0 0 0 0 -1 1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.734238690753 1.001716127904 3 0 4 1 3201 0132 2310 3012 0 0 0 0 0 0 0 0 0 0 1 -1 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 -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.734238690753 1.001716127904 3 1 3 2 2310 0132 3201 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.107191670635 0.931515883352 5 2 1 5 0132 3201 0132 1023 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 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.726884338802 0.511960040167 4 5 5 4 0132 3201 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.227160715695 0.445341949616 ==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' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_4'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], '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_0101_5']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0011_4']), '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_0011_4'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_5'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0011_4']), '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_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 4310013130867019058073836290956/19306260088251976386572180549*c_010\ 1_5^19 - 5765845209845200393164447471606/19306260088251976386572180\ 549*c_0101_5^18 + 209978050906268986190515616484504/193062600882519\ 76386572180549*c_0101_5^17 - 652542539078931864533490231129888/1930\ 6260088251976386572180549*c_0101_5^16 + 441689010828386249347736776929904/19306260088251976386572180549*c_0\ 101_5^15 + 722573350004178815747040929933798/1930626008825197638657\ 2180549*c_0101_5^14 - 1583667891872519165207440243342920/1930626008\ 8251976386572180549*c_0101_5^13 + 213068681415829923761635317518149\ 5/19306260088251976386572180549*c_0101_5^12 - 741067791264330399877796889907200/19306260088251976386572180549*c_0\ 101_5^11 - 2707489031362644720776973124618790/193062600882519763865\ 72180549*c_0101_5^10 + 3094500144067607382274481303041980/193062600\ 88251976386572180549*c_0101_5^9 - 202123536139678463979584128015220\ 6/19306260088251976386572180549*c_0101_5^8 - 965920287834932253451528909367077/19306260088251976386572180549*c_0\ 101_5^7 + 4194468821986184530577958731265543/1930626008825197638657\ 2180549*c_0101_5^6 - 288066942035054964121765857493448/193062600882\ 51976386572180549*c_0101_5^5 - 1585841318397826559598117634520817/1\ 9306260088251976386572180549*c_0101_5^4 - 155280907066669467078242139173949/19306260088251976386572180549*c_0\ 101_5^3 - 147346326322756814630234000893471/19306260088251976386572\ 180549*c_0101_5^2 - 75803722355690710710549520796791/19306260088251\ 976386572180549*c_0101_5 - 13301351522292035015767797890746/1930626\ 0088251976386572180549, c_0011_0 - 1, c_0011_4 + 2323207117004319506838957956/19306260088251976386572180549*c\ _0101_5^19 + 2260587083947333060713535852/1930626008825197638657218\ 0549*c_0101_5^18 - 113867601577105280233522971717/19306260088251976\ 386572180549*c_0101_5^17 + 393454225942206957188929854477/193062600\ 88251976386572180549*c_0101_5^16 - 388640762488525329947057398571/19306260088251976386572180549*c_0101\ _5^15 - 226843456546216923490876130346/1930626008825197638657218054\ 9*c_0101_5^14 + 930965303061446940084528108973/19306260088251976386\ 572180549*c_0101_5^13 - 1534974704587253639065025174882/19306260088\ 251976386572180549*c_0101_5^12 + 1031667404006800276865905896435/19\ 306260088251976386572180549*c_0101_5^11 + 995850018498792149606175755055/19306260088251976386572180549*c_0101\ _5^10 - 2004261752086714760654842344235/193062600882519763865721805\ 49*c_0101_5^9 + 1952941262823809707069436357155/1930626008825197638\ 6572180549*c_0101_5^8 - 314569682352991584925534380726/193062600882\ 51976386572180549*c_0101_5^7 - 2049807861906936436039288429443/1930\ 6260088251976386572180549*c_0101_5^6 + 908947163294620248888981552539/19306260088251976386572180549*c_0101\ _5^5 + 364652471759301706703413172531/19306260088251976386572180549\ *c_0101_5^4 - 83290848933991374010211351731/19306260088251976386572\ 180549*c_0101_5^3 + 143515610965251619973036198362/1930626008825197\ 6386572180549*c_0101_5^2 + 27471116789901055844464628009/1930626008\ 8251976386572180549*c_0101_5 + 6422230475619564174399154215/1930626\ 0088251976386572180549, c_0101_0 + 9335821665140387178161080722/19306260088251976386572180549*c\ _0101_5^19 + 11163388379375897669142033177/193062600882519763865721\ 80549*c_0101_5^18 - 455663063490226682589103164408/1930626008825197\ 6386572180549*c_0101_5^17 + 1478751656916734941896498572292/1930626\ 0088251976386572180549*c_0101_5^16 - 1202807287576390748277988791096/19306260088251976386572180549*c_010\ 1_5^15 - 1258690073503523503676871100839/19306260088251976386572180\ 549*c_0101_5^14 + 3415784494657266120950169614194/19306260088251976\ 386572180549*c_0101_5^13 - 5004356422599359391057424794096/19306260\ 088251976386572180549*c_0101_5^12 + 2446133499503357918163387876562/19306260088251976386572180549*c_010\ 1_5^11 + 5056460810922009695400296956917/19306260088251976386572180\ 549*c_0101_5^10 - 6883265971374456871118998544790/19306260088251976\ 386572180549*c_0101_5^9 + 5170371555568708335572205640522/193062600\ 88251976386572180549*c_0101_5^8 + 1126407539397155182316672392629/1\ 9306260088251976386572180549*c_0101_5^7 - 8672827204047306743564209000215/19306260088251976386572180549*c_010\ 1_5^6 + 1498658552856030390227030750463/193062600882519763865721805\ 49*c_0101_5^5 + 3081262156010221672364282166771/1930626008825197638\ 6572180549*c_0101_5^4 + 60302661958897171570762500890/1930626008825\ 1976386572180549*c_0101_5^3 + 277425761285330135656779237568/193062\ 60088251976386572180549*c_0101_5^2 + 99394683344584363062377782175/19306260088251976386572180549*c_0101_\ 5 + 16646751435815187977296239137/19306260088251976386572180549, c_0101_1 + 5708130686659648319093580354/19306260088251976386572180549*c\ _0101_5^19 + 9338667267117353126869817753/1930626008825197638657218\ 0549*c_0101_5^18 - 276652161662199425432022658802/19306260088251976\ 386572180549*c_0101_5^17 + 781458352648349004501764434723/193062600\ 88251976386572180549*c_0101_5^16 - 285411519228547986155215150779/19306260088251976386572180549*c_0101\ _5^15 - 1320970677395074144802351917978/193062600882519763865721805\ 49*c_0101_5^14 + 2131413442630429171359370785514/193062600882519763\ 86572180549*c_0101_5^13 - 2370537039030983903054663630654/193062600\ 88251976386572180549*c_0101_5^12 - 60646632211822341027350632561/19306260088251976386572180549*c_0101_\ 5^11 + 4577524114285602712765914695743/1930626008825197638657218054\ 9*c_0101_5^10 - 3983353384372473631356721445341/1930626008825197638\ 6572180549*c_0101_5^9 + 1803532879969612772724378988449/19306260088\ 251976386572180549*c_0101_5^8 + 2529470614530497412941230022426/193\ 06260088251976386572180549*c_0101_5^7 - 6106544625765638325852017935942/19306260088251976386572180549*c_010\ 1_5^6 - 459187808891450501466955721517/1930626008825197638657218054\ 9*c_0101_5^5 + 2458305936132444485371173670575/19306260088251976386\ 572180549*c_0101_5^4 + 358699197001613697076919349437/1930626008825\ 1976386572180549*c_0101_5^3 + 258078103310623052419646905784/193062\ 60088251976386572180549*c_0101_5^2 + 141782315049911281222481589749/19306260088251976386572180549*c_0101\ _5 + 19170444278557688199949273954/19306260088251976386572180549, c_0101_2 - 24353814651526395313843321678/19306260088251976386572180549*\ c_0101_5^19 - 32373850551064978532007658899/19306260088251976386572\ 180549*c_0101_5^18 + 1187124257911187323871440527536/19306260088251\ 976386572180549*c_0101_5^17 - 3697135305995156137058641053583/19306\ 260088251976386572180549*c_0101_5^16 + 2508772062786551023025192490687/19306260088251976386572180549*c_010\ 1_5^15 + 4134291749391005150631104264718/19306260088251976386572180\ 549*c_0101_5^14 - 9076970289558476718039631522316/19306260088251976\ 386572180549*c_0101_5^13 + 12118270506786999855863307824882/1930626\ 0088251976386572180549*c_0101_5^12 - 4174329855381533367875729598192/19306260088251976386572180549*c_010\ 1_5^11 - 15497486989637918932333401651398/1930626008825197638657218\ 0549*c_0101_5^10 + 17838429114864325249626896828690/193062600882519\ 76386572180549*c_0101_5^9 - 11482825595809659537246916272445/193062\ 60088251976386572180549*c_0101_5^8 - 5613335207381556280207412697779/19306260088251976386572180549*c_010\ 1_5^7 + 24003036047768944428653721584522/19306260088251976386572180\ 549*c_0101_5^6 - 1900683643882466844721005020570/193062600882519763\ 86572180549*c_0101_5^5 - 9271613194045104509970739139273/1930626008\ 8251976386572180549*c_0101_5^4 - 674767632697455115377694699333/193\ 06260088251976386572180549*c_0101_5^3 - 710426905614126913864121256226/19306260088251976386572180549*c_0101\ _5^2 - 449113382126581392868158925114/19306260088251976386572180549\ *c_0101_5 - 66152716157939387549570018178/1930626008825197638657218\ 0549, c_0101_5^20 + 3/2*c_0101_5^19 - 97/2*c_0101_5^18 + 287/2*c_0101_5^17 - 78*c_0101_5^16 - 184*c_0101_5^15 + 340*c_0101_5^14 - 435*c_0101_5^13 + 185/2*c_0101_5^12 + 655*c_0101_5^11 - 1231/2*c_0101_5^10 + 707/2*c_0101_5^9 + 597/2*c_0101_5^8 - 1871/2*c_0101_5^7 - 91*c_0101_5^6 + 377*c_0101_5^5 + 193/2*c_0101_5^4 + 81/2*c_0101_5^3 + 23*c_0101_5^2 + 6*c_0101_5 + 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB