Magma V2.19-8 Tue Aug 20 2013 16:17:25 on localhost [Seed = 3482211077] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1642 geometric_solution 5.38489738 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.522873771585 0.095540996568 2 0 2 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.626409814216 0.242627219523 1 3 1 4 0132 0132 1023 0132 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 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.860825888114 1.851980738610 4 2 6 5 3201 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 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 1 0 -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.024788857901 0.999488162484 5 6 2 3 0132 3201 0132 2310 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 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.024788857901 0.999488162484 4 5 3 5 0132 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.487394001657 0.512500443509 6 6 4 3 1230 3012 2310 0132 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 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 1.025620490579 1.024571350955 ==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' : 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_4'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_6'], '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' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_6']), '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_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 42 Groebner basis: [ t - 213249829531893282746243595993904373256447881193701/602506211878775\ 8228150565434406917223381451403472*c_0101_6^20 + 906672173613798835210424437712559263701233969206273/602506211878775\ 8228150565434406917223381451403472*c_0101_6^19 - 162909195708858748645855597091582245698273000011377/753132764848469\ 778518820679300864652922681425434*c_0101_6^18 + 150060831867420229109967128467032156232926534216463/215180789956705\ 651005377336943104186549337550124*c_0101_6^17 + 30369501937715777540124237405821703125471003198338597/3012531059393\ 879114075282717203458611690725701736*c_0101_6^16 - 118546774267225184704726415645102768643278289563662099/602506211878\ 7758228150565434406917223381451403472*c_0101_6^15 + 35872837876998324944759741570988088396737520710208181/1506265529696\ 939557037641358601729305845362850868*c_0101_6^14 + 48029774088945034809546217401980064292865748476612533/1506265529696\ 939557037641358601729305845362850868*c_0101_6^13 - 107768375086748650563538902366245912278865419130609787/602506211878\ 7758228150565434406917223381451403472*c_0101_6^12 + 1159252125282643960709028133319934194045249995044408647/60250621187\ 87758228150565434406917223381451403472*c_0101_6^11 - 340137577983586611744191010282326039582760194274553273/860723159826\ 822604021509347772416746197350200496*c_0101_6^10 - 371755584923320485914068696321656433487108967244278559/150626552969\ 6939557037641358601729305845362850868*c_0101_6^9 - 633005683877693151012970005033440266776847337575226111/602506211878\ 7758228150565434406917223381451403472*c_0101_6^8 - 214311908600218498438965680875058638942110799681722403/602506211878\ 7758228150565434406917223381451403472*c_0101_6^7 + 65494372369863620157295240831878137096094159399290539/8607231598268\ 22604021509347772416746197350200496*c_0101_6^6 - 291608825397029120714401594420132745910155884935873537/301253105939\ 3879114075282717203458611690725701736*c_0101_6^5 + 277818814115671589804579070024732333716545518621267655/602506211878\ 7758228150565434406917223381451403472*c_0101_6^4 + 96556028258762478705343955984195945687534145348756787/6025062118787\ 758228150565434406917223381451403472*c_0101_6^3 + 7065448552708925551431581783199049818696606665791691/15062655296969\ 39557037641358601729305845362850868*c_0101_6^2 - 19036556590466671565371372768472337153053270965472601/6025062118787\ 758228150565434406917223381451403472*c_0101_6 - 2565346994895197530212703995716053264630567383785687/30125310593938\ 79114075282717203458611690725701736, c_0011_0 - 1, c_0011_1 + 59510285149230818618271678164243320877920180519/860723159826\ 822604021509347772416746197350200496*c_0101_6^20 - 250931929715657648986741718598840867539995455229/860723159826822604\ 021509347772416746197350200496*c_0101_6^19 + 175631815463331386491510732446512673134472666255/430361579913411302\ 010754673886208373098675100248*c_0101_6^18 - 71557330977748622305575962212672578173605300436/5379519748917641275\ 1344334235776046637334387531*c_0101_6^17 - 8506174081444361973788691985049989398446966062903/43036157991341130\ 2010754673886208373098675100248*c_0101_6^16 + 32558019232754864444355820639973701686738792817445/8607231598268226\ 04021509347772416746197350200496*c_0101_6^15 - 18933145546724404477071647603323605720715854272593/4303615799134113\ 02010754673886208373098675100248*c_0101_6^14 - 3557113517073500593092695341877248488968054543311/53795197489176412\ 751344334235776046637334387531*c_0101_6^13 + 30599455028958027383233956918976610158438561099833/8607231598268226\ 04021509347772416746197350200496*c_0101_6^12 - 319276557694639597183998030935464410982055666552795/860723159826822\ 604021509347772416746197350200496*c_0101_6^11 + 651710829298075817224863831592693229155916607956047/860723159826822\ 604021509347772416746197350200496*c_0101_6^10 + 229088542391556735211425264391987052110436742280353/430361579913411\ 302010754673886208373098675100248*c_0101_6^9 + 152904524768050991887591172885521979519395801213641/860723159826822\ 604021509347772416746197350200496*c_0101_6^8 + 40973245377686520988954274316414132183320657151667/8607231598268226\ 04021509347772416746197350200496*c_0101_6^7 - 142345510430424378226448361659483654465995913165129/860723159826822\ 604021509347772416746197350200496*c_0101_6^6 + 36738709384638462241399797949369713310912201671221/2151807899567056\ 51005377336943104186549337550124*c_0101_6^5 - 67915418164837197939751500866791750058359579644421/8607231598268226\ 04021509347772416746197350200496*c_0101_6^4 - 39904271748829836266839577633949682135618386246171/8607231598268226\ 04021509347772416746197350200496*c_0101_6^3 - 2352105470528357706411792881134958271838033453485/43036157991341130\ 2010754673886208373098675100248*c_0101_6^2 + 5130888605587170505513368995470745460842587020543/86072315982682260\ 4021509347772416746197350200496*c_0101_6 + 239355659672738866732564348300171147423840635075/107590394978352825\ 502688668471552093274668775062, c_0011_4 - 53270823920177679440677852890448891077076928969/860723159826\ 822604021509347772416746197350200496*c_0011_6*c_0101_6^20 + 217821787331188705863728956459036566018408659963/860723159826822604\ 021509347772416746197350200496*c_0011_6*c_0101_6^19 - 145426742412971952263066174534965442822873314633/430361579913411302\ 010754673886208373098675100248*c_0011_6*c_0101_6^18 + 62722925894692063332375080865478238593477772977/5379519748917641275\ 1344334235776046637334387531*c_0011_6*c_0101_6^17 + 7669997877280655990726559295853627504816468748393/43036157991341130\ 2010754673886208373098675100248*c_0011_6*c_0101_6^16 - 27115849961638021225421514834939663677712225876843/8607231598268226\ 04021509347772416746197350200496*c_0011_6*c_0101_6^15 + 15840685642009038280501457687537590230603500513091/4303615799134113\ 02010754673886208373098675100248*c_0011_6*c_0101_6^14 + 6656679507250629565342104769983724427812150940121/10759039497835282\ 5502688668471552093274668775062*c_0011_6*c_0101_6^13 - 18913501327598361477676140504418697772835891375727/8607231598268226\ 04021509347772416746197350200496*c_0011_6*c_0101_6^12 + 288679620567872565594385754322452255084627751094117/860723159826822\ 604021509347772416746197350200496*c_0011_6*c_0101_6^11 - 546843071870303564304506104144269458325385054298441/860723159826822\ 604021509347772416746197350200496*c_0011_6*c_0101_6^10 - 228909784239099388450295549454427412243736328675279/430361579913411\ 302010754673886208373098675100248*c_0011_6*c_0101_6^9 - 230506197252308133571569355264473416038383753202567/860723159826822\ 604021509347772416746197350200496*c_0011_6*c_0101_6^8 - 119371527912515684015133500352709916723261918737189/860723159826822\ 604021509347772416746197350200496*c_0011_6*c_0101_6^7 + 85215784843796898392729579039359632095919331248983/8607231598268226\ 04021509347772416746197350200496*c_0011_6*c_0101_6^6 - 33788402062716417225828744588129503074673102197653/2151807899567056\ 51005377336943104186549337550124*c_0011_6*c_0101_6^5 + 47491261442191964308012862651263562496794498657651/8607231598268226\ 04021509347772416746197350200496*c_0011_6*c_0101_6^4 + 35797540308269615087840094836438279118134359590997/8607231598268226\ 04021509347772416746197350200496*c_0011_6*c_0101_6^3 + 4649264063778038952157940606452319025787704462615/43036157991341130\ 2010754673886208373098675100248*c_0011_6*c_0101_6^2 + 1181787388477916483635081311149688587180671329399/86072315982682260\ 4021509347772416746197350200496*c_0011_6*c_0101_6 - 98480271505192699440041136912696011406789817293/1075903949783528255\ 02688668471552093274668775062*c_0011_6, c_0011_6^2 - 3085195883045148526971191205126484791077803669/10759039497\ 8352825502688668471552093274668775062*c_0101_6^20 + 25833691508046042091662759733728122327805937373/2151807899567056510\ 05377336943104186549337550124*c_0101_6^19 - 8927566367244549230473614718406036909015308293/53795197489176412751\ 344334235776046637334387531*c_0101_6^18 + 29461447955078452124602536167016246608368766062/5379519748917641275\ 1344334235776046637334387531*c_0101_6^17 + 441831476614170245192988476787484792560045206123/537951974891764127\ 51344334235776046637334387531*c_0101_6^16 - 830508057751383622323342261737053792053632565994/537951974891764127\ 51344334235776046637334387531*c_0101_6^15 + 3845393383038807797074729981886223906493075679879/21518078995670565\ 1005377336943104186549337550124*c_0101_6^14 + 5999490672096509882048328732394887245020248219067/21518078995670565\ 1005377336943104186549337550124*c_0101_6^13 - 2979590325860830651591796087245872131725149258979/21518078995670565\ 1005377336943104186549337550124*c_0101_6^12 + 16547822691620485455176659052524004417380816852553/1075903949783528\ 25502688668471552093274668775062*c_0101_6^11 - 66542545805898684175255298456521452124615958488991/2151807899567056\ 51005377336943104186549337550124*c_0101_6^10 - 12294762329710306023558467160189042491818456367628/5379519748917641\ 2751344334235776046637334387531*c_0101_6^9 - 8853098633898169332773807466973864315490331935887/10759039497835282\ 5502688668471552093274668775062*c_0101_6^8 - 5774181165726773652735674014608989332713240328061/21518078995670565\ 1005377336943104186549337550124*c_0101_6^7 + 3423247728265608328534214387691925411950506216777/53795197489176412\ 751344334235776046637334387531*c_0101_6^6 - 15116208212956425639540648813469403156949124502325/2151807899567056\ 51005377336943104186549337550124*c_0101_6^5 + 6737787382442017691866905909539604235474552687759/21518078995670565\ 1005377336943104186549337550124*c_0101_6^4 + 2252954649375255103601347683498388728545824269083/10759039497835282\ 5502688668471552093274668775062*c_0101_6^3 + 417502806632467876031305266228324801511408532275/215180789956705651\ 005377336943104186549337550124*c_0101_6^2 - 499138799279033902415612707321424707679828977435/215180789956705651\ 005377336943104186549337550124*c_0101_6 - 119530216150551528711964377133794693406229744711/107590394978352825\ 502688668471552093274668775062, c_0101_0 - 90978750694827798188481452606945217866543405581/860723159826\ 822604021509347772416746197350200496*c_0101_6^20 + 381312212142729653827640041483642679565684079059/860723159826822604\ 021509347772416746197350200496*c_0101_6^19 - 264787380286763367886681446210459742607641172081/430361579913411302\ 010754673886208373098675100248*c_0101_6^18 + 109085666215478697894011502670403086735095190975/537951974891764127\ 51344334235776046637334387531*c_0101_6^17 + 13021567252931425959512142785158511739647766882973/4303615799134113\ 02010754673886208373098675100248*c_0101_6^16 - 49074272265505806495303662531114114839963632811439/8607231598268226\ 04021509347772416746197350200496*c_0101_6^15 + 28652352835552768205072764297218497128931858385261/4303615799134113\ 02010754673886208373098675100248*c_0101_6^14 + 21881695658308922569106443596300659471241753056511/2151807899567056\ 51005377336943104186549337550124*c_0101_6^13 - 43538620681752991923148440615459204276260882156151/8607231598268226\ 04021509347772416746197350200496*c_0101_6^12 + 489660306441685035861277602533582065231851975311105/860723159826822\ 604021509347772416746197350200496*c_0101_6^11 - 984045854487307490511675098962883488588035409458865/860723159826822\ 604021509347772416746197350200496*c_0101_6^10 - 356594225677239225822554235752964630522241445127783/430361579913411\ 302010754673886208373098675100248*c_0101_6^9 - 270895582994816059280133109482352811013101258857555/860723159826822\ 604021509347772416746197350200496*c_0101_6^8 - 95789206933236876975013480391409420747066531479125/8607231598268226\ 04021509347772416746197350200496*c_0101_6^7 + 199099077034929470478098714782002734680225070949955/860723159826822\ 604021509347772416746197350200496*c_0101_6^6 - 28962122417495758037664178042636002228260057679943/1075903949783528\ 25502688668471552093274668775062*c_0101_6^5 + 98426060683629384669675535167005456585113625011467/8607231598268226\ 04021509347772416746197350200496*c_0101_6^4 + 60873626679677517565026273933300584237533482770881/8607231598268226\ 04021509347772416746197350200496*c_0101_6^3 + 4094492738824866994222181685446288946291961734897/43036157991341130\ 2010754673886208373098675100248*c_0101_6^2 - 6698566577310347947229425832912792176253410237465/86072315982682260\ 4021509347772416746197350200496*c_0101_6 - 337661673842350495045204811493227006085137298907/107590394978352825\ 502688668471552093274668775062, c_0101_1 + 33089759007070458179119754966803795740143986623/860723159826\ 822604021509347772416746197350200496*c_0101_6^20 - 139942930250161899965107487448576054357868198257/860723159826822604\ 021509347772416746197350200496*c_0101_6^19 + 98292493348603633522263314039026501640876066467/4303615799134113020\ 10754673886208373098675100248*c_0101_6^18 - 39844773437840431071225110055204378244456037743/5379519748917641275\ 1344334235776046637334387531*c_0101_6^17 - 4726211330436640909354077736817785995156764892831/43036157991341130\ 2010754673886208373098675100248*c_0101_6^16 + 18229545808900444350927440649863450050971206354373/8607231598268226\ 04021509347772416746197350200496*c_0101_6^15 - 10567856936250719374761418583652538933290425060055/4303615799134113\ 02010754673886208373098675100248*c_0101_6^14 - 7875776825976454852855391319533788624612755108153/21518078995670565\ 1005377336943104186549337550124*c_0101_6^13 + 17506311880449618438966396249313508287528827980013/8607231598268226\ 04021509347772416746197350200496*c_0101_6^12 - 177066637990015999977567641575190661103948455537131/860723159826822\ 604021509347772416746197350200496*c_0101_6^11 + 364921726193175111002866787368852725429780266141755/860723159826822\ 604021509347772416746197350200496*c_0101_6^10 + 126384197037551315269181461613073273193193422162381/430361579913411\ 302010754673886208373098675100248*c_0101_6^9 + 79001151263247469883023096992044934259511363270529/8607231598268226\ 04021509347772416746197350200496*c_0101_6^8 + 13580837468824568536962167769154184495442367200439/8607231598268226\ 04021509347772416746197350200496*c_0101_6^7 - 86401321493362706383689855580239167397424036461585/8607231598268226\ 04021509347772416746197350200496*c_0101_6^6 + 9905357396213000020270388459640007077057533614493/10759039497835282\ 5502688668471552093274668775062*c_0101_6^5 - 37937644674749127538555427688554174189315710875225/8607231598268226\ 04021509347772416746197350200496*c_0101_6^4 - 21742240704318932824308711808772752716082771000795/8607231598268226\ 04021509347772416746197350200496*c_0101_6^3 - 1226587810733820690619033370360332950049913505555/43036157991341130\ 2010754673886208373098675100248*c_0101_6^2 + 3274766558246492136223850884560182698821680609795/86072315982682260\ 4021509347772416746197350200496*c_0101_6 + 203602864695294421100823260008320073462694270383/107590394978352825\ 502688668471552093274668775062, c_0101_6^21 - 4*c_0101_6^20 + 5*c_0101_6^19 - 18*c_0101_6^18 - 290*c_0101_6^17 + 485*c_0101_6^16 - 521*c_0101_6^15 - 1090*c_0101_6^14 + 303*c_0101_6^13 - 5268*c_0101_6^12 + 9790*c_0101_6^11 + 10013*c_0101_6^10 + 4321*c_0101_6^9 + 1390*c_0101_6^8 - 2172*c_0101_6^7 + 2019*c_0101_6^6 - 607*c_0101_6^5 - 914*c_0101_6^4 - 225*c_0101_6^3 + 63*c_0101_6^2 + 55*c_0101_6 + 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB