Magma V2.19-8 Tue Aug 20 2013 16:19:15 on localhost [Seed = 1747580257] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3367 geometric_solution 6.53161421 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 3 0132 0132 0132 2310 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 0 0 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.376307518909 0.750419345677 0 4 3 5 0132 0132 3012 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 0 0 0 0 0 0 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.308097141654 0.860543859338 4 0 5 3 3201 0132 3201 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.308097141654 0.860543859338 0 1 2 0 3201 1230 1230 0132 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 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.512921137232 0.933179843558 4 1 4 2 2310 0132 3201 2310 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 0 0 0 1 0 -1 0 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.247961353729 1.168042608687 2 6 1 6 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.897093031264 1.511716478833 5 5 6 6 3201 0132 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.279906836473 0.274215291057 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : negation(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' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0110_6'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_5']), 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : negation(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_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_5'], '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' : d['c_0101_0'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : negation(d['c_0101_2']), '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' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : 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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t + 10993028627307677018154687305768187224804924353901350/2221895298268\ 79175195053940133354001738109453549*c_0110_6^32 - 1453332428765288604384640016384904882780656820886767295/35550324772\ 30066803120863042133664027809751256784*c_0110_6^30 + 8141714468765469691660113722112673323030870291171019849/71100649544\ 60133606241726084267328055619502513568*c_0110_6^28 - 10360785044669741318429082629506338891475210259013537437/7110064954\ 460133606241726084267328055619502513568*c_0110_6^26 + 16973196870973160572395603010571434324692549796819328729/7110064954\ 460133606241726084267328055619502513568*c_0110_6^24 - 52575230754994519064300121458556777458522592475549356181/7110064954\ 460133606241726084267328055619502513568*c_0110_6^22 + 7721005074050261599637363683957733468378647929943124239/59250541287\ 1677800520143840355610671301625209464*c_0110_6^20 - 3954415733905815559832846504135890737204920267851418531/33857452164\ 0958743154367908774634669315214405408*c_0110_6^18 + 3626569082103682292575620711539258597148049058346663485/59250541287\ 1677800520143840355610671301625209464*c_0110_6^16 - 9370478206322694558295350976057674318721238913547325629/35550324772\ 30066803120863042133664027809751256784*c_0110_6^14 + 1675771688272236563326480015128927878009779768668962701/10157235649\ 22876229463103726323904007945643216224*c_0110_6^12 - 977513580632926820933525194232712851313824501795991787/888758119307\ 516700780215760533416006952437814196*c_0110_6^10 + 895834681488603024288333282218208208766522537153415935/177751623861\ 5033401560431521066832013904875628392*c_0110_6^8 - 112565359030466976169723531802629281932633392391471179/790007217162\ 237067360191787140814228402166945952*c_0110_6^6 + 21681389971803240951969656992296550263881555139636905/8887581193075\ 16700780215760533416006952437814196*c_0110_6^4 - 4034046221714717455013984145329513631043750397360821/17775162386150\ 33401560431521066832013904875628392*c_0110_6^2 + 597838431659664978848918472836011664394241491810263/711006495446013\ 3606241726084267328055619502513568, c_0011_0 - 1, c_0011_3 + 459666433737310121016250549112858982258542379556/35386133114\ 648698072153836619422519786289131*c_0110_6^32 - 30469169687519100791411695153132559987241082988861/2830890649171895\ 84577230692955380158290313048*c_0110_6^30 + 85736060678585665488607571752123906276881575365147/2830890649171895\ 84577230692955380158290313048*c_0110_6^28 - 54853289743441794828156538470422918799589892219551/1415445324585947\ 92288615346477690079145156524*c_0110_6^26 + 178490273193218546628032302316819325456768818793293/283089064917189\ 584577230692955380158290313048*c_0110_6^24 - 552092607332940304183050497599143945264969581881843/283089064917189\ 584577230692955380158290313048*c_0110_6^22 + 326105686520949777988269487142442575446254864980233/943630216390631\ 94859076897651793386096771016*c_0110_6^20 - 146812888330290416474833130964241662778515974923381/471815108195315\ 97429538448825896693048385508*c_0110_6^18 + 153232172979738621154671720053350679760118475012945/943630216390631\ 94859076897651793386096771016*c_0110_6^16 - 97525431814256072971948099017796278147192018422209/1415445324585947\ 92288615346477690079145156524*c_0110_6^14 + 122472886889565013726566551371689382985684771412469/283089064917189\ 584577230692955380158290313048*c_0110_6^12 - 41303720139098066606666479750587001372150848689695/1415445324585947\ 92288615346477690079145156524*c_0110_6^10 + 37757926170425349436497271839687125895375971833481/2830890649171895\ 84577230692955380158290313048*c_0110_6^8 - 290422341737198595131703414798180188196885182097/786358513658859957\ 1589741470982782174730918*c_0110_6^6 + 1703019528448586611769982492480204147566923982143/28308906491718958\ 4577230692955380158290313048*c_0110_6^4 - 36564855093135163462434832292111933393120773105/7077226622929739614\ 4307673238845039572578262*c_0110_6^2 + 4627787606170598063430796731924579564526620185/28308906491718958457\ 7230692955380158290313048, c_0011_5 - 3095181523728232055871179388266305979124381654673/1061583993\ 43946094216461509858267559358867393*c_0110_6^33 + 820411026417836902312534076474602040289381685943813/339706877900627\ 5014926768315464561899483756576*c_0110_6^31 - 288481161795624337984650930242258720903353790223467/424633597375784\ 376865846039433070237435469572*c_0110_6^29 + 738634305289403615669647460421577037909620933198295/849267194751568\ 753731692078866140474870939144*c_0110_6^27 - 2407163525697906753566490203582268361000570032101677/16985343895031\ 37507463384157732280949741878288*c_0110_6^25 + 14873824504459574228222941770391766424830536972668583/3397068779006\ 275014926768315464561899483756576*c_0110_6^23 - 8780275807007966315739183822502524093094511435946013/11323562596687\ 58338308922771821520633161252192*c_0110_6^21 + 7917874299804738451262309765278603361948437456006157/11323562596687\ 58338308922771821520633161252192*c_0110_6^19 - 259874539777010453053962944624679743607742106666165/707722662292973\ 96144307673238845039572578262*c_0110_6^17 + 5336325755799626079099218238952129275727980823351217/33970687790062\ 75014926768315464561899483756576*c_0110_6^15 - 3332482678489839419021962852407275242651581415691635/33970687790062\ 75014926768315464561899483756576*c_0110_6^13 + 1118154287572676523888831268034959955952331402945579/16985343895031\ 37507463384157732280949741878288*c_0110_6^11 - 1027209112421059425898420372310951895734885219976299/33970687790062\ 75014926768315464561899483756576*c_0110_6^9 + 32119532952229350950585101339763177072693589616691/3774520865562527\ 79436307590607173544387084064*c_0110_6^7 - 24362071427557709021345781598430806103401469062775/1698534389503137\ 507463384157732280949741878288*c_0110_6^5 + 4469222972148182046369634287292449431170430278495/33970687790062750\ 14926768315464561899483756576*c_0110_6^3 - 172545196499174593949106875067094970507553963419/339706877900627501\ 4926768315464561899483756576*c_0110_6, c_0101_0 - 2677486513888472287680015284311813956905369190560/3538613311\ 4648698072153836619422519786289131*c_0110_6^33 + 22234644963558609691632656992398509962597023382535/3538613311464869\ 8072153836619422519786289131*c_0110_6^31 - 1005551268559041928786209327697440462363802350849451/56617812983437\ 9169154461385910760316580626096*c_0110_6^29 + 1297769589439415029103630924422650244595295712435931/56617812983437\ 9169154461385910760316580626096*c_0110_6^27 - 2106026512682876776914716049862652779244187622976471/56617812983437\ 9169154461385910760316580626096*c_0110_6^25 + 6473514052228615869553967319953255996137207294611205/56617812983437\ 9169154461385910760316580626096*c_0110_6^23 - 1920408751876618389045102438413500633621438455047057/94363021639063\ 194859076897651793386096771016*c_0110_6^21 + 3497730915676761895231803606103917062649905828496437/18872604327812\ 6389718153795303586772193542032*c_0110_6^19 - 116178800366290905893619080397969097666185093941495/117953777048828\ 99357384612206474173262096377*c_0110_6^17 + 149599085255313915198072526182261405671893698110198/353861331146486\ 98072153836619422519786289131*c_0110_6^15 - 1477150013865605571446142966312402088846132312259215/56617812983437\ 9169154461385910760316580626096*c_0110_6^13 + 248044588265197589590693902151711915585069712207357/141544532458594\ 792288615346477690079145156524*c_0110_6^11 - 230375370481502377759714738551664791260162037844663/283089064917189\ 584577230692955380158290313048*c_0110_6^9 + 14649613735034928534792833364486217656006950153659/6290868109270879\ 6572717931767862257397847344*c_0110_6^7 - 1417994112410146147287069252028630561213419161197/35386133114648698\ 072153836619422519786289131*c_0110_6^5 + 1071449902306481639041011300577567541369645104385/28308906491718958\ 4577230692955380158290313048*c_0110_6^3 - 83260386372400876599087371659960981487010695027/5661781298343791691\ 54461385910760316580626096*c_0110_6, c_0101_1 + 7797532388247728362967990364138128190657838880758/1061583993\ 43946094216461509858267559358867393*c_0110_6^33 - 1034841739124266990918403420993985705693576702085303/16985343895031\ 37507463384157732280949741878288*c_0110_6^31 + 1459327887075266009996254361408950342921421470714447/84926719475156\ 8753731692078866140474870939144*c_0110_6^29 - 1876571226981866603653870028755178780305472619732779/84926719475156\ 8753731692078866140474870939144*c_0110_6^27 + 1525531058668893882589220406679114230488702178466861/42463359737578\ 4376865846039433070237435469572*c_0110_6^25 - 18799423366185950049268379810805438546226498342621907/1698534389503\ 137507463384157732280949741878288*c_0110_6^23 + 11128229364413399129421735955739094278565662262967355/5661781298343\ 79169154461385910760316580626096*c_0110_6^21 - 10089853352227699380753617285447917931485546468326841/5661781298343\ 79169154461385910760316580626096*c_0110_6^19 + 1333616995236884942263918205472430492201912488305293/14154453245859\ 4792288615346477690079145156524*c_0110_6^17 - 6859566685706083372704554103972493142555785112523655/16985343895031\ 37507463384157732280949741878288*c_0110_6^15 + 4254402334901223959284649632837841851556782049378291/16985343895031\ 37507463384157732280949741878288*c_0110_6^13 - 1428217157482338171922769560243968872392643867129909/84926719475156\ 8753731692078866140474870939144*c_0110_6^11 + 1320359650556258778609602704635495600915048037307965/16985343895031\ 37507463384157732280949741878288*c_0110_6^9 - 41673454927705386877296478962611186580529405101199/1887260432781263\ 89718153795303586772193542032*c_0110_6^7 + 31958258474919285448313373621608147946585563029411/8492671947515687\ 53731692078866140474870939144*c_0110_6^5 - 5955070869200664428640081349957556193618563825597/16985343895031375\ 07463384157732280949741878288*c_0110_6^3 + 227966094760744167178431131112184557882653168875/169853438950313750\ 7463384157732280949741878288*c_0110_6, c_0101_2 - 415900217112073841431536234180909758547280032659/10615839934\ 3946094216461509858267559358867393*c_0110_6^32 + 108173668275090745137878074918788651375978884008303/339706877900627\ 5014926768315464561899483756576*c_0110_6^30 - 36674371887757817963909999016349513048226601758023/4246335973757843\ 76865846039433070237435469572*c_0110_6^28 + 44012103748442056487032092540812484733883542156277/4246335973757843\ 76865846039433070237435469572*c_0110_6^26 - 297027515272532139581563999065544766626258697173187/169853438950313\ 7507463384157732280949741878288*c_0110_6^24 + 1908804792422931518137670083149604969119833664549185/33970687790062\ 75014926768315464561899483756576*c_0110_6^22 - 1082351042461747967405447764395539672531817362235839/11323562596687\ 58338308922771821520633161252192*c_0110_6^20 + 899793542533763773557433675815769059291720750066295/113235625966875\ 8338308922771821520633161252192*c_0110_6^18 - 106504052889858402849686974928166333281845176921955/283089064917189\ 584577230692955380158290313048*c_0110_6^16 + 538486338680118009762833250739186462828504337146951/339706877900627\ 5014926768315464561899483756576*c_0110_6^14 - 375162741680648522816888263591527670755659720467325/339706877900627\ 5014926768315464561899483756576*c_0110_6^12 + 123374736163620502884803682935034339205710394093253/169853438950313\ 7507463384157732280949741878288*c_0110_6^10 - 102331954869647023276252891813524253522675502883289/339706877900627\ 5014926768315464561899483756576*c_0110_6^8 + 2759503049351525702430486667842749624615169425353/37745208655625277\ 9436307590607173544387084064*c_0110_6^6 - 1802200804548759588253443884479162996387535043655/16985343895031375\ 07463384157732280949741878288*c_0110_6^4 + 288783012081752515059406287441696938994371190017/339706877900627501\ 4926768315464561899483756576*c_0110_6^2 - 11490767014080062595091465150966534463988126781/3397068779006275014\ 926768315464561899483756576, c_0110_6^34 - 32685/3872*c_0110_6^32 + 95297/3872*c_0110_6^30 - 64895/1936*c_0110_6^28 + 25815/484*c_0110_6^26 - 611291/3872*c_0110_6^24 + 140227/484*c_0110_6^22 - 545883/1936*c_0110_6^20 + 635013/3872*c_0110_6^18 - 286145/3872*c_0110_6^16 + 5107/121*c_0110_6^14 - 108079/3872*c_0110_6^12 + 54033/3872*c_0110_6^10 - 8843/1936*c_0110_6^8 + 3703/3872*c_0110_6^6 - 477/3872*c_0110_6^4 + 17/1936*c_0110_6^2 - 1/3872 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB