Magma V2.19-8 Tue Aug 20 2013 16:15:50 on localhost [Seed = 1461111676] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0065 geometric_solution 3.62303442 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 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 -1 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 -2.005224162498 0.204998040283 0 0 2 2 0132 2310 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 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.241035182677 0.049803524329 1 3 1 3 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 -1 1 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.467214780052 0.566680516724 2 2 5 4 3201 0132 0132 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 -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.089906722018 7.531580878506 6 5 3 6 0132 2031 0132 2031 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 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 0 0 -0.002029818920 0.510141749354 4 6 6 3 1302 3201 2031 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 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.002029818920 0.510141749354 4 4 5 5 0132 1302 2310 1302 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 -1 0 -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 1.007799534552 1.960208451127 ==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' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(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' : negation(d['1']), 's_2_4' : negation(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' : 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' : negation(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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_1010_6']), 'c_1100_4' : negation(d['c_1010_6']), 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_1010_6']), 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : 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' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_4'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_1010_6'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0011_4']), 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_4']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_4, c_1010_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 29842689789918195434526718757731306289/1360933968582424718925491593\ 22825976080*c_1010_6^15 + 349889109917551162006646964835988082253/1\ 36093396858242471892549159322825976080*c_1010_6^14 - 38117164647160518893562039420222406117/4860478459222945424733898547\ 243784860*c_1010_6^13 - 3609620476662886703160747560971079351019/13\ 6093396858242471892549159322825976080*c_1010_6^12 + 11791215147725593980630289124190226856901/6804669842912123594627457\ 9661412988040*c_1010_6^11 + 330103447024337784325431811987117050006\ 7/136093396858242471892549159322825976080*c_1010_6^10 - 46819559374416982098108246066503753878017/3402334921456061797313728\ 9830706494020*c_1010_6^9 + 6130687185324961053271520466896808080241\ /9720956918445890849467797094487569720*c_1010_6^8 + 165232299860791451794447471909077804561163/340233492145606179731372\ 89830706494020*c_1010_6^7 - 375078867292531823581247218631053812845\ 173/136093396858242471892549159322825976080*c_1010_6^6 - 244978125958223405211184521438361078988485/272186793716484943785098\ 31864565195216*c_1010_6^5 + 326914709790790544452640778256670749335\ 07/6186063493556475995115870878310271640*c_1010_6^4 + 76065516808856030124230533861653201316579/8505837303640154493284322\ 457676623505*c_1010_6^3 - 66352436079794165450563991682607395878976\ 1/136093396858242471892549159322825976080*c_1010_6^2 - 111406049850008179244892465363506646722063/272186793716484943785098\ 31864565195216*c_1010_6 + 21808181477319515080124701021636478502460\ 9/136093396858242471892549159322825976080, c_0011_0 - 1, c_0011_2 + 11593880400726057491272653/18154903979435676465193335353*c_1\ 010_6^15 - 128383234956651668012556868/1815490397943567646519333535\ 3*c_1010_6^14 + 687746450387470664611290725/36309807958871352930386\ 670706*c_1010_6^13 + 1486565192560737285747011880/18154903979435676\ 465193335353*c_1010_6^12 - 7838510340380106644531114435/18154903979\ 435676465193335353*c_1010_6^11 - 9352373883939427589123551909/36309\ 807958871352930386670706*c_1010_6^10 + 122587280084364629944311929023/36309807958871352930386670706*c_1010\ _6^9 + 391513500223965060954442387/36309807958871352930386670706*c_\ 1010_6^8 - 379912061169546759938116807819/3630980795887135293038667\ 0706*c_1010_6^7 + 59802098922812893843359920811/3630980795887135293\ 0386670706*c_1010_6^6 + 584709948132279123226568274185/363098079588\ 71352930386670706*c_1010_6^5 - 138421796428673245760911311743/36309\ 807958871352930386670706*c_1010_6^4 - 447213557085577476957325404631/36309807958871352930386670706*c_1010\ _6^3 + 49201676929616569443289205734/18154903979435676465193335353*\ c_1010_6^2 + 32908699134084567219599343235/181549039794356764651933\ 35353*c_1010_6 - 39077462603027768539217809403/36309807958871352930\ 386670706, c_0011_4 - 2538775791524992107000307193906/1616567115040890939490210159\ 837179*c_1010_6^15 + 56822471354571496227238183022347/3233134230081\ 781878980420319674358*c_1010_6^14 - 159118996798696749006950555885509/323313423008178187898042031967435\ 8*c_1010_6^13 - 305115112747893082228302205165954/16165671150408909\ 39490210159837179*c_1010_6^12 + 1142949681963986951194543767359077/\ 1077711410027260626326806773224786*c_1010_6^11 + 743073277994684770746526220615648/161656711504089093949021015983717\ 9*c_1010_6^10 - 12826728188967505212939753022750985/161656711504089\ 0939490210159837179*c_1010_6^9 + 396546473128322677417242019344415/\ 538855705013630313163403386612393*c_1010_6^8 + 37083883944033002078052630603189866/1616567115040890939490210159837\ 179*c_1010_6^7 - 2379121839866769639436141799097502/538855705013630\ 313163403386612393*c_1010_6^6 - 53259321281869052561578026886654574\ /1616567115040890939490210159837179*c_1010_6^5 + 12391470269801382475304382094359593/1616567115040890939490210159837\ 179*c_1010_6^4 + 79133048630352347678977589886041705/32331342300817\ 81878980420319674358*c_1010_6^3 - 539330944580564685986543252929235\ 9/1616567115040890939490210159837179*c_1010_6^2 - 18240950601070296183061641037504421/3233134230081781878980420319674\ 358*c_1010_6 + 5204587488717047626805255606555107/32331342300817818\ 78980420319674358, c_0101_0 + 114930720824070081104442977530/16165671150408909394902101598\ 37179*c_1010_6^15 - 1657020734192737477868838886241/323313423008178\ 1878980420319674358*c_1010_6^14 - 1313291184051021764143013972456/1\ 616567115040890939490210159837179*c_1010_6^13 + 25129155523725065595192860662904/1616567115040890939490210159837179\ *c_1010_6^12 - 2529846603248636155415902117145/53885570501363031316\ 3403386612393*c_1010_6^11 - 348024779892346026342446413167289/16165\ 67115040890939490210159837179*c_1010_6^10 + 512182178865559996954672110941981/323313423008178187898042031967435\ 8*c_1010_6^9 + 1797567180372352600122682078362143/10777114100272606\ 26326806773224786*c_1010_6^8 - 1171145347428382628396069079076402/1\ 616567115040890939490210159837179*c_1010_6^7 - 6170050200012665213836346000408403/10777114100272606263268067732247\ 86*c_1010_6^6 + 7779440444990151860703385708935671/3233134230081781\ 878980420319674358*c_1010_6^5 + 13455922338469096929589240961008010\ /1616567115040890939490210159837179*c_1010_6^4 - 7148461114305849637078153334511797/16165671150408909394902101598371\ 79*c_1010_6^3 - 8436222923060742664477244727015584/1616567115040890\ 939490210159837179*c_1010_6^2 + 5467282277531819063498646701423042/\ 1616567115040890939490210159837179*c_1010_6 + 792277351777076256334164752511781/323313423008178187898042031967435\ 8, c_0101_1 - 673647755867966411857700970904/16165671150408909394902101598\ 37179*c_1010_6^15 + 15177522496372083742530713810861/32331342300817\ 81878980420319674358*c_1010_6^14 - 42239760635313159134646961892363/3233134230081781878980420319674358\ *c_1010_6^13 - 87009699559793124395660552680988/1616567115040890939\ 490210159837179*c_1010_6^12 + 165444401892310180319713766088552/538\ 855705013630313163403386612393*c_1010_6^11 + 322243303368676055300816431844183/323313423008178187898042031967435\ 8*c_1010_6^10 - 3882349580436799239193183434814990/1616567115040890\ 939490210159837179*c_1010_6^9 + 508478781457323909665881861865066/5\ 38855705013630313163403386612393*c_1010_6^8 + 23254991180192270395929290510202011/3233134230081781878980420319674\ 358*c_1010_6^7 - 3090282699983010459499271886917305/538855705013630\ 313163403386612393*c_1010_6^6 - 13091038233164869856016535119423055\ /1616567115040890939490210159837179*c_1010_6^5 + 34417250517382314326090559078664901/3233134230081781878980420319674\ 358*c_1010_6^4 + 4672621982676993510638980727542483/323313423008178\ 1878980420319674358*c_1010_6^3 - 1173676242215402145757584542452748\ 2/1616567115040890939490210159837179*c_1010_6^2 + 5751803757928785271548526665708310/16165671150408909394902101598371\ 79*c_1010_6 - 252353973328467588482827363190231/1616567115040890939\ 490210159837179, c_0101_4 + 850615923408917368613486563913/16165671150408909394902101598\ 37179*c_1010_6^15 - 8593251190061357619413025920486/161656711504089\ 0939490210159837179*c_1010_6^14 + 16089985794918666270356336820905/\ 1616567115040890939490210159837179*c_1010_6^13 + 267596097933431560862138905373333/323313423008178187898042031967435\ 8*c_1010_6^12 - 315027522875942868262940335855821/10777114100272606\ 26326806773224786*c_1010_6^11 - 890073447856543228391198696165339/1\ 616567115040890939490210159837179*c_1010_6^10 + 4194511376610697543317421510369865/16165671150408909394902101598371\ 79*c_1010_6^9 + 2773506218897324654597450970465845/1077711410027260\ 626326806773224786*c_1010_6^8 - 13943551595166884964872578476079769\ /1616567115040890939490210159837179*c_1010_6^7 - 3246808515995798557860204774778557/53885570501363031316340338661239\ 3*c_1010_6^6 + 46358358031531835776949955183792049/3233134230081781\ 878980420319674358*c_1010_6^5 + 11104974823736212990178219146265500\ /1616567115040890939490210159837179*c_1010_6^4 - 20939899327417723634401873826569132/1616567115040890939490210159837\ 179*c_1010_6^3 - 13141327270012801683086084798128631/32331342300817\ 81878980420319674358*c_1010_6^2 + 130843325489039973242151713659269\ 41/3233134230081781878980420319674358*c_1010_6 - 1007212142634831629182977123777704/16165671150408909394902101598371\ 79, c_1010_6^16 - 12*c_1010_6^15 + 39*c_1010_6^14 + 111*c_1010_6^13 - 823*c_1010_6^12 + 107*c_1010_6^11 + 6297*c_1010_6^10 - 4586*c_1010_6^9 - 21298*c_1010_6^8 + 18497*c_1010_6^7 + 37390*c_1010_6^6 - 34881*c_1010_6^5 - 33786*c_1010_6^4 + 32729*c_1010_6^3 + 12180*c_1010_6^2 - 11966*c_1010_6 + 2255 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB