Magma V2.19-8 Tue Aug 20 2013 16:17:51 on localhost [Seed = 2513701238] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2085 geometric_solution 5.59622563 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 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.471939031966 0.208831746837 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.756099997375 0.575256196234 1 4 5 3 0132 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 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 0 0 0 0 0 0 0 0 0 0 0.198098375195 1.323468919373 2 5 4 1 3201 1023 3201 0132 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 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.198098375195 1.323468919373 3 2 6 6 2310 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.179823224395 1.185204231537 3 5 5 2 1023 3201 2310 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 -1 0 1 -1 0 1 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.110619244488 0.739032472228 4 6 4 6 2310 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.595422357529 0.692576182223 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_3'], 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 5691824242588224021657910053521088719/12555818673531553982451142414\ 9658527*c_0101_4^21 - 19803380210211653305321779973140909300/125558\ 186735315539824511424149658527*c_0101_4^20 + 221809827166594152226733343240825109659/125558186735315539824511424\ 149658527*c_0101_4^19 + 582280444661443617080321399365935410042/125\ 558186735315539824511424149658527*c_0101_4^18 - 3086448322038868268578448740401244816809/12555818673531553982451142\ 4149658527*c_0101_4^17 - 4971391988060073121280074295758453811943/1\ 25558186735315539824511424149658527*c_0101_4^16 + 20475281197592922832012026042174223517662/1255581867353155398245114\ 24149658527*c_0101_4^15 + 13825413544503779792647608262899061432543\ /125558186735315539824511424149658527*c_0101_4^14 - 63918022211699430637568561268325545252225/1255581867353155398245114\ 24149658527*c_0101_4^13 - 4426199105471856516062675737476638636350/\ 125558186735315539824511424149658527*c_0101_4^12 + 89236988233947143859385600833299634828487/1255581867353155398245114\ 24149658527*c_0101_4^11 - 28555972816593095227267575707441537711338\ /125558186735315539824511424149658527*c_0101_4^10 - 45370508090314309680257477793019674903602/1255581867353155398245114\ 24149658527*c_0101_4^9 + 29165038304396706482809016950635649277391/\ 125558186735315539824511424149658527*c_0101_4^8 + 1455647502179785490195092820395697496138/12555818673531553982451142\ 4149658527*c_0101_4^7 - 3766583811221344697410180500979910688036/12\ 5558186735315539824511424149658527*c_0101_4^6 - 2156366202567530877257010765403854313668/12555818673531553982451142\ 4149658527*c_0101_4^5 + 865709712292570163712304588845105934684/125\ 558186735315539824511424149658527*c_0101_4^4 + 472936980907035453834548429533652312391/125558186735315539824511424\ 149658527*c_0101_4^3 - 81108869081833628733699699348292782186/12555\ 8186735315539824511424149658527*c_0101_4^2 + 127014198562171248300737631792150478407/125558186735315539824511424\ 149658527*c_0101_4 - 24289028141004058512134692767718340343/1255581\ 86735315539824511424149658527, c_0011_0 - 1, c_0011_1 + 5712427329842622449681093106578315/1255581867353155398245114\ 24149658527*c_0101_4^21 + 20123609555543437833954358441592969/12555\ 8186735315539824511424149658527*c_0101_4^20 - 221046376003159605424801858292549642/125558186735315539824511424149\ 658527*c_0101_4^19 - 591194584795446599599027534741701615/125558186\ 735315539824511424149658527*c_0101_4^18 + 3046630357400245768089413418362999954/12555818673531553982451142414\ 9658527*c_0101_4^17 + 5036863343056577058428497988126800782/1255581\ 86735315539824511424149658527*c_0101_4^16 - 20003837306098362876854558919707869477/1255581867353155398245114241\ 49658527*c_0101_4^15 - 13969641712405574877789418561403022066/12555\ 8186735315539824511424149658527*c_0101_4^14 + 61460646572509712794015697430879910540/1255581867353155398245114241\ 49658527*c_0101_4^13 + 4488110596581036290685437274839623400/125558\ 186735315539824511424149658527*c_0101_4^12 - 82737183455212149590767620589889274589/1255581867353155398245114241\ 49658527*c_0101_4^11 + 27696688594085516943427658485621057006/12555\ 8186735315539824511424149658527*c_0101_4^10 + 36548167965034414139883618899732353670/1255581867353155398245114241\ 49658527*c_0101_4^9 - 24968060682693516087190263044049887587/125558\ 186735315539824511424149658527*c_0101_4^8 + 4062425429728116579783275820286940009/12555818673531553982451142414\ 9658527*c_0101_4^7 - 2014317299620375296280110331093712224/12555818\ 6735315539824511424149658527*c_0101_4^6 + 1225660097132861175227725553369521972/12555818673531553982451142414\ 9658527*c_0101_4^5 + 1678999937124782783905128645062954843/12555818\ 6735315539824511424149658527*c_0101_4^4 - 533517063444304532389816205030745318/125558186735315539824511424149\ 658527*c_0101_4^3 - 196236655309554671409429933723180230/1255581867\ 35315539824511424149658527*c_0101_4^2 - 135417297258033710063265248148449507/125558186735315539824511424149\ 658527*c_0101_4 + 48885568772599107738211707391863163/1255581867353\ 15539824511424149658527, c_0011_3 - 13324939592012706609054102412010762/125558186735315539824511\ 424149658527*c_0101_4^21 - 50351707967023420400736825555465289/1255\ 58186735315539824511424149658527*c_0101_4^20 + 505717030366836817202730299523874722/125558186735315539824511424149\ 658527*c_0101_4^19 + 1519420147811526337187772441343567471/12555818\ 6735315539824511424149658527*c_0101_4^18 - 6831545749627392022281521363577618571/12555818673531553982451142414\ 9658527*c_0101_4^17 - 13820608753417051193131030485479410773/125558\ 186735315539824511424149658527*c_0101_4^16 + 44665516315547441073752398308987742735/1255581867353155398245114241\ 49658527*c_0101_4^15 + 46798824631941288310227411292765746449/12555\ 8186735315539824511424149658527*c_0101_4^14 - 141422087735546404168132704457666669518/125558186735315539824511424\ 149658527*c_0101_4^13 - 54626518566377422645787856796263677410/1255\ 58186735315539824511424149658527*c_0101_4^12 + 210063552641871860130788727380460960267/125558186735315539824511424\ 149658527*c_0101_4^11 - 7917415926180992160658166416053600233/12555\ 8186735315539824511424149658527*c_0101_4^10 - 130684993192888813977364822921810244602/125558186735315539824511424\ 149658527*c_0101_4^9 + 42836290809752952459158053898239401523/12555\ 8186735315539824511424149658527*c_0101_4^8 + 24042674463729384408477450212115295598/1255581867353155398245114241\ 49658527*c_0101_4^7 - 11516777034933234239658233191855603374/125558\ 186735315539824511424149658527*c_0101_4^6 - 6462022843200677542791714154792722272/12555818673531553982451142414\ 9658527*c_0101_4^5 + 812165784974964640881495527648352423/125558186\ 735315539824511424149658527*c_0101_4^4 + 1750689733326227231048633273013404246/12555818673531553982451142414\ 9658527*c_0101_4^3 + 153237859123462437445042068237380799/125558186\ 735315539824511424149658527*c_0101_4^2 + 296426849638106543678101128682422347/125558186735315539824511424149\ 658527*c_0101_4 + 51468280623257110931387634938301831/1255581867353\ 15539824511424149658527, c_0011_6 + 13078156017860158287091695829776774/125558186735315539824511\ 424149658527*c_0101_4^21 + 48549472791907302978373589795852851/1255\ 58186735315539824511424149658527*c_0101_4^20 - 498899972188824967625686944454533609/125558186735315539824511424149\ 658527*c_0101_4^19 - 1455647878317133991484770916492477867/12555818\ 6735315539824511424149658527*c_0101_4^18 + 6775827695536213440678073658652719961/12555818673531553982451142414\ 9658527*c_0101_4^17 + 13041305276093341204567294146534868208/125558\ 186735315539824511424149658527*c_0101_4^16 - 44354200186810218306784232529489685980/1255581867353155398245114241\ 49658527*c_0101_4^15 - 42347911597548165092877676495302752202/12555\ 8186735315539824511424149658527*c_0101_4^14 + 139382190948123843391271612162161444002/125558186735315539824511424\ 149658527*c_0101_4^13 + 42420229686528794875599681945362874865/1255\ 58186735315539824511424149658527*c_0101_4^12 - 202498473604662192630876930312271841503/125558186735315539824511424\ 149658527*c_0101_4^11 + 22819238624658216286557752407942270740/1255\ 58186735315539824511424149658527*c_0101_4^10 + 118965232781034744129194857368061922054/125558186735315539824511424\ 149658527*c_0101_4^9 - 48537645344796210061738387325750068366/12555\ 8186735315539824511424149658527*c_0101_4^8 - 18011364126652488462139392718814883422/1255581867353155398245114241\ 49658527*c_0101_4^7 + 10327731499873889973472657584057297124/125558\ 186735315539824511424149658527*c_0101_4^6 + 6451190101876221945581021400826875406/12555818673531553982451142414\ 9658527*c_0101_4^5 - 823161389438921797462976770218628858/125558186\ 735315539824511424149658527*c_0101_4^4 - 1517529789260674744349995610453287295/12555818673531553982451142414\ 9658527*c_0101_4^3 - 14590463146568902838005115831787958/1255581867\ 35315539824511424149658527*c_0101_4^2 - 174197957532067436214599133652193065/125558186735315539824511424149\ 658527*c_0101_4 - 14285977326513389099261085295010529/1255581867353\ 15539824511424149658527, c_0101_0 - 6803252372485451536638075091777136/1255581867353155398245114\ 24149658527*c_0101_4^21 - 28846429583768007189079549009753571/12555\ 8186735315539824511424149658527*c_0101_4^20 + 246530688675272878245615839458435657/125558186735315539824511424149\ 658527*c_0101_4^19 + 896531163158208742293108849838208627/125558186\ 735315539824511424149658527*c_0101_4^18 - 3133029187991523921666277889513353781/12555818673531553982451142414\ 9658527*c_0101_4^17 - 8718925856961423376071839712423844685/1255581\ 86735315539824511424149658527*c_0101_4^16 + 19518277704263981794138989169884611297/1255581867353155398245114241\ 49658527*c_0101_4^15 + 34976998718696456635543131842321008239/12555\ 8186735315539824511424149658527*c_0101_4^14 - 60625311955587362086576861514417835063/1255581867353155398245114241\ 49658527*c_0101_4^13 - 63867487309278055342360726761939689964/12555\ 8186735315539824511424149658527*c_0101_4^12 + 91919013906896014327459355051875161135/1255581867353155398245114241\ 49658527*c_0101_4^11 + 51333308239894098929434446053272098486/12555\ 8186735315539824511424149658527*c_0101_4^10 - 63892884872825496895941762573150610988/1255581867353155398245114241\ 49658527*c_0101_4^9 - 14758616488965877207056216126453596565/125558\ 186735315539824511424149658527*c_0101_4^8 + 17938737700447003735916870043326849074/1255581867353155398245114241\ 49658527*c_0101_4^7 + 3086364518440555284714258982483050626/1255581\ 86735315539824511424149658527*c_0101_4^6 - 4457151179202371494509533438935042072/12555818673531553982451142414\ 9658527*c_0101_4^5 - 2969866134579368494183512306598589551/12555818\ 6735315539824511424149658527*c_0101_4^4 + 1717005972567282345230805064044935379/12555818673531553982451142414\ 9658527*c_0101_4^3 + 578729656665145012664278358763758539/125558186\ 735315539824511424149658527*c_0101_4^2 + 136813689505912773855124073896503535/125558186735315539824511424149\ 658527*c_0101_4 + 95407533915347481079403276228825423/1255581867353\ 15539824511424149658527, c_0101_1 - 10204970870519991882212821488751681/125558186735315539824511\ 424149658527*c_0101_4^21 - 41475296656633984318875398536651511/1255\ 58186735315539824511424149658527*c_0101_4^20 + 373924066553636128752679494593440867/125558186735315539824511424149\ 658527*c_0101_4^19 + 1265261225278904263558497036605826863/12555818\ 6735315539824511424149658527*c_0101_4^18 - 4810394647236133645908535610428463677/12555818673531553982451142414\ 9658527*c_0101_4^17 - 11810848932480614780844705996509368494/125558\ 186735315539824511424149658527*c_0101_4^16 + 29994267839754741587715547592018699555/1255581867353155398245114241\ 49658527*c_0101_4^15 + 43237376234165658640979552513048711204/12555\ 8186735315539824511424149658527*c_0101_4^14 - 90446683848424121663413004517221213073/1255581867353155398245114241\ 49658527*c_0101_4^13 - 65229076849479195386258410255390648328/12555\ 8186735315539824511424149658527*c_0101_4^12 + 125722103438391531040821223220459694050/125558186735315539824511424\ 149658527*c_0101_4^11 + 32770650135459087277968885720475322282/1255\ 58186735315539824511424149658527*c_0101_4^10 - 69875608285683696645277061942111040023/1255581867353155398245114241\ 49658527*c_0101_4^9 - 314108828944523184547979420207601025/12555818\ 6735315539824511424149658527*c_0101_4^8 + 10897204914576014982742494212681585590/1255581867353155398245114241\ 49658527*c_0101_4^7 + 4647325202587949159047331268550243288/1255581\ 86735315539824511424149658527*c_0101_4^6 - 5939496076274632292439205943365751442/12555818673531553982451142414\ 9658527*c_0101_4^5 - 2053997210844703161394583914253009185/12555818\ 6735315539824511424149658527*c_0101_4^4 + 916441203973478525828336230895059376/125558186735315539824511424149\ 658527*c_0101_4^3 + 559734882187009467016613866199546793/1255581867\ 35315539824511424149658527*c_0101_4^2 + 360952416377964736629375021020256895/125558186735315539824511424149\ 658527*c_0101_4 + 77312743526982807994917886513589294/1255581867353\ 15539824511424149658527, c_0101_4^22 + 4*c_0101_4^21 - 37*c_0101_4^20 - 122*c_0101_4^19 + 483*c_0101_4^18 + 1138*c_0101_4^17 - 3062*c_0101_4^16 - 4143*c_0101_4^15 + 9444*c_0101_4^14 + 6108*c_0101_4^13 - 13662*c_0101_4^12 - 2618*c_0101_4^11 + 8308*c_0101_4^10 - 751*c_0101_4^9 - 1669*c_0101_4^8 + 40*c_0101_4^7 + 577*c_0101_4^6 + 105*c_0101_4^5 - 89*c_0101_4^4 - 35*c_0101_4^3 - 28*c_0101_4^2 - 8*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB