Magma V2.19-8 Tue Aug 20 2013 16:15:54 on localhost [Seed = 4189611456] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0135 geometric_solution 3.64045867 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 1230 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 0 -1 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.996600335734 1.976937074093 0 3 0 3 0132 3012 3012 3201 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 -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.796674104640 0.403333699828 4 3 4 0 0132 2310 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.272085324493 0.930952345903 1 1 0 2 1230 2310 0132 3201 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 0 0 0 0 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.996600335734 1.976937074093 2 5 2 5 0132 0132 1023 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 0.670199411624 0.090068160588 6 4 6 4 0132 0132 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 0.840152229913 0.027209206893 5 5 6 6 0132 3201 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.670851256087 0.022310623260 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : negation(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' : negation(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' : negation(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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_5'], 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : negation(d['c_0011_2']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_2']), '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' : d['c_0011_2'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_6'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0101_1']})} 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_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 7241570607570037536975970578661791090899690256719969/66828725188667\ 769816394829609069527619365566951120*c_0101_6^20 - 1824993169544679289430148017632044631432208566968319/12150677307030\ 50360298087811073991411261192126384*c_0101_6^19 - 131631899686453727672250766906969835914435237217738027/111381208647\ 77961636065804934844921269894261158520*c_0101_6^18 - 552843948185041383974722401143715448579883075179820839/133657450377\ 33553963278965921813905523873113390224*c_0101_6^17 - 5764472928998260788703870615216235839700630162679990419/66828725188\ 667769816394829609069527619365566951120*c_0101_6^16 - 49082149306969540134458948511409768536854259010457747/5569060432388\ 980818032902467422460634947130579260*c_0101_6^15 - 5038243437670122899708339828235607466614418655659812163/16707181297\ 166942454098707402267381904841391737780*c_0101_6^14 - 381353586116550107081845155702868598522010583362365807/142188776997\ 1654676944570842746160162114160998960*c_0101_6^13 - 292352338113928353156741397689531045784710758312468003/397790030884\ 927201288064461958747188210509327090*c_0101_6^12 + 3634446070597393990202174987638193985531731987710048889/83535906485\ 83471227049353701133690952420695868890*c_0101_6^11 - 6184503296577662879470028365539068986237345313499209163/37127069549\ 25987212021934978281640423298087052840*c_0101_6^10 + 590875925328622433620683302655881459252346685959379879/185635347746\ 2993606010967489140820211649043526420*c_0101_6^9 - 91434118549767540807559557769261714248894366415811083687/6682872518\ 8667769816394829609069527619365566951120*c_0101_6^8 + 14971856480533117005659345169193684858782359720538384389/3341436259\ 4333884908197414804534763809682783475560*c_0101_6^7 - 5240985669108522595818295747313237213456591637631392131/95469607412\ 38252830913547087009932517052223850160*c_0101_6^6 + 6139089416210322280546553845109857128708635947747654033/33414362594\ 333884908197414804534763809682783475560*c_0101_6^5 - 107426820974140644364191667043910459894858050022930407/759417331689\ 406475186304881921244632038245078990*c_0101_6^4 + 3014319885093912771701089280754504504524237736528286381/66828725188\ 667769816394829609069527619365566951120*c_0101_6^3 - 1397552743102938943857830857408802609806331207001696541/66828725188\ 667769816394829609069527619365566951120*c_0101_6^2 + 258317734488723160010825692307532002560075176221663771/668287251886\ 67769816394829609069527619365566951120*c_0101_6 - 29910515030585731865556190628312348782005071622517243/1336574503773\ 3553963278965921813905523873113390224, c_0011_0 - 1, c_0011_2 - 1270347092013135824247720192569829142990214/2564732629819001\ 9425407121983155847079981259*c_0101_6^20 - 17396871796787539293604383136293102963449954/2564732629819001942540\ 7121983155847079981259*c_0101_6^19 - 135173569254339395653690621320416098272999093/256473262981900194254\ 07121983155847079981259*c_0101_6^18 - 455681094980574784611987353800683656780088007/256473262981900194254\ 07121983155847079981259*c_0101_6^17 - 881975433835902675446048359335061304808254503/256473262981900194254\ 07121983155847079981259*c_0101_6^16 + 234091231418353152631598035770270699473913860/256473262981900194254\ 07121983155847079981259*c_0101_6^15 - 3171564253050451155721042809618681485065828151/25647326298190019425\ 407121983155847079981259*c_0101_6^14 - 2551852514652403838504294007744063525663010632/25647326298190019425\ 407121983155847079981259*c_0101_6^13 - 6918273938523212667547048732735785425107170372/25647326298190019425\ 407121983155847079981259*c_0101_6^12 + 7603885785452472271091286065462266256128729989/25647326298190019425\ 407121983155847079981259*c_0101_6^11 - 17554796099575153919189397578189400776305744401/2564732629819001942\ 5407121983155847079981259*c_0101_6^10 + 4920689018939597241476504199274843384430344047/25647326298190019425\ 407121983155847079981259*c_0101_6^9 - 10352772572502508935760529428125184393942010903/2564732629819001942\ 5407121983155847079981259*c_0101_6^8 + 6669211371947244679144852441904268027901094290/25647326298190019425\ 407121983155847079981259*c_0101_6^7 - 2662528879826745391819640081219653797022459010/25647326298190019425\ 407121983155847079981259*c_0101_6^6 + 1171781316544093272199960842430027646997854195/25647326298190019425\ 407121983155847079981259*c_0101_6^5 - 638347238818889602159113336321277129865455287/256473262981900194254\ 07121983155847079981259*c_0101_6^4 + 32470028255561400098963393649500674505490793/2564732629819001942540\ 7121983155847079981259*c_0101_6^3 - 32108999408974873098421153602330537552046168/2564732629819001942540\ 7121983155847079981259*c_0101_6^2 - 38767430006711169036575021642253272096919271/2564732629819001942540\ 7121983155847079981259*c_0101_6 + 108555512216843183063033104996838\ 2791452540/25647326298190019425407121983155847079981259, c_0101_0 - 7974484213140180102372384825442382425267021/1282366314909500\ 97127035609915779235399906295*c_0101_6^20 - 110778221413495019879787208642173565985277553/128236631490950097127\ 035609915779235399906295*c_0101_6^19 - 870977135612547161396040672479978284989662398/128236631490950097127\ 035609915779235399906295*c_0101_6^18 - 3040913149293790884136990317970603483098107434/12823663149095009712\ 7035609915779235399906295*c_0101_6^17 - 6206906244386663801746080047415981354783486316/12823663149095009712\ 7035609915779235399906295*c_0101_6^16 - 21020370699165454098531511690737556833436224/1282366314909500971270\ 35609915779235399906295*c_0101_6^15 - 20510138171602247442106948760403611759882272631/1282366314909500971\ 27035609915779235399906295*c_0101_6^14 - 4059878738852792148498415588000221802050448811/25647326298190019425\ 407121983155847079981259*c_0101_6^13 - 48986194268977838947083910887689419603052344889/1282366314909500971\ 27035609915779235399906295*c_0101_6^12 + 7177688909716730969315700576232574431043440108/25647326298190019425\ 407121983155847079981259*c_0101_6^11 - 107744527083510461522114155371071311593360300917/128236631490950097\ 127035609915779235399906295*c_0101_6^10 + 10859224759278662953801155571821115784721273203/1282366314909500971\ 27035609915779235399906295*c_0101_6^9 - 13911748803359723868269739472592489304937550568/2564732629819001942\ 5407121983155847079981259*c_0101_6^8 + 26367422018588711877622284662839078743115527193/1282366314909500971\ 27035609915779235399906295*c_0101_6^7 - 17351349925462390410235548616454978703482892832/1282366314909500971\ 27035609915779235399906295*c_0101_6^6 + 1084681527188668412402085910088215507474863688/25647326298190019425\ 407121983155847079981259*c_0101_6^5 - 3177283142755906888330089972500321195945930677/12823663149095009712\ 7035609915779235399906295*c_0101_6^4 + 1185990041723416192560988002202990684855932497/12823663149095009712\ 7035609915779235399906295*c_0101_6^3 + 171394886115230051992272928192844124249580033/128236631490950097127\ 035609915779235399906295*c_0101_6^2 - 16555041204469220102431114767771861094312188/1282366314909500971270\ 35609915779235399906295*c_0101_6 + 81773159481321092955910945544685105123780162/1282366314909500971270\ 35609915779235399906295, c_0101_1 - 847918681158947906662185758158158864899183/12823663149095009\ 7127035609915779235399906295*c_0101_6^20 - 10017125865174421779204994038754633751729339/1282366314909500971270\ 35609915779235399906295*c_0101_6^19 - 68569823053098675832815245854137148944246214/1282366314909500971270\ 35609915779235399906295*c_0101_6^18 - 136242881716627282506110427676486838925455852/128236631490950097127\ 035609915779235399906295*c_0101_6^17 - 25674119195984674059039276846046564252422758/1282366314909500971270\ 35609915779235399906295*c_0101_6^16 + 1282428518140883800329233573479835521729761953/12823663149095009712\ 7035609915779235399906295*c_0101_6^15 - 2226018591884126101842495406510759822394818688/12823663149095009712\ 7035609915779235399906295*c_0101_6^14 + 600423822348344507235274208821403939900628532/256473262981900194254\ 07121983155847079981259*c_0101_6^13 - 1632685862088138233471024856738263485491487882/12823663149095009712\ 7035609915779235399906295*c_0101_6^12 + 3093264252729847455417020415772024881168553080/25647326298190019425\ 407121983155847079981259*c_0101_6^11 - 19831701722118923461156957396961923938632521821/1282366314909500971\ 27035609915779235399906295*c_0101_6^10 + 32104399344320250619434493084191597705029722584/1282366314909500971\ 27035609915779235399906295*c_0101_6^9 - 3449441467264430365295228058718156352772944500/25647326298190019425\ 407121983155847079981259*c_0101_6^8 + 28415245838713632199819295262845766499442525084/1282366314909500971\ 27035609915779235399906295*c_0101_6^7 - 10906957889007501057091892754760621490763562136/1282366314909500971\ 27035609915779235399906295*c_0101_6^6 + 2806295164265564898471214203722516584152177494/25647326298190019425\ 407121983155847079981259*c_0101_6^5 - 3309752981695300626614627338764646250034394551/12823663149095009712\ 7035609915779235399906295*c_0101_6^4 + 3040627258121182465814716433867658965326437176/12823663149095009712\ 7035609915779235399906295*c_0101_6^3 - 911481885074353075349220694331625984833103991/128236631490950097127\ 035609915779235399906295*c_0101_6^2 + 323516686814247973327384619317069820927593711/128236631490950097127\ 035609915779235399906295*c_0101_6 - 2613032297212968270623288273081399249917639/12823663149095009712703\ 5609915779235399906295, c_0101_2 + 4383727878746775832489998895688168897455646/1282366314909500\ 97127035609915779235399906295*c_0101_6^20 + 62337561389759779701422397689749360755331428/1282366314909500971270\ 35609915779235399906295*c_0101_6^19 + 499516734202269611638650957937719693550889518/128236631490950097127\ 035609915779235399906295*c_0101_6^18 + 1839589489658058812339590188366981133707526059/12823663149095009712\ 7035609915779235399906295*c_0101_6^17 + 4049088055631690610213918219900117776093191006/12823663149095009712\ 7035609915779235399906295*c_0101_6^16 + 1482994414505363861356740843776785487437044819/12823663149095009712\ 7035609915779235399906295*c_0101_6^15 + 12110489711560672280609539309971104228742920931/1282366314909500971\ 27035609915779235399906295*c_0101_6^14 + 3086958060570420556523782238729990641771597092/25647326298190019425\ 407121983155847079981259*c_0101_6^13 + 32427754540677415332859594106456183796932583309/1282366314909500971\ 27035609915779235399906295*c_0101_6^12 - 1467345895718097968939291772725733992648453919/25647326298190019425\ 407121983155847079981259*c_0101_6^11 + 59061698693828481936743456894905169558304479877/1282366314909500971\ 27035609915779235399906295*c_0101_6^10 + 14574410262205811423063917403876641950446825512/1282366314909500971\ 27035609915779235399906295*c_0101_6^9 + 8530340974313576709423637346069436617756728426/25647326298190019425\ 407121983155847079981259*c_0101_6^8 + 5663255249564954627326482924182825460391178017/12823663149095009712\ 7035609915779235399906295*c_0101_6^7 + 11090708773212112505793369272242296883212490342/1282366314909500971\ 27035609915779235399906295*c_0101_6^6 + 555050149311286003683771277099132373955720492/256473262981900194254\ 07121983155847079981259*c_0101_6^5 + 51001021595956742343151192203971861883218757/1282366314909500971270\ 35609915779235399906295*c_0101_6^4 - 115582155538839719901801830116685342936446357/128236631490950097127\ 035609915779235399906295*c_0101_6^3 - 303584321315369089833014495948532136452130523/128236631490950097127\ 035609915779235399906295*c_0101_6^2 + 254155669337613030459082705293365774906512553/128236631490950097127\ 035609915779235399906295*c_0101_6 - 5845372556245413157815424382071740281916692/12823663149095009712703\ 5609915779235399906295, c_0101_5 - 5298834226702769740410598783186797933015907/1282366314909500\ 97127035609915779235399906295*c_0101_6^20 - 76337903322490613457757847781522264304038686/1282366314909500971270\ 35609915779235399906295*c_0101_6^19 - 617725682024790517600939784000266983509274176/128236631490950097127\ 035609915779235399906295*c_0101_6^18 - 2334828427386134469254169057363583074756694193/12823663149095009712\ 7035609915779235399906295*c_0101_6^17 - 5299572159459986208712476100789195623607559332/12823663149095009712\ 7035609915779235399906295*c_0101_6^16 - 2682605769502930527758400058235871411174946148/12823663149095009712\ 7035609915779235399906295*c_0101_6^15 - 14945706453356610558405262261914708864940144362/1282366314909500971\ 27035609915779235399906295*c_0101_6^14 - 4294586894572051001689262576548948348412634573/25647326298190019425\ 407121983155847079981259*c_0101_6^13 - 42286398288086663336018875320938239442833833523/1282366314909500971\ 27035609915779235399906295*c_0101_6^12 + 272960632337260004551491390594060266895584985/256473262981900194254\ 07121983155847079981259*c_0101_6^11 - 69244892700177300093678533204123101014240812344/1282366314909500971\ 27035609915779235399906295*c_0101_6^10 - 32117819702079417188101796020703714072838587234/1282366314909500971\ 27035609915779235399906295*c_0101_6^9 - 10346977051197824358071602062835395254928557704/2564732629819001942\ 5407121983155847079981259*c_0101_6^8 - 19681593131765791741761165811961790965420480134/1282366314909500971\ 27035609915779235399906295*c_0101_6^7 - 12091713216204166840405136806173162680905991649/1282366314909500971\ 27035609915779235399906295*c_0101_6^6 - 1502862992349332873134791496323636770035312895/25647326298190019425\ 407121983155847079981259*c_0101_6^5 + 924577116378841844917423922371621686190365436/128236631490950097127\ 035609915779235399906295*c_0101_6^4 - 774334365912032042626612742066289854615569001/128236631490950097127\ 035609915779235399906295*c_0101_6^3 + 359760819527854133163588826668555839798514016/128236631490950097127\ 035609915779235399906295*c_0101_6^2 - 213200455040026943048969858177470190142758516/128236631490950097127\ 035609915779235399906295*c_0101_6 - 30921049974899647521772384289609947529640121/1282366314909500971270\ 35609915779235399906295, c_0101_6^21 + 14*c_0101_6^20 + 111*c_0101_6^19 + 397*c_0101_6^18 + 850*c_0101_6^17 + 195*c_0101_6^16 + 2800*c_0101_6^15 + 2861*c_0101_6^14 + 7149*c_0101_6^13 - 3056*c_0101_6^12 + 14862*c_0101_6^11 - 846*c_0101_6^10 + 12347*c_0101_6^9 - 2423*c_0101_6^8 + 4579*c_0101_6^7 - 1033*c_0101_6^6 + 1102*c_0101_6^5 - 245*c_0101_6^4 + 140*c_0101_6^3 - 10*c_0101_6^2 + 16*c_0101_6 + 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB