Magma V2.19-8 Tue Aug 20 2013 16:16:34 on localhost [Seed = 3069651562] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0868 geometric_solution 4.77748926 oriented_manifold CS_known 0.0000000000000003 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 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.371660659133 0.200796608040 2 0 3 0 0132 2310 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 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.545634179350 0.924423728584 1 3 4 3 0132 3201 0132 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 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.403734903552 1.375279594983 2 4 2 1 3201 1023 2310 0132 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 1 0 -1 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.403734903552 1.375279594983 3 5 5 2 1023 0132 3201 0132 0 0 0 0 0 0 0 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 0 0 0 -1 0 0 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.314440916132 0.245706904879 4 4 6 6 2310 0132 0132 3201 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 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.981508529568 2.894812744367 6 5 6 5 2310 2310 3201 0132 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 1 -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.464866465574 0.333243722241 ==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' : 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' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_1']), '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_3']), 'c_0011_4' : d['c_0011_3'], '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_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_0'], '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_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 176220518036300161343109475987315600569648900701140517/168029690664\ 482290662693080347459240056832454451005*c_0101_5^20 + 551709177090366825790960216855941068385020817244790488/504089071993\ 446871988079241042377720170497363353015*c_0101_5^19 + 30638290024872639783345966198111599028371948352774067877/5040890719\ 93446871988079241042377720170497363353015*c_0101_5^18 - 29169186107129194319754773104744086031568431736772521474/1680296906\ 64482290662693080347459240056832454451005*c_0101_5^17 - 23449371391911912009423101317459172441566045057243170247/1008178143\ 98689374397615848208475544034099472670603*c_0101_5^16 + 185501115429544333762488968995734312660462470052623596061/168029690\ 664482290662693080347459240056832454451005*c_0101_5^15 - 1274558733221931947993414217326551984476791140259975668541/50408907\ 1993446871988079241042377720170497363353015*c_0101_5^14 + 459255829047517075734650049944886694766136639450152999431/168029690\ 664482290662693080347459240056832454451005*c_0101_5^13 + 535769735772976620160116920057836741103969700609135167886/168029690\ 664482290662693080347459240056832454451005*c_0101_5^12 - 272531804007138635334209234035106749497736201766145906601/720127245\ 70492410284011320148911102881499623336145*c_0101_5^11 + 7641622940323969002502377877481342123640456367617727046356/50408907\ 1993446871988079241042377720170497363353015*c_0101_5^10 - 701331771603143336286271972416996847512910721904672097553/100817814\ 398689374397615848208475544034099472670603*c_0101_5^9 - 8872698373880270654081560078747268575931997030229615928078/50408907\ 1993446871988079241042377720170497363353015*c_0101_5^8 - 1322527398251426150619481124998012301181670341504799641229/72012724\ 570492410284011320148911102881499623336145*c_0101_5^7 - 7453566551168746061493810248415173162926092344105299244171/16802969\ 0664482290662693080347459240056832454451005*c_0101_5^6 - 1612877645608776862284597310774400709416412009130877720809/10081781\ 4398689374397615848208475544034099472670603*c_0101_5^5 + 1218717514750998317409421067802044869852210929797829711044/50408907\ 1993446871988079241042377720170497363353015*c_0101_5^4 + 510826230154630413590747617865188255858152906506780597378/504089071\ 993446871988079241042377720170497363353015*c_0101_5^3 + 386669948632824054223874204325885830802350851214402844554/504089071\ 993446871988079241042377720170497363353015*c_0101_5^2 - 12815645068103091950922426368292131530733747015398357243/1680296906\ 64482290662693080347459240056832454451005*c_0101_5 - 3996996473512617545973228637338111001947320735059690236/16802969066\ 4482290662693080347459240056832454451005, c_0011_0 - 1, c_0011_1 + 175048742005145149246787995334698709006925164164/48008483046\ 99494018934088009927406858766641555743*c_0101_5^20 - 853891692083026593255263540766687447018317025872/144025449140984820\ 56802264029782220576299924667229*c_0101_5^19 - 30154314500125402903317532274637380213991257967473/1440254491409848\ 2056802264029782220576299924667229*c_0101_5^18 + 34892004422644371946486057384258850663271632957031/4800848304699494\ 018934088009927406858766641555743*c_0101_5^17 + 68109502939130172316652115671111566894476700476902/1440254491409848\ 2056802264029782220576299924667229*c_0101_5^16 - 626164956579766853692811730455931444989594523603605/144025449140984\ 82056802264029782220576299924667229*c_0101_5^15 + 525684358209545000053489496201664034670595627705736/480084830469949\ 4018934088009927406858766641555743*c_0101_5^14 - 689710680452761449721970101904516333686664795778434/480084830469949\ 4018934088009927406858766641555743*c_0101_5^13 - 878023570551241844938935694091248204818389795266654/144025449140984\ 82056802264029782220576299924667229*c_0101_5^12 + 2892884085858824937537538468075000302488334336252070/14402544914098\ 482056802264029782220576299924667229*c_0101_5^11 - 2848091177744227297474980504670973839737172018573851/48008483046994\ 94018934088009927406858766641555743*c_0101_5^10 + 7819151421646474610975582191248716819702333780773984/14402544914098\ 482056802264029782220576299924667229*c_0101_5^9 + 7309431066164403179226205704727989263770713478081550/14402544914098\ 482056802264029782220576299924667229*c_0101_5^8 + 4016905551302341368916205644001363965629008365598690/14402544914098\ 482056802264029782220576299924667229*c_0101_5^7 + 16155940151357564952650451673859534849478848086507720/1440254491409\ 8482056802264029782220576299924667229*c_0101_5^6 - 5879419406993498596439174127439027523351733982049804/14402544914098\ 482056802264029782220576299924667229*c_0101_5^5 - 7884249908554156248046717893947409895785695466088991/14402544914098\ 482056802264029782220576299924667229*c_0101_5^4 - 1146450858985294685472885971626145300950567544535254/14402544914098\ 482056802264029782220576299924667229*c_0101_5^3 - 144351664701497989938687919964104420568934034177713/480084830469949\ 4018934088009927406858766641555743*c_0101_5^2 + 223954846226214506933722056736179029171635322210293/144025449140984\ 82056802264029782220576299924667229*c_0101_5 + 18478895575889864495871748204459172327195250513119/1440254491409848\ 2056802264029782220576299924667229, c_0011_3 + 94691366121917802973916322395125257521986651994/144025449140\ 98482056802264029782220576299924667229*c_0101_5^20 - 255505214249632811218867568696993632265631506719/144025449140984820\ 56802264029782220576299924667229*c_0101_5^19 - 5356844744668962749918249078756024241187173534464/14402544914098482\ 056802264029782220576299924667229*c_0101_5^18 + 24778741045220458793138517316314520927970631720682/1440254491409848\ 2056802264029782220576299924667229*c_0101_5^17 - 3038972159094348948825484936854182369297674319396/14402544914098482\ 056802264029782220576299924667229*c_0101_5^16 - 139248574750134388394733412964522010001463714369263/144025449140984\ 82056802264029782220576299924667229*c_0101_5^15 + 384504038281430172867714807489753364569700762038799/144025449140984\ 82056802264029782220576299924667229*c_0101_5^14 - 592768580612124830600274417650521778618492287271195/144025449140984\ 82056802264029782220576299924667229*c_0101_5^13 + 17260218791458454176069363621721288265439803032833/4800848304699494\ 018934088009927406858766641555743*c_0101_5^12 + 881427443426381629639116203210311292540539401136642/144025449140984\ 82056802264029782220576299924667229*c_0101_5^11 - 604887583159516581212887788900140069506558004683357/480084830469949\ 4018934088009927406858766641555743*c_0101_5^10 + 2810938506141800494076107136785672659965504926178357/14402544914098\ 482056802264029782220576299924667229*c_0101_5^9 + 330399886822913913209173494589844065527121516381186/480084830469949\ 4018934088009927406858766641555743*c_0101_5^8 - 1051940928419717433729595144983742368494080039907248/14402544914098\ 482056802264029782220576299924667229*c_0101_5^7 + 683191095296449804259426239075541815838837665244575/144025449140984\ 82056802264029782220576299924667229*c_0101_5^6 - 5932750455447050584177560389613535160692444769672503/14402544914098\ 482056802264029782220576299924667229*c_0101_5^5 - 1395811816793469143950404409381245255507004376205204/48008483046994\ 94018934088009927406858766641555743*c_0101_5^4 - 683303335471168636655565589810885026212854076855699/144025449140984\ 82056802264029782220576299924667229*c_0101_5^3 - 97835045883679776402422819376855882623979316578656/1440254491409848\ 2056802264029782220576299924667229*c_0101_5^2 + 40638826940637067203478716284327448869138779651799/4800848304699494\ 018934088009927406858766641555743*c_0101_5 + 8802542512045348456587853867284247512149808590638/14402544914098482\ 056802264029782220576299924667229, c_0011_6 - 12808896425289111550423112294763891265667283415/480084830469\ 9494018934088009927406858766641555743*c_0101_5^20 - 18421143043843640520155293569678031782106703558/4800848304699494018\ 934088009927406858766641555743*c_0101_5^19 + 2306768919325929309908820672663747796955850241732/14402544914098482\ 056802264029782220576299924667229*c_0101_5^18 - 815767290788436096693203702848088357887184642261/144025449140984820\ 56802264029782220576299924667229*c_0101_5^17 - 7721194470502639219296335824748766649290332429669/48008483046994940\ 18934088009927406858766641555743*c_0101_5^16 + 16185062158464531545159454542264767907610349733561/1440254491409848\ 2056802264029782220576299924667229*c_0101_5^15 + 1039210199373909575586304454750154601137960134605/48008483046994940\ 18934088009927406858766641555743*c_0101_5^14 - 36711245916364311604591883961015375060374901289938/4800848304699494\ 018934088009927406858766641555743*c_0101_5^13 + 319982187319920018131800767920104639285345329167707/144025449140984\ 82056802264029782220576299924667229*c_0101_5^12 + 199823558989541013931055837106375903011593482007841/144025449140984\ 82056802264029782220576299924667229*c_0101_5^11 + 89821875301762773091466526630732199264839259008693/4800848304699494\ 018934088009927406858766641555743*c_0101_5^10 + 1071887314122200380536762892911032911414763671128625/14402544914098\ 482056802264029782220576299924667229*c_0101_5^9 - 332644740735557653442776472619284425782606541128062/480084830469949\ 4018934088009927406858766641555743*c_0101_5^8 - 791487581132403981759309189645176410175589060178833/480084830469949\ 4018934088009927406858766641555743*c_0101_5^7 - 3599167006174505889270761063951740257875565858881341/14402544914098\ 482056802264029782220576299924667229*c_0101_5^6 - 5043005130209540637661849737192077098022783136853999/14402544914098\ 482056802264029782220576299924667229*c_0101_5^5 - 759850358006997154507875744996400286081061813699735/480084830469949\ 4018934088009927406858766641555743*c_0101_5^4 - 218180529127973915478063075759195312845502967174163/144025449140984\ 82056802264029782220576299924667229*c_0101_5^3 + 4060824969257288975609920866231219780558635283131/48008483046994940\ 18934088009927406858766641555743*c_0101_5^2 + 59695222126283134108457198759494754792296508302814/1440254491409848\ 2056802264029782220576299924667229*c_0101_5 + 1307265224736289428065721230683209777655783936882/48008483046994940\ 18934088009927406858766641555743, c_0101_0 - 637412611883804285866978447160086722590640670118/14402544914\ 098482056802264029782220576299924667229*c_0101_5^20 + 670781181023707771179519040416373067582922487406/144025449140984820\ 56802264029782220576299924667229*c_0101_5^19 + 36903259625920587080675267391304338190159808821604/1440254491409848\ 2056802264029782220576299924667229*c_0101_5^18 - 105803191254447023252433767990452498874909196012344/144025449140984\ 82056802264029782220576299924667229*c_0101_5^17 - 46199001489804750952241772113634760970393264975055/4800848304699494\ 018934088009927406858766641555743*c_0101_5^16 + 667202883882794974102817293216807888423037858866871/144025449140984\ 82056802264029782220576299924667229*c_0101_5^15 - 516733384024737457573472909038603502595337409192770/480084830469949\ 4018934088009927406858766641555743*c_0101_5^14 + 568898749523337978830883036420387219821552091799346/480084830469949\ 4018934088009927406858766641555743*c_0101_5^13 + 616800475885985180894382449409422846537552523956658/480084830469949\ 4018934088009927406858766641555743*c_0101_5^12 - 2241318212497589980350570475918668224580761012637506/14402544914098\ 482056802264029782220576299924667229*c_0101_5^11 + 3111486563217753741468354955963082892404595351443081/48008483046994\ 94018934088009927406858766641555743*c_0101_5^10 - 4403276636974517190102047209845815328628709877190037/14402544914098\ 482056802264029782220576299924667229*c_0101_5^9 - 3401848423783059986875114610472521923189838924607263/48008483046994\ 94018934088009927406858766641555743*c_0101_5^8 - 11228576400013964521817813601806673740443891288607954/1440254491409\ 8482056802264029782220576299924667229*c_0101_5^7 - 27376401353747205438364899126554814810560792948071442/1440254491409\ 8482056802264029782220576299924667229*c_0101_5^6 - 10135838382372707734516552337828105599739227571023777/1440254491409\ 8482056802264029782220576299924667229*c_0101_5^5 + 26980956906428469892957408772851103177594566266767/4800848304699494\ 018934088009927406858766641555743*c_0101_5^4 - 40780736055809280251747283116770872595451991425236/4800848304699494\ 018934088009927406858766641555743*c_0101_5^3 + 102303173184926490541004743053138172391434160760550/480084830469949\ 4018934088009927406858766641555743*c_0101_5^2 - 71149870086217089158040869437903175938591932806641/1440254491409848\ 2056802264029782220576299924667229*c_0101_5 + 5962046767602935802222715051315876417928762392373/14402544914098482\ 056802264029782220576299924667229, c_0101_1 - 121027804662558368563804828096368038314179105292/14402544914\ 098482056802264029782220576299924667229*c_0101_5^20 + 51532278609368771142541190308054205196436861140/4800848304699494018\ 934088009927406858766641555743*c_0101_5^19 + 2327416729882707432008183249325798420262037292466/48008483046994940\ 18934088009927406858766641555743*c_0101_5^18 - 21673701345592982016564231320325739956149133434540/1440254491409848\ 2056802264029782220576299924667229*c_0101_5^17 - 22020492071911183061923619815874785711534618943944/1440254491409848\ 2056802264029782220576299924667229*c_0101_5^16 + 44490656895618326537972070452425470633054236591973/4800848304699494\ 018934088009927406858766641555743*c_0101_5^15 - 322602368526922120699566720829498676915322525083620/144025449140984\ 82056802264029782220576299924667229*c_0101_5^14 + 128470625156344415437477617950534408422006959477335/480084830469949\ 4018934088009927406858766641555743*c_0101_5^13 + 97282820060971417522718376519197685042814319105743/4800848304699494\ 018934088009927406858766641555743*c_0101_5^12 - 524398791034207966817995784762218371285076732854224/144025449140984\ 82056802264029782220576299924667229*c_0101_5^11 + 622420340885987129579109808730587434301337655627900/480084830469949\ 4018934088009927406858766641555743*c_0101_5^10 - 1211540687441262347588753772845037111503953538352103/14402544914098\ 482056802264029782220576299924667229*c_0101_5^9 - 607047785161563865993638043853651677097932234127125/480084830469949\ 4018934088009927406858766641555743*c_0101_5^8 - 1611508540281249712993944215016836840520444402826892/14402544914098\ 482056802264029782220576299924667229*c_0101_5^7 - 1562263941481600142578558260332902114196638373391532/48008483046994\ 94018934088009927406858766641555743*c_0101_5^6 - 736277601657709658336300357649134858605768549269905/144025449140984\ 82056802264029782220576299924667229*c_0101_5^5 + 558237739087423619443900816223141069564833812760832/144025449140984\ 82056802264029782220576299924667229*c_0101_5^4 - 131156501980495914405523146226305805093548573836057/144025449140984\ 82056802264029782220576299924667229*c_0101_5^3 + 16048109332284757643023298076821296877916315473581/1440254491409848\ 2056802264029782220576299924667229*c_0101_5^2 - 36973711019461548635650418544721652559936488552510/1440254491409848\ 2056802264029782220576299924667229*c_0101_5 + 176445341646928751536753695504167169588976797308/480084830469949401\ 8934088009927406858766641555743, c_0101_5^21 - c_0101_5^20 - 58*c_0101_5^19 + 163*c_0101_5^18 + 229*c_0101_5^17 - 1043*c_0101_5^16 + 2365*c_0101_5^15 - 2501*c_0101_5^14 - 3154*c_0101_5^13 + 3476*c_0101_5^12 - 14297*c_0101_5^11 + 6003*c_0101_5^10 + 17073*c_0101_5^9 + 18244*c_0101_5^8 + 43059*c_0101_5^7 + 17096*c_0101_5^6 - 1644*c_0101_5^5 - 1071*c_0101_5^4 - 775*c_0101_5^3 + 41*c_0101_5^2 + 26*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB