Magma V2.19-8 Tue Aug 20 2013 16:16:22 on localhost [Seed = 240095982] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0639 geometric_solution 4.62784233 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 -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 1.455253549801 0.150679980694 0 2 2 0 3201 0132 1023 0132 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 -1 1 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 1.192561650750 0.200642581811 3 1 1 3 0132 0132 1023 1023 0 0 0 0 0 -1 0 1 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 0 0 1 -1 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.989198409698 0.558933093462 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 -1 0 1 0 0 1 -1 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 -1 0 1 0 0 0 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.416790325422 0.150915387020 5 3 5 6 2031 0132 2103 0132 0 0 0 0 0 1 -1 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 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.769540080600 0.765961655039 4 6 4 3 2103 0132 1302 0132 0 0 0 0 0 0 0 0 1 0 0 -1 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 0 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.769540080600 0.765961655039 6 5 4 6 3201 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.948650473014 0.502859638510 ==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' : negation(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' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : 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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_1'], 'c_0101_4' : d['c_0011_1'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0011_5'], 'c_1001_6' : d['c_1001_3'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_1001_3'], 'c_1010_4' : d['c_1001_3'], 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : d['c_0101_2'], '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_5, c_0101_0, c_0101_2, c_0101_6, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 1301952135176758200751174512899871427676876/19426749711933871501989\ 5024507886654021505*c_1001_3^16 + 107829252984066570188598010757548\ 41866162703/194267497119338715019895024507886654021505*c_1001_3^15 + 70755317367369909148186065916065359141730622/1942674971193387150198\ 95024507886654021505*c_1001_3^14 + 393719533055735586969177265481285229937878282/194267497119338715019\ 895024507886654021505*c_1001_3^13 + 1743067709017771322923340039355125171862923413/19426749711933871501\ 9895024507886654021505*c_1001_3^12 + 4237165969002588452893487061261866318543835814/19426749711933871501\ 9895024507886654021505*c_1001_3^11 + 11957725724489601305423040370182086237376495864/1942674971193387150\ 19895024507886654021505*c_1001_3^10 + 11486665780490888873332888318634508588140777776/1942674971193387150\ 19895024507886654021505*c_1001_3^9 - 47060783244926618048490861541191245244596931452/1942674971193387150\ 19895024507886654021505*c_1001_3^8 - 115114684640803689469649370533266484242587325933/194267497119338715\ 019895024507886654021505*c_1001_3^7 - 73668816775583889703577567237179950117098164074/1942674971193387150\ 19895024507886654021505*c_1001_3^6 + 669164309882359521023502584339986959988454249/176606815563035195472\ 63184046171514001955*c_1001_3^5 + 223428243795004569185010286174418\ 32147473757484/194267497119338715019895024507886654021505*c_1001_3^\ 4 + 8133392119454466918605994731857217886852050067/1942674971193387\ 15019895024507886654021505*c_1001_3^3 - 219083113009174052403195772857147065190136304/388534994238677430039\ 79004901577330804301*c_1001_3^2 - 189870055874274400094367538801494\ 3916284707733/194267497119338715019895024507886654021505*c_1001_3 + 297080502372871442671840201627077633841939318/194267497119338715019\ 895024507886654021505, c_0011_0 - 1, c_0011_1 - 303524714594052770773843282350056959844/35321363112607039094\ 52636809234302800391*c_1001_3^16 - 2536574651960068340895775547726576889471/35321363112607039094526368\ 09234302800391*c_1001_3^15 - 16687376236634466784479946910918187844\ 509/3532136311260703909452636809234302800391*c_1001_3^14 - 93058678999800100810789351468353011114655/3532136311260703909452636\ 809234302800391*c_1001_3^13 - 4134711946905887543743102497360539336\ 24045/3532136311260703909452636809234302800391*c_1001_3^12 - 1019572277074936438688679967749317006078111/35321363112607039094526\ 36809234302800391*c_1001_3^11 - 28677035130805117160851309639554380\ 96627925/3532136311260703909452636809234302800391*c_1001_3^10 - 2903075477573835149416767687385121448615594/35321363112607039094526\ 36809234302800391*c_1001_3^9 + 107269462199216947705589545416017582\ 15295809/3532136311260703909452636809234302800391*c_1001_3^8 + 27598373417287284045298840338306229477712636/3532136311260703909452\ 636809234302800391*c_1001_3^7 + 19302993233720181812978842861491883\ 212832584/3532136311260703909452636809234302800391*c_1001_3^6 + 21347299400034962580851610197094041056907/3532136311260703909452636\ 809234302800391*c_1001_3^5 - 48997284441583441362349042189967841688\ 13171/3532136311260703909452636809234302800391*c_1001_3^4 - 2181052226393903283596450165390387296023361/35321363112607039094526\ 36809234302800391*c_1001_3^3 + 558566067648229349571634537595509957\ 12547/3532136311260703909452636809234302800391*c_1001_3^2 + 411236855095213159786557544911480455734687/353213631126070390945263\ 6809234302800391*c_1001_3 - 489187695215522583200791560258766872821\ 28/3532136311260703909452636809234302800391, c_0011_5 + 288505599706837232671187200825405969028/35321363112607039094\ 52636809234302800391*c_1001_3^16 + 2411791602968609400694288672563275844833/35321363112607039094526368\ 09234302800391*c_1001_3^15 + 15864354142635495299187647982942916941\ 035/3532136311260703909452636809234302800391*c_1001_3^14 + 88466851941701528587181735247351128053716/3532136311260703909452636\ 809234302800391*c_1001_3^13 + 3930572938112209540648226691738811752\ 00782/3532136311260703909452636809234302800391*c_1001_3^12 + 969128635641455688784550865842041813110806/353213631126070390945263\ 6809234302800391*c_1001_3^11 + 272391584203351619098435573313619769\ 5250955/3532136311260703909452636809234302800391*c_1001_3^10 + 2756159458319541396151537570021147921131810/35321363112607039094526\ 36809234302800391*c_1001_3^9 - 102188731354742976177034705246242871\ 31221115/3532136311260703909452636809234302800391*c_1001_3^8 - 26283320494531217577749745521233246585878616/3532136311260703909452\ 636809234302800391*c_1001_3^7 - 18292315153249348605738508172919077\ 371725867/3532136311260703909452636809234302800391*c_1001_3^6 + 195453049769143286107443993142276755064586/353213631126070390945263\ 6809234302800391*c_1001_3^5 + 4809781187180121436727603606368902320\ 513620/3532136311260703909452636809234302800391*c_1001_3^4 + 2093070603734664910211807591108350349654501/35321363112607039094526\ 36809234302800391*c_1001_3^3 - 662732642248196286642150906085853463\ 99797/3532136311260703909452636809234302800391*c_1001_3^2 - 402966515822757207190304460151064956431495/353213631126070390945263\ 6809234302800391*c_1001_3 + 477988146875138074074027430738103059667\ 02/3532136311260703909452636809234302800391, c_0101_0 + 398467156865559538800642822063292560659/35321363112607039094\ 52636809234302800391*c_1001_3^16 + 3324629468055314473345069461240373292692/35321363112607039094526368\ 09234302800391*c_1001_3^15 + 21863399697984417518391781858108038205\ 856/3532136311260703909452636809234302800391*c_1001_3^14 + 121878877747285049634513430872685071330999/353213631126070390945263\ 6809234302800391*c_1001_3^13 + 541198428891403314804592940567199723\ 658687/3532136311260703909452636809234302800391*c_1001_3^12 + 1331386750939169137915474979389793663093404/35321363112607039094526\ 36809234302800391*c_1001_3^11 + 37474786463152087344636699235122791\ 85710297/3532136311260703909452636809234302800391*c_1001_3^10 + 3760775416701716079365707254149927840447075/35321363112607039094526\ 36809234302800391*c_1001_3^9 - 141310701326991031853825397592333361\ 12453646/3532136311260703909452636809234302800391*c_1001_3^8 - 36053084221062147834284063800694134369440394/3532136311260703909452\ 636809234302800391*c_1001_3^7 - 24919636283180888937507307264316326\ 687906759/3532136311260703909452636809234302800391*c_1001_3^6 + 309522309228951469763912282745842649253303/353213631126070390945263\ 6809234302800391*c_1001_3^5 + 6588478097612406869352462173078974649\ 916942/3532136311260703909452636809234302800391*c_1001_3^4 + 2892787625881579046427653868904093590665747/35321363112607039094526\ 36809234302800391*c_1001_3^3 - 979744216421764851167349316343292934\ 21505/3532136311260703909452636809234302800391*c_1001_3^2 - 551197747980194035804125914308764192653647/353213631126070390945263\ 6809234302800391*c_1001_3 + 597777969552011339615360298283254471448\ 98/3532136311260703909452636809234302800391, c_0101_2 - 308934324305577258621949099613425830246/35321363112607039094\ 52636809234302800391*c_1001_3^16 - 2582687198920886817219316069523910610669/35321363112607039094526368\ 09234302800391*c_1001_3^15 - 16987053695480612508171480433971517549\ 282/3532136311260703909452636809234302800391*c_1001_3^14 - 94726355972813631702622714368128279623734/3532136311260703909452636\ 809234302800391*c_1001_3^13 - 4208527590591906350080312952533523037\ 64415/3532136311260703909452636809234302800391*c_1001_3^12 - 1037522121786381168960379401811495253462086/35321363112607039094526\ 36809234302800391*c_1001_3^11 - 29155561031954310149460693060007060\ 50774405/3532136311260703909452636809234302800391*c_1001_3^10 - 2949444503359854937509167934665793432001377/35321363112607039094526\ 36809234302800391*c_1001_3^9 + 109519195193692127570270361783550149\ 28685587/3532136311260703909452636809234302800391*c_1001_3^8 + 28147924809894556779776083177186303345168456/3532136311260703909452\ 636809234302800391*c_1001_3^7 + 19538562577021800676713621910414533\ 852542079/3532136311260703909452636809234302800391*c_1001_3^6 - 264689353046680306247046020837063068764591/353213631126070390945263\ 6809234302800391*c_1001_3^5 - 5145066038870811666697330562266384482\ 505661/3532136311260703909452636809234302800391*c_1001_3^4 - 2225354622235091729687225959006512132681569/35321363112607039094526\ 36809234302800391*c_1001_3^3 + 692695044096371859652938276712205630\ 15774/3532136311260703909452636809234302800391*c_1001_3^2 + 429161280875004417194300186774960648236761/353213631126070390945263\ 6809234302800391*c_1001_3 - 521973208394223031835755642329849374696\ 21/3532136311260703909452636809234302800391, c_0101_6 - 348891471184945332298938417342959434086/35321363112607039094\ 52636809234302800391*c_1001_3^16 - 2903089620672272208675738159404978375572/35321363112607039094526368\ 09234302800391*c_1001_3^15 - 19081839250381731254740796295473105216\ 282/3532136311260703909452636809234302800391*c_1001_3^14 - 106313882525728918832008618388023327960972/353213631126070390945263\ 6809234302800391*c_1001_3^13 - 471657243107317970655657895836017838\ 789821/3532136311260703909452636809234302800391*c_1001_3^12 - 1156140999967440103081588213707419223761780/35321363112607039094526\ 36809234302800391*c_1001_3^11 - 32596197253209963508651047980970392\ 07427538/3532136311260703909452636809234302800391*c_1001_3^10 - 3227947154990443568755917659389745630564326/35321363112607039094526\ 36809234302800391*c_1001_3^9 + 124159799144487598752369703655617527\ 64154412/3532136311260703909452636809234302800391*c_1001_3^8 + 31282292160180672673589288204049791184565480/3532136311260703909452\ 636809234302800391*c_1001_3^7 + 21268773481138630675012006247017692\ 259169620/3532136311260703909452636809234302800391*c_1001_3^6 - 554398392565751260443523404420192509893950/353213631126070390945263\ 6809234302800391*c_1001_3^5 - 5721457623821990326818331054892879789\ 681101/3532136311260703909452636809234302800391*c_1001_3^4 - 2441780084968400181784659605223671195367591/35321363112607039094526\ 36809234302800391*c_1001_3^3 + 111937897422119153456374630858951900\ 299683/3532136311260703909452636809234302800391*c_1001_3^2 + 473973434315712321572789081402640645937775/353213631126070390945263\ 6809234302800391*c_1001_3 - 563942449240083806447382950819197452885\ 43/3532136311260703909452636809234302800391, c_1001_3^17 + 8*c_1001_3^16 + 52*c_1001_3^15 + 287*c_1001_3^14 + 1253*c_1001_3^13 + 2874*c_1001_3^12 + 8254*c_1001_3^11 + 6201*c_1001_3^10 - 38722*c_1001_3^9 - 78308*c_1001_3^8 - 31334*c_1001_3^7 + 22429*c_1001_3^6 + 16194*c_1001_3^5 + 1482*c_1001_3^4 - 2720*c_1001_3^3 - 1288*c_1001_3^2 + 633*c_1001_3 - 55 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB