Magma V2.19-8 Tue Aug 20 2013 16:19:12 on localhost [Seed = 1157945409] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3317 geometric_solution 6.44885891 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 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 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.640357480535 0.973666279002 0 3 5 4 0132 0132 0132 0132 0 0 0 0 0 -1 0 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 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.576359234166 0.839016444321 3 0 4 5 3201 0132 3201 2310 0 0 0 0 0 1 -1 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 0 0 0 1 0 0 -1 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.576359234166 0.839016444321 3 1 3 2 2031 0132 1302 2310 0 0 0 0 0 1 0 -1 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 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.339761274271 0.899088843850 2 6 1 6 2310 0132 0132 1023 0 0 0 0 0 0 -1 1 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 1.110011311388 0.783696225145 2 5 5 1 3201 3201 2310 0132 0 0 0 0 0 0 0 0 1 0 -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 -1 0 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.534743031448 0.716889144507 6 4 6 4 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 1 -1 -1 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.535254836266 0.226899939584 ==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' : negation(d['1']), 's_2_0' : negation(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' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_0']), '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_6' : negation(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_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_5'], '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' : negation(d['c_0101_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0101_5'], '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 8 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, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t + 3312508063935735257100556757498274614530103142672240076665/35258087\ 008141739050116286635899148899216157547604754910816*c_0110_6^32 - 97660367445373809944344709885535342589719603897481258501697/1762904\ 3504070869525058143317949574449608078773802377455408*c_0110_6^30 + 1102205818390581756273790442113333210599599416204737222188849/17629\ 043504070869525058143317949574449608078773802377455408*c_0110_6^28 - 367862577457695260248168578702700698563703260900463621566971/110181\ 5219004429345316133957371848403100504923362648590963*c_0110_6^26 + 122464153485122028076180430372081064645585209381922605741915191/352\ 58087008141739050116286635899148899216157547604754910816*c_0110_6^2\ 4 - 419961815114698358763572001066537949090984481130209726708733715\ /17629043504070869525058143317949574449608078773802377455408*c_0110\ _6^22 + 14390655997130110886324529865828083011007514384231562579855\ 20801/17629043504070869525058143317949574449608078773802377455408*c\ _0110_6^20 - 356929529567198561736726718721933887336244631459308422\ 540844039/220363043800885869063226791474369680620100984672529718192\ 6*c_0110_6^18 + 499182178394554607919547559933860967387641878678970\ 105064097577/220363043800885869063226791474369680620100984672529718\ 1926*c_0110_6^16 - 478971878331159268317251711026009425692285361257\ 0003357588139885/17629043504070869525058143317949574449608078773802\ 377455408*c_0110_6^14 + 9706098926801637051975877036379439284789683\ 143309416378295079345/352580870081417390501162866358991488992161575\ 47604754910816*c_0110_6^12 - 69321866399006563181116121756593785047\ 24366098525485223288170481/3525808700814173905011628663589914889921\ 6157547604754910816*c_0110_6^10 + 818714277505530649147849602186221\ 853820276680022697881149526341/881452175203543476252907165897478722\ 4804039386901188727704*c_0110_6^8 - 1295139805348443207717640615621404978884784225238890239662868249/35\ 258087008141739050116286635899148899216157547604754910816*c_0110_6^\ 6 + 14113328120214496371193901971442113357634236614560244503927229/\ 1101815219004429345316133957371848403100504923362648590963*c_0110_6\ ^4 - 56593954904391067518370841262358833710639192151528371569033567\ /35258087008141739050116286635899148899216157547604754910816*c_0110\ _6^2 - 830277990413821961309800447910667189039451925629541716199171\ 9/35258087008141739050116286635899148899216157547604754910816, c_0011_0 - 1, c_0011_4 + 2634621043442290611469200399580923453611323571643021901/1695\ 10033692989130048635993441822831246231526671176706302*c_0110_6^33 - 76469612400310555551663470340497547455037347599846596536/8475501684\ 6494565024317996720911415623115763335588353151*c_0110_6^31 + 807429995246401500012942576912374800123391269231627643128/847550168\ 46494565024317996720911415623115763335588353151*c_0110_6^29 - 3985170354128622624475002678886635769212657131775266529463/84755016\ 846494565024317996720911415623115763335588353151*c_0110_6^27 + 90969051394640896584651611246525101791571857999746257321975/1695100\ 33692989130048635993441822831246231526671176706302*c_0110_6^25 - 294399622810880795902992545906600434068900469375368406853736/847550\ 16846494565024317996720911415623115763335588353151*c_0110_6^23 + 899634110065177132418957490267311803116108795365575177249205/847550\ 16846494565024317996720911415623115763335588353151*c_0110_6^21 - 1599350749746186540317498100376119607209915375268468637047416/84755\ 016846494565024317996720911415623115763335588353151*c_0110_6^19 + 2130821040143539553143290885270058619474238032512920842329191/84755\ 016846494565024317996720911415623115763335588353151*c_0110_6^17 - 2514828737400951514700758722990283301179813816728817337080817/84755\ 016846494565024317996720911415623115763335588353151*c_0110_6^15 + 4741947135695179741265033092197623767317334698664215311658067/16951\ 0033692989130048635993441822831246231526671176706302*c_0110_6^13 - 3043396520064908006765406777168949837031700600347615706264935/16951\ 0033692989130048635993441822831246231526671176706302*c_0110_6^11 + 690773371698343204205736289639096471935502366181826984711516/847550\ 16846494565024317996720911415623115763335588353151*c_0110_6^9 - 545262047490669894875265589991269951019117707575822801070835/169510\ 033692989130048635993441822831246231526671176706302*c_0110_6^7 + 82729901263518394292762319754838265308702612920472511274611/8475501\ 6846494565024317996720911415623115763335588353151*c_0110_6^5 - 15902207789773123224915034293852519061073700984039535306341/1695100\ 33692989130048635993441822831246231526671176706302*c_0110_6^3 - 3214297773362438277685601278413296626162925420707766961703/16951003\ 3692989130048635993441822831246231526671176706302*c_0110_6, c_0101_0 - 103815619069773202773185250470830652095825688703360697/84755\ 016846494565024317996720911415623115763335588353151*c_0110_6^33 + 6168160597620983864528719848892307113929601796711808675/84755016846\ 494565024317996720911415623115763335588353151*c_0110_6^31 - 71736974184006305306181855880158824792665567210642543084/8475501684\ 6494565024317996720911415623115763335588353151*c_0110_6^29 + 394009037598402020271355867388549472892324389367672310876/847550168\ 46494565024317996720911415623115763335588353151*c_0110_6^27 - 3944335422334002186436300201134885089772051251227831451864/84755016\ 846494565024317996720911415623115763335588353151*c_0110_6^25 + 27778384275883871611383949413205294852192015328809406790684/8475501\ 6846494565024317996720911415623115763335588353151*c_0110_6^23 - 98633651115799423665969163844398972618990663433682770194572/8475501\ 6846494565024317996720911415623115763335588353151*c_0110_6^21 + 198703583593754033561380825569860916593551548579433357958139/847550\ 16846494565024317996720911415623115763335588353151*c_0110_6^19 - 274980737857522927382639687137796725643806175401213973339087/847550\ 16846494565024317996720911415623115763335588353151*c_0110_6^17 + 328164689749696396535214366441274087217464890160828721822756/847550\ 16846494565024317996720911415623115763335588353151*c_0110_6^15 - 335212959821926985666077849574674249954461731875016394302148/847550\ 16846494565024317996720911415623115763335588353151*c_0110_6^13 + 234918292973417139506823293155152113673750382390189756597730/847550\ 16846494565024317996720911415623115763335588353151*c_0110_6^11 - 104433923568328541185948228335457909680526485184812904035615/847550\ 16846494565024317996720911415623115763335588353151*c_0110_6^9 + 41523636766123703430997622683171878204434712782185549172959/8475501\ 6846494565024317996720911415623115763335588353151*c_0110_6^7 - 14303174908101124430910288424878687659215843832460379123691/8475501\ 6846494565024317996720911415623115763335588353151*c_0110_6^5 + 947499793973095983327025067189116729358814139539598232027/847550168\ 46494565024317996720911415623115763335588353151*c_0110_6^3 + 420731507921627921356191851894807144591547297471240631882/847550168\ 46494565024317996720911415623115763335588353151*c_0110_6, c_0101_1 - 563433018368163642785753881658708007082878182044769006/84755\ 016846494565024317996720911415623115763335588353151*c_0110_6^32 + 32613907931792872118773041360954911407260473016204512989/8475501684\ 6494565024317996720911415623115763335588353151*c_0110_6^30 - 339971868208260388861778186816004037785952482651864345810/847550168\ 46494565024317996720911415623115763335588353151*c_0110_6^28 + 1649445612715474500416068628426402971176526671620377271980/84755016\ 846494565024317996720911415623115763335588353151*c_0110_6^26 - 19193845053739105653302118033548755602439084214744088773392/8475501\ 6846494565024317996720911415623115763335588353151*c_0110_6^24 + 122801627641293804155392502461293952730436182615257265111846/847550\ 16846494565024317996720911415623115763335588353151*c_0110_6^22 - 365162738801609482030583752803737680002469413958367605595184/847550\ 16846494565024317996720911415623115763335588353151*c_0110_6^20 + 628098486351520614358384524529086870942548201827884817352888/847550\ 16846494565024317996720911415623115763335588353151*c_0110_6^18 - 820429924338896844599086884680522008536305285511077596334881/847550\ 16846494565024317996720911415623115763335588353151*c_0110_6^16 + 961287496934697855447702292337587632343727705140092416107457/847550\ 16846494565024317996720911415623115763335588353151*c_0110_6^14 - 882033422498077501666837367442276314941776697083480257690396/847550\ 16846494565024317996720911415623115763335588353151*c_0110_6^12 + 536345986330956104784740188951016061904742075341961353227645/847550\ 16846494565024317996720911415623115763335588353151*c_0110_6^10 - 234542680414890699985371214547439161639219389560358257763061/847550\ 16846494565024317996720911415623115763335588353151*c_0110_6^8 + 93012987289353699687511341529476180833115211468380425851803/8475501\ 6846494565024317996720911415623115763335588353151*c_0110_6^6 - 26151795745049529751854730066198416873877630647167391377311/8475501\ 6846494565024317996720911415623115763335588353151*c_0110_6^4 + 1702130168704201498252068221894538294893316095964896911352/84755016\ 846494565024317996720911415623115763335588353151*c_0110_6^2 + 463320052340046741682538422952742882395855671901717879263/847550168\ 46494565024317996720911415623115763335588353151, c_0101_2 + 5342419503459070030580049259068343604907416353143022003/1695\ 10033692989130048635993441822831246231526671176706302*c_0110_6^33 - 154578507146238312473383720091788628840592626902066433737/847550168\ 46494565024317996720911415623115763335588353151*c_0110_6^31 + 1609355851093172978169753388758588106002506760739466741687/84755016\ 846494565024317996720911415623115763335588353151*c_0110_6^29 - 7795786105359396421345247580639002380740306495690679447460/84755016\ 846494565024317996720911415623115763335588353151*c_0110_6^27 + 181775758954339787827007509063404978621222661205960037379545/169510\ 033692989130048635993441822831246231526671176706302*c_0110_6^25 - 580820038550007125530099356828990443601847063948874741692413/847550\ 16846494565024317996720911415623115763335588353151*c_0110_6^23 + 1722816428607935138478374250629689430635139854690534694581069/84755\ 016846494565024317996720911415623115763335588353151*c_0110_6^21 - 2955629808623936357639761683637594786385413601730826523253567/84755\ 016846494565024317996720911415623115763335588353151*c_0110_6^19 + 3857472913805684534445214667523172776134654386664318794924361/84755\ 016846494565024317996720911415623115763335588353151*c_0110_6^17 - 4519942497769473318036178118587412521640873463358116680364632/84755\ 016846494565024317996720911415623115763335588353151*c_0110_6^15 + 8277841142272193993333656312772751875286045364098867312509391/16951\ 0033692989130048635993441822831246231526671176706302*c_0110_6^13 - 5019024621701101687990580995422900373947139544908106343688801/16951\ 0033692989130048635993441822831246231526671176706302*c_0110_6^11 + 1099619921077346416917392424081335353786956681672924352494730/84755\ 016846494565024317996720911415623115763335588353151*c_0110_6^9 - 872355700707263491990330740876003772870799356456815155801491/169510\ 033692989130048635993441822831246231526671176706302*c_0110_6^7 + 120075708257632907604175826551081488908121817240011355317743/847550\ 16846494565024317996720911415623115763335588353151*c_0110_6^5 - 15295886505450016726872256908356678527895101673898039314355/1695100\ 33692989130048635993441822831246231526671176706302*c_0110_6^3 - 3974000988314335891146436176015666296979329072790628162363/16951003\ 3692989130048635993441822831246231526671176706302*c_0110_6, c_0101_5 + 522083460973093522480920578637688040024358526372741138/84755\ 016846494565024317996720911415623115763335588353151*c_0110_6^32 - 30035795361035295962874746506961762984174448286265204766/8475501684\ 6494565024317996720911415623115763335588353151*c_0110_6^30 + 304432156048437009842009574762560199236696726672479106916/847550168\ 46494565024317996720911415623115763335588353151*c_0110_6^28 - 1422564662705213042765517081990438623791740135384824363113/84755016\ 846494565024317996720911415623115763335588353151*c_0110_6^26 + 17300314117093278137778408494195558134224983354086769924478/8475501\ 6846494565024317996720911415623115763335588353151*c_0110_6^24 - 107753907797391015107126288928140321224661039643160261594163/847550\ 16846494565024317996720911415623115763335588353151*c_0110_6^22 + 301294725778454167703492306301093263705486590140229412743084/847550\ 16846494565024317996720911415623115763335588353151*c_0110_6^20 - 481780703778170133371065480409534043441749642707287148065863/847550\ 16846494565024317996720911415623115763335588353151*c_0110_6^18 + 606689597121482702470114147002821511744442735898442278824013/847550\ 16846494565024317996720911415623115763335588353151*c_0110_6^16 - 701398419145482094106303810591051333476375213466540675958325/847550\ 16846494565024317996720911415623115763335588353151*c_0110_6^14 + 599727672096978322295356404501921527900279680401543162521390/847550\ 16846494565024317996720911415623115763335588353151*c_0110_6^12 - 319459832037348027059351683964646420954693904148949984595435/847550\ 16846494565024317996720911415623115763335588353151*c_0110_6^10 + 131501196787990191128148482815002529675852435425403886704722/847550\ 16846494565024317996720911415623115763335588353151*c_0110_6^8 - 51334764874571730067419104649130076026533371716018299804624/8475501\ 6846494565024317996720911415623115763335588353151*c_0110_6^6 + 10132200733493979729357669415598937525074233761968102459211/8475501\ 6846494565024317996720911415623115763335588353151*c_0110_6^4 + 387969285106976703576740959348354115392042577076843520394/847550168\ 46494565024317996720911415623115763335588353151*c_0110_6^2 - 140195044545944233198870516304108857645086982259197607801/847550168\ 46494565024317996720911415623115763335588353151, c_0110_6^34 - 58*c_0110_6^32 + 610*c_0110_6^30 - 2992*c_0110_6^28 + 34351*c_0110_6^26 - 221646*c_0110_6^24 + 670274*c_0110_6^22 - 1170848*c_0110_6^20 + 1532912*c_0110_6^18 - 1792746*c_0110_6^16 + 1660969*c_0110_6^14 - 1015457*c_0110_6^12 + 427900*c_0110_6^10 - 163201*c_0110_6^8 + 45192*c_0110_6^6 - 375*c_0110_6^4 - 1703*c_0110_6^2 - 104 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB