Magma V2.19-8 Tue Aug 20 2013 16:17:56 on localhost [Seed = 357861841] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2176 geometric_solution 5.64181935 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 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 1 0 -1 -1 0 1 0 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.064478012836 1.090808983664 3 4 2 0 0132 0132 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 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.808416433569 0.936898919608 4 3 0 1 2310 3201 0132 3012 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 1 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.808416433569 0.936898919608 1 5 2 5 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 -1 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.817028497352 0.465478002014 6 1 2 6 0132 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.398211176093 0.634701092436 5 3 5 3 2310 0132 3201 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 1 -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.761418567620 0.196937562983 4 6 6 4 0132 1230 3012 1023 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 0 0 0 0 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.853819234093 0.662044648405 ==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' : 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' : 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' : negation(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' : d['1'], 'c_1100_6' : d['c_0011_1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0101_4']), 'c_1100_0' : negation(d['c_0101_4']), 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0101_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_1']), '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_0101_0, c_0101_1, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 318282898996607561456377318884765270885/261836835124631962579185269\ 287552*c_0101_6^27 + 3014543284637474259251987797913690921221/26183\ 6835124631962579185269287552*c_0101_6^26 - 315960827694149090328175834064907490715/130918417562315981289592634\ 643776*c_0101_6^25 - 85335591150776771098261991190632728072317/2618\ 36835124631962579185269287552*c_0101_6^24 + 375648423571136069251513116747215459604173/261836835124631962579185\ 269287552*c_0101_6^23 - 450096806571077731223008419273752565759427/\ 261836835124631962579185269287552*c_0101_6^22 - 927188457127356893410960435069634269175507/130918417562315981289592\ 634643776*c_0101_6^21 + 1132189123399521893593743999284686340975541\ 1/261836835124631962579185269287552*c_0101_6^20 - 33089285210074777200015951321447946747879905/2618368351246319625791\ 85269287552*c_0101_6^19 + 31764191935409360891159551968737103419744\ 231/130918417562315981289592634643776*c_0101_6^18 - 79677097916831983398832428916016610831076703/2618368351246319625791\ 85269287552*c_0101_6^17 + 11396994405908691307376485130632226643104\ 509/65459208781157990644796317321888*c_0101_6^16 + 3182054346113633781232378355352890993595361/16364802195289497661199\ 079330472*c_0101_6^15 - 4023907530142176159556875309084402146312935\ 3/65459208781157990644796317321888*c_0101_6^14 + 51122666407422326923578186618027556845506423/6545920878115799064479\ 6317321888*c_0101_6^13 - 384389900790282960221471100081013178692542\ 59/65459208781157990644796317321888*c_0101_6^12 + 3541979169213491509003516668926454154312357/15402166772037174269363\ 839369856*c_0101_6^11 + 8335274187335014213819779675436100381565983\ /261836835124631962579185269287552*c_0101_6^10 - 1765253622967247556115899990558954188056707/15402166772037174269363\ 839369856*c_0101_6^9 + 1514099707547477930081019660299401808106419/\ 16364802195289497661199079330472*c_0101_6^8 - 6869157521265822679855980061204596146126323/13091841756231598128959\ 2634643776*c_0101_6^7 + 6852309149450965111336378420067861100442779\ /261836835124631962579185269287552*c_0101_6^6 - 3167399557596867965762220819827187697674281/26183683512463196257918\ 5269287552*c_0101_6^5 + 625285523415896404264340136247689586996485/\ 130918417562315981289592634643776*c_0101_6^4 - 377548398060614086793071589760676812706185/261836835124631962579185\ 269287552*c_0101_6^3 + 19715465041197347182846786109211215911875/65\ 459208781157990644796317321888*c_0101_6^2 - 5008531599060981889193313045024423289801/13091841756231598128959263\ 4643776*c_0101_6 + 579301045306208860501584278214493542045/26183683\ 5124631962579185269287552, c_0011_0 - 1, c_0011_1 - 226295675965117837053116056/80207598074069889967*c_0101_6^27 + 2152495814922505560383058005/80207598074069889967*c_0101_6^26 - 533444613317188340538114481/80207598074069889967*c_0101_6^25 - 60680729819480749092564323694/80207598074069889967*c_0101_6^24 + 269543017667209627187002162786/80207598074069889967*c_0101_6^23 - 330089611903156571103125703237/80207598074069889967*c_0101_6^22 - 1308597823990072256925993022365/80207598074069889967*c_0101_6^21 + 8106360284732151648616153096184/80207598074069889967*c_0101_6^20 - 23835295452679124743333109497130/80207598074069889967*c_0101_6^19 + 46026598744610339113918120610584/80207598074069889967*c_0101_6^18 - 58214990868833861992913440483066/80207598074069889967*c_0101_6^17 + 34222775036392238142160136399171/80207598074069889967*c_0101_6^16 + 35449679900863863241448967551808/80207598074069889967*c_0101_6^15 - 116144004290734173795668751478606/80207598074069889967*c_0101_6^14 + 8794431505304718937874410417909/4718094004357052351*c_0101_6^13 - 113934926306561465943639667479951/80207598074069889967*c_0101_6^12 + 45803139535984910952871305066285/80207598074069889967*c_0101_6^11 + 5128055751049423503650249284572/80207598074069889967*c_0101_6^10 - 21829628921345232480839379263326/80207598074069889967*c_0101_6^9 + 17937013323464977713315359318277/80207598074069889967*c_0101_6^8 - 10243694884096813690319228504154/80207598074069889967*c_0101_6^7 + 5119001794360034534911223753334/80207598074069889967*c_0101_6^6 - 2372116053277199636968118523811/80207598074069889967*c_0101_6^5 + 55459366170876556549131043863/4718094004357052351*c_0101_6^4 - 287649930455440455787116416598/80207598074069889967*c_0101_6^3 + 60913204637627393778749751152/80207598074069889967*c_0101_6^2 - 7868657934451737327109427953/80207598074069889967*c_0101_6 + 464422535855420257514292869/80207598074069889967, c_0101_0 - 1043831942183154357427122878933049656/2045600274411187207649\ 884916309*c_0101_6^27 + 9899970252513164509401924506992067876/20456\ 00274411187207649884916309*c_0101_6^26 - 2199013611131583257313658579095303118/20456002744111872076498849163\ 09*c_0101_6^25 - 279854868751765098676555510564261730103/2045600274\ 411187207649884916309*c_0101_6^24 + 1235607288279914745262339592170185881312/20456002744111872076498849\ 16309*c_0101_6^23 - 1491636044646557492499059000903692952259/204560\ 0274411187207649884916309*c_0101_6^22 - 6064621561651337578558235853682791300705/20456002744111872076498849\ 16309*c_0101_6^21 + 37212806176821295152781427063803420708369/20456\ 00274411187207649884916309*c_0101_6^20 - 108990457904917699028883192779199769102386/204560027441118720764988\ 4916309*c_0101_6^19 + 209688514928561357832559397577700471464297/20\ 45600274411187207649884916309*c_0101_6^18 - 263814603506136760796619773409244590374731/204560027441118720764988\ 4916309*c_0101_6^17 + 152518226785277286762924085788427205462359/20\ 45600274411187207649884916309*c_0101_6^16 + 165518428674705418299472056066164879367783/204560027441118720764988\ 4916309*c_0101_6^15 - 530321237766560524060086937492366754861538/20\ 45600274411187207649884916309*c_0101_6^14 + 39834741883497956742504007059632332460007/1203294279065404239794049\ 95077*c_0101_6^13 - 511972325337960708529582050410260337894202/2045\ 600274411187207649884916309*c_0101_6^12 + 202762190650475767689836657592355921239479/204560027441118720764988\ 4916309*c_0101_6^11 + 25705610381924040763797400643593282960862/204\ 5600274411187207649884916309*c_0101_6^10 - 99113029514032721693457608375147057919906/2045600274411187207649884\ 916309*c_0101_6^9 + 80647129472652972303880898117616689158391/20456\ 00274411187207649884916309*c_0101_6^8 - 45890786919638770649102228993240283711761/2045600274411187207649884\ 916309*c_0101_6^7 + 22911305816404128758166111849090021845547/20456\ 00274411187207649884916309*c_0101_6^6 - 10601265502753412992251468772077027355209/2045600274411187207649884\ 916309*c_0101_6^5 + 246945344301649176368106367669400192542/1203294\ 27906540423979404995077*c_0101_6^4 - 1273863031497616690402644996432010609769/20456002744111872076498849\ 16309*c_0101_6^3 + 267978008764629565800375674572116613514/20456002\ 74411187207649884916309*c_0101_6^2 - 34359466286822199029882671498634645188/2045600274411187207649884916\ 309*c_0101_6 + 2011534580410232559854304965489164008/20456002744111\ 87207649884916309, c_0101_1 + 17508188404901160638473468552688830432/204560027441118720764\ 9884916309*c_0101_6^27 - 166219841751660463940930163854243317681/20\ 45600274411187207649884916309*c_0101_6^26 + 38418067334199987866065670895954261457/2045600274411187207649884916\ 309*c_0101_6^25 + 4694172889589708367706915787682775535622/20456002\ 74411187207649884916309*c_0101_6^24 - 20769788616881529370729264579167003323065/2045600274411187207649884\ 916309*c_0101_6^23 + 25202551922717391262777816712993370639155/2045\ 600274411187207649884916309*c_0101_6^22 + 101545494927504481434745801153135616012674/204560027441118720764988\ 4916309*c_0101_6^21 - 625209491293510638008444619085638404177166/20\ 45600274411187207649884916309*c_0101_6^20 + 1833728173115901963480567936605001901958920/20456002744111872076498\ 84916309*c_0101_6^19 - 3532680532675758887071347280462831622923523/\ 2045600274411187207649884916309*c_0101_6^18 + 4453229298964461069974408647483643331544615/20456002744111872076498\ 84916309*c_0101_6^17 - 2590607041209789086468972860241134659167138/\ 2045600274411187207649884916309*c_0101_6^16 - 2763390824883157535289648730229901444590796/20456002744111872076498\ 84916309*c_0101_6^15 + 8926712284491427534582721812458396030884712/\ 2045600274411187207649884916309*c_0101_6^14 - 672535549029853529455264526117948758805434/120329427906540423979404\ 995077*c_0101_6^13 + 8669852936451832341385418909357768182995277/20\ 45600274411187207649884916309*c_0101_6^12 - 3453416200034729681302585781036898012607385/20456002744111872076498\ 84916309*c_0101_6^11 - 418026994446206744901210786380462973917439/2\ 045600274411187207649884916309*c_0101_6^10 + 1671800454636348722652757364536294599751497/20456002744111872076498\ 84916309*c_0101_6^9 - 1365444524640374765342810238100996288461596/2\ 045600274411187207649884916309*c_0101_6^8 + 778068223820326002476930039870194334209118/204560027441118720764988\ 4916309*c_0101_6^7 - 388591978741185448879889563115075741026213/204\ 5600274411187207649884916309*c_0101_6^6 + 179905912026013775557837804866713047142887/204560027441118720764988\ 4916309*c_0101_6^5 - 4196685574308169527185873344339631700835/12032\ 9427906540423979404995077*c_0101_6^4 + 21694541108239042297742210561061120121321/2045600274411187207649884\ 916309*c_0101_6^3 - 4575563960391120179112825700246948965273/204560\ 0274411187207649884916309*c_0101_6^2 + 588356517643586225602023150490398892048/204560027441118720764988491\ 6309*c_0101_6 - 34549640096678968170273478619204996119/204560027441\ 1187207649884916309, c_0101_4 - 238126859890302420461176813/80207598074069889967*c_0101_6^27 + 2265433867666579177706754629/80207598074069889967*c_0101_6^26 - 565017322748247901678877597/80207598074069889967*c_0101_6^25 - 63853531867233648004289986810/80207598074069889967*c_0101_6^24 + 283742844914175204154328686338/80207598074069889967*c_0101_6^23 - 347789343574691127039029586737/80207598074069889967*c_0101_6^22 - 1376578467235920440032111819571/80207598074069889967*c_0101_6^21 + 8532650789410491946097701803956/80207598074069889967*c_0101_6^20 - 25095004736064596273896073234314/80207598074069889967*c_0101_6^19 + 48470645825992340656103021449141/80207598074069889967*c_0101_6^18 - 61327366531692397798301418169195/80207598074069889967*c_0101_6^17 + 36091635315297311552264488906382/80207598074069889967*c_0101_6^16 + 37270007977655870886585933344511/80207598074069889967*c_0101_6^15 - 122291146723490662267301243190694/80207598074069889967*c_0101_6^14 + 9264867749897046824177001112125/4718094004357052351*c_0101_6^13 - 120094729733811734216038864007604/80207598074069889967*c_0101_6^12 + 48329267713648018933239918573061/80207598074069889967*c_0101_6^11 + 5361323003561041908349254608691/80207598074069889967*c_0101_6^10 - 22992816748999214392202626684528/80207598074069889967*c_0101_6^9 + 18906178822484308038913451023512/80207598074069889967*c_0101_6^8 - 10800132916927052490570069844215/80207598074069889967*c_0101_6^7 + 5397455096816292705915953279681/80207598074069889967*c_0101_6^6 - 2501397433827988088798183092259/80207598074069889967*c_0101_6^5 + 58497143060020204186575133057/4718094004357052351*c_0101_6^4 - 303528480570111193447365184038/80207598074069889967*c_0101_6^3 + 64308499282400759364340192791/80207598074069889967*c_0101_6^2 - 8312278379920631641513437149/80207598074069889967*c_0101_6 + 490947710945827308147843689/80207598074069889967, c_0101_5 + 43441229934741713557100817701709105445/204560027441118720764\ 9884916309*c_0101_6^27 - 412422115767106496538680173497437896333/20\ 45600274411187207649884916309*c_0101_6^26 + 95321078153524671558508434375634010067/2045600274411187207649884916\ 309*c_0101_6^25 + 11647035385757663583012573839182879320872/2045600\ 274411187207649884916309*c_0101_6^24 - 51533518253142710017712468215807399258858/2045600274411187207649884\ 916309*c_0101_6^23 + 62534302799725280494395113698548707300221/2045\ 600274411187207649884916309*c_0101_6^22 + 251942705180499105145362380152510402383273/204560027441118720764988\ 4916309*c_0101_6^21 - 1551248812654138645452949510236475404680724/2\ 045600274411187207649884916309*c_0101_6^20 + 4549870951982636441795824110048471017318101/20456002744111872076498\ 84916309*c_0101_6^19 - 8765530595907311324587009236955485080635313/\ 2045600274411187207649884916309*c_0101_6^18 + 11050108805902894383669306525211756605761914/2045600274411187207649\ 884916309*c_0101_6^17 - 6429234146806981386478862915369067012314823\ /2045600274411187207649884916309*c_0101_6^16 - 6854925158848226906967412639926669900223273/20456002744111872076498\ 84916309*c_0101_6^15 + 22148483709266829535476974624184957208187550\ /2045600274411187207649884916309*c_0101_6^14 - 1668805977745863709029127895538578161369102/12032942790654042397940\ 4995077*c_0101_6^13 + 21515459933191115219416932081383924146292363/\ 2045600274411187207649884916309*c_0101_6^12 - 8572312581432524891231989156600527194682738/20456002744111872076498\ 84916309*c_0101_6^11 - 1035330627209135523931066071381668508342847/\ 2045600274411187207649884916309*c_0101_6^10 + 4147979102755438612250474047048631416502219/20456002744111872076498\ 84916309*c_0101_6^9 - 3388567409258267302482297815126297996529993/2\ 045600274411187207649884916309*c_0101_6^8 + 1931088292278616555963054194035367408862965/20456002744111872076498\ 84916309*c_0101_6^7 - 964472623738090188312175605687635069815252/20\ 45600274411187207649884916309*c_0101_6^6 + 446529293056260524329621551323666084799020/204560027441118720764988\ 4916309*c_0101_6^5 - 10417010343658218870264926331411097254219/1203\ 29427906540423979404995077*c_0101_6^4 + 53857782626443510480898852714561081167096/2045600274411187207649884\ 916309*c_0101_6^3 - 11361425020744441604323488854625941364249/20456\ 00274411187207649884916309*c_0101_6^2 + 1461337614224999427164451858816044935024/20456002744111872076498849\ 16309*c_0101_6 - 85844345898278058508539405417911585079/20456002744\ 11187207649884916309, c_0101_6^28 - 10*c_0101_6^27 + 7*c_0101_6^26 + 267*c_0101_6^25 - 1322*c_0101_6^24 + 2040*c_0101_6^23 + 5071*c_0101_6^22 - 38645*c_0101_6^21 + 122812*c_0101_6^20 - 254795*c_0101_6^19 + 356505*c_0101_6^18 - 276751*c_0101_6^17 - 82892*c_0101_6^16 + 589732*c_0101_6^15 - 911136*c_0101_6^14 + 825832*c_0101_6^13 - 448013*c_0101_6^12 + 76038*c_0101_6^11 + 107554*c_0101_6^10 - 126335*c_0101_6^9 + 83934*c_0101_6^8 - 44701*c_0101_6^7 + 21516*c_0101_6^6 - 9279*c_0101_6^5 + 3303*c_0101_6^4 - 889*c_0101_6^3 + 166*c_0101_6^2 - 19*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.260 seconds, Total memory usage: 32.09MB