Magma V2.19-8 Tue Aug 20 2013 16:17:09 on localhost [Seed = 2067457967] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1389 geometric_solution 5.24081769 oriented_manifold CS_known 0.0000000000000000 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.501099322679 0.160370790308 2 0 2 0 0132 2310 1023 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.688697112660 0.418963012680 1 3 1 4 0132 0132 1023 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 2.055895963738 1.102583977296 5 2 6 4 0132 0132 0132 2310 0 0 0 0 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 0 0 0 0 0 0 0 -1 0 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.050675772115 1.001199575052 3 6 2 5 3201 1023 0132 3201 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 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.050675772115 1.001199575052 3 4 5 5 0132 2310 2031 1302 0 0 0 0 0 0 0 0 -1 0 0 1 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 -1 1 1 0 -1 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.424700661267 0.324953214540 4 6 6 3 1023 3201 2310 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.050425228169 0.996249586479 ==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' : negation(d['1']), 's_1_6' : negation(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' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0101_1']), '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_0101_1']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], '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_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], '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' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : 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_0101_1']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : 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_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 2865550383681844668035098820615818690040853115115002537472885995729\ 3584379/20022394419596987312788839219582144350480722248904823570197\ 6167510956703232*c_0101_6^30 - 136113876957638673181537668793479311\ 65139839023473927215975215981288469904749/2002239441959698731278883\ 92195821443504807222489048235701976167510956703232*c_0101_6^28 + 8004165590595996131015675744984429400021073592605129883023719348347\ 69433638561/2002239441959698731278883921958214435048072224890482357\ 01976167510956703232*c_0101_6^26 - 9543321782683453638842182425453984798083269360432054853729018331138\ 602736501171/100111972097984936563944196097910721752403611244524117\ 850988083755478351616*c_0101_6^24 + 9671547799177132719092484217507206238018292146032481793392423612669\ 9895200255021/10011197209798493656394419609791072175240361124452411\ 7850988083755478351616*c_0101_6^22 - 5054981263681149672021133593952623431097786850263982867891201225760\ 17404218175705/1001119720979849365639441960979107217524036112445241\ 17850988083755478351616*c_0101_6^20 + 7601536853996941955532632596401095660692638526633471184571439455018\ 68900129898225/5005598604899246828197209804895536087620180562226205\ 8925494041877739175808*c_0101_6^18 - 2894495070310229064722181597677753509675317811316658245831154700418\ 042121763485791/100111972097984936563944196097910721752403611244524\ 117850988083755478351616*c_0101_6^16 + 2437171369193223105232852165665295207909960739842028706494191445951\ 17390166975507/6256998256124058535246512256119420109525225702782757\ 365686755234717396976*c_0101_6^14 - 7288444114901165882586528709655126927408745831585012288234205231390\ 038316669590187/200223944195969873127888392195821443504807222489048\ 235701976167510956703232*c_0101_6^12 + 8182646350732529609343735573197841835126721905151250230907340015825\ 42023576272857/5005598604899246828197209804895536087620180562226205\ 8925494041877739175808*c_0101_6^10 - 2550709568168704721084431333921339857069418550187061551026461116181\ 75989914801139/1001119720979849365639441960979107217524036112445241\ 17850988083755478351616*c_0101_6^8 + 2009198241460367722541987848761847757350980589662873363172904155590\ 99568305731771/2002239441959698731278883921958214435048072224890482\ 35701976167510956703232*c_0101_6^6 - 6368181657929750854957581807567459869121233955586683330365001039519\ 4507086634077/10011197209798493656394419609791072175240361124452411\ 7850988083755478351616*c_0101_6^4 + 1854163410235987410637879664879304583881862909557698022304034251571\ 8789568532583/20022394419596987312788839219582144350480722248904823\ 5701976167510956703232*c_0101_6^2 - 8833540826050698106614708714654799616609109060339399319830680684741\ 5107162729/10011197209798493656394419609791072175240361124452411785\ 0988083755478351616, c_0011_0 - 1, c_0011_1 + 735300777794964355177558783074772691069133622601032471349141\ 7657/22451459340887372819803047572039058345094426698057002024704098\ 915328*c_0101_6^30 - 8731539596882245846938857975976800961754748198\ 70524729605445581065/5612864835221843204950761893009764586273606674\ 514250506176024728832*c_0101_6^28 + 1283464781774855946742052139484837013812166538695288731047205828863\ 7/14032162088054608012376904732524411465684016686285626265440061822\ 08*c_0101_6^26 - 48957264426115641935076049838718125801559125088699\ 57340216361262471819/2245145934088737281980304757203905834509442669\ 8057002024704098915328*c_0101_6^24 + 2479466788065481376441757051790344984586415078048680093367256784207\ 2041/11225729670443686409901523786019529172547213349028501012352049\ 457664*c_0101_6^22 - 6474385106426362827856785855461674434860102795\ 5982350719692511417188323/56128648352218432049507618930097645862736\ 06674514250506176024728832*c_0101_6^20 + 3889875521221378088368589571699749393538341479666911656724844486465\ 63671/1122572967044368640990152378601952917254721334902850101235204\ 9457664*c_0101_6^18 - 739534669076520087770561983899542003350352829\ 010219344113547148649019057/112257296704436864099015237860195291725\ 47213349028501012352049457664*c_0101_6^16 + 9949661533374862687523542676845659779578764371116394429344723265057\ 77333/1122572967044368640990152378601952917254721334902850101235204\ 9457664*c_0101_6^14 - 185617975832965262407667296121710520620869462\ 6374826758295942668324400613/22451459340887372819803047572039058345\ 094426698057002024704098915328*c_0101_6^12 + 8283180266212933912811496233541103902572372206675609988484570448456\ 93185/2245145934088737281980304757203905834509442669805700202470409\ 8915328*c_0101_6^10 - 160148122998663697884664518951399671860784872\ 73020912965268207449521089/2806432417610921602475380946504882293136\ 803337257125253088012364416*c_0101_6^8 + 5186723446806755507003675352159888122110456620644347450911144058994\ 9503/22451459340887372819803047572039058345094426698057002024704098\ 915328*c_0101_6^6 - 32317403391846626314003374720296517788343547254\ 782655938311415702907871/224514593408873728198030475720390583450944\ 26698057002024704098915328*c_0101_6^4 + 4614417435199830546212590568470239832527285734763789632789142660420\ 109/224514593408873728198030475720390583450944266980570020247040989\ 15328*c_0101_6^2 - 568033550940710975853763352051441216021138383906\ 52300304968849063255/2245145934088737281980304757203905834509442669\ 8057002024704098915328, c_0011_4 + 192297473358193242306281137541172936704039574515652329808667\ 78893485/1878625860348750920697020005590368207025776153959919644417\ 1154767400704*c_0101_6^31 - 228345513285436221833797397792989576995\ 5754045231228250876531718019421/46965646508718773017425500139759205\ 17564440384899799111042788691850176*c_0101_6^29 + 6712229122347719573217672825666671459046802603292641723953241890205\ 2663/23482823254359386508712750069879602587822201924498995555213943\ 45925088*c_0101_6^27 - 12799357071859765330987273402239892638398654\ 991883306591792192585698784039/187862586034875092069702000559036820\ 70257761539599196444171154767400704*c_0101_6^25 + 6479518985125561943546455617789600224024651489319332056289546399883\ 9095297/93931293017437546034851000279518410351288807697995982220855\ 77383700352*c_0101_6^23 - 16907411299106523221691376964200864948258\ 9171699628781722012320016462838037/46965646508718773017425500139759\ 20517564440384899799111042788691850176*c_0101_6^21 + 1014719670135600796898892608775662401962797045858351724066474714632\ 421932847/939312930174375460348510002795184103512888076979959822208\ 5577383700352*c_0101_6^19 - 192631728953822787769752571775774000743\ 9983724430669266583407844793182566145/93931293017437546034851000279\ 51841035128880769799598222085577383700352*c_0101_6^17 + 2587377893883345774726484792470815781462792210982298349955912065780\ 471804061/939312930174375460348510002795184103512888076979959822208\ 5577383700352*c_0101_6^15 - 481503554445031254941373252142871724303\ 1649184583442068086564864292473679377/18786258603487509206970200055\ 903682070257761539599196444171154767400704*c_0101_6^13 + 2129867008518166786802357004200758880807561247290782134683599015591\ 496170733/187862586034875092069702000559036820702577615395991964441\ 71154767400704*c_0101_6^11 - 39914574010528078505823947443123539110\ 361073567570966674163953987195128159/234828232543593865087127500698\ 7960258782220192449899555521394345925088*c_0101_6^9 + 1339125148927771128762479175419117060270068574736576595495983731064\ 38035467/1878625860348750920697020005590368207025776153959919644417\ 1154767400704*c_0101_6^7 - 8335867332955910090570579651646712621312\ 4294988504953953198805880581831707/18786258603487509206970200055903\ 682070257761539599196444171154767400704*c_0101_6^5 + 1148483190256444815550240557740732792194918847228477496493502167679\ 1485001/18786258603487509206970200055903682070257761539599196444171\ 154767400704*c_0101_6^3 - 12391218102620110888584855915059287327364\ 6895091028460164925417202586795/18786258603487509206970200055903682\ 070257761539599196444171154767400704*c_0101_6, c_0101_0 + 112412765698544383672620757951884801980985952481699752999754\ 528673/224514593408873728198030475720390583450944266980570020247040\ 98915328*c_0101_6^31 - 33371928396921315590626786414971072944511115\ 62379643680058153601447/1403216208805460801237690473252441146568401\ 668628562626544006182208*c_0101_6^29 + 7848621635438494516674956693973568733541908327248608082108397687804\ 03/5612864835221843204950761893009764586273606674514250506176024728\ 832*c_0101_6^27 - 7484529177421192205701729803333569841253773942871\ 2998229887920940812575/22451459340887372819803047572039058345094426\ 698057002024704098915328*c_0101_6^25 + 3790527698678444462511768770340678951518933212092743256084535967049\ 27121/1122572967044368640990152378601952917254721334902850101235204\ 9457664*c_0101_6^23 - 989747875710287510944857750539700170650032304\ 332040398476618834642442897/561286483522184320495076189300976458627\ 3606674514250506176024728832*c_0101_6^21 + 5946015699971460731688697645207229378622805135269912892732485305210\ 133891/112257296704436864099015237860195291725472133490285010123520\ 49457664*c_0101_6^19 - 11302546923742984244462260790257189390207794\ 813613151712538951046550730529/112257296704436864099015237860195291\ 72547213349028501012352049457664*c_0101_6^17 + 1520237990316644089273239577578336673031440678341427190212933586081\ 7190161/11225729670443686409901523786019529172547213349028501012352\ 049457664*c_0101_6^15 - 2834935370595721122229707321486466647310896\ 7000923789537431287427884724621/22451459340887372819803047572039058\ 345094426698057002024704098915328*c_0101_6^13 + 1263108662440400382430677057024621607784616372376325195718130258515\ 2632389/22451459340887372819803047572039058345094426698057002024704\ 098915328*c_0101_6^11 - 1209443038373954741378581131063016827969057\ 50660210692404811179824406081/1403216208805460801237690473252441146\ 568401668628562626544006182208*c_0101_6^9 + 7894633591161932932850614420950115014974564227138321650424932221697\ 23519/2245145934088737281980304757203905834509442669805700202470409\ 8915328*c_0101_6^7 - 4929872432577229666941528368590711186709451474\ 95555087806439226182225363/2245145934088737281980304757203905834509\ 4426698057002024704098915328*c_0101_6^5 + 6955022298958494717495562135846995579614403600703292999084908149650\ 9765/22451459340887372819803047572039058345094426698057002024704098\ 915328*c_0101_6^3 - 87929944025478894745411043904469639350140935067\ 5158102436611582393531/22451459340887372819803047572039058345094426\ 698057002024704098915328*c_0101_6, c_0101_1 - 345130435258736877094632908520359453584975133142479545672736\ 9749/22451459340887372819803047572039058345094426698057002024704098\ 915328*c_0101_6^30 + 2049232404779102636085368753278503009060800442\ 73008021461150218101/2806432417610921602475380946504882293136803337\ 257125253088012364416*c_0101_6^28 - 2410239575985431877986042917409618455525689583519489248575779685468\ 9/56128648352218432049507618930097645862736066745142505061760247288\ 32*c_0101_6^26 + 22991923751652355074543868564233460488639241715388\ 96375752295524568419/2245145934088737281980304757203905834509442669\ 8057002024704098915328*c_0101_6^24 - 1165290093329264516539981916406378861160505045170096950175032867569\ 6109/11225729670443686409901523786019529172547213349028501012352049\ 457664*c_0101_6^22 + 3046261701881353849609573404846208865184882281\ 3401356680032175548570277/56128648352218432049507618930097645862736\ 06674514250506176024728832*c_0101_6^20 - 1833147269555713527499130273507271576223466400828038392850900820549\ 69599/1122572967044368640990152378601952917254721334902850101235204\ 9457664*c_0101_6^18 + 349180615933515539570327264058032179026046011\ 709204252395199625130042029/112257296704436864099015237860195291725\ 47213349028501012352049457664*c_0101_6^16 - 4706119463476267744183856809495439578003575684791629550127915857037\ 41269/1122572967044368640990152378601952917254721334902850101235204\ 9457664*c_0101_6^14 + 880168652399184326615936907114151609164876618\ 447151481965537578241268897/224514593408873728198030475720390583450\ 94426698057002024704098915328*c_0101_6^12 - 3961100113169472805527906684352564517694543025286744001105824247432\ 67601/2245145934088737281980304757203905834509442669805700202470409\ 8915328*c_0101_6^10 + 241785950342187985776036252074722858035356360\ 719243666897790797385795/877010130503413000773556545782775716605251\ 04289285164159000386388*c_0101_6^8 - 2448050653436547038944440895798493100084229362518969487147573056898\ 4603/22451459340887372819803047572039058345094426698057002024704098\ 915328*c_0101_6^6 + 15471582744111051165124351151827944689249688970\ 499476308918026910770791/224514593408873728198030475720390583450944\ 26698057002024704098915328*c_0101_6^4 - 2243733028001025317300050576665474698244715038331066174552813901358\ 713/224514593408873728198030475720390583450944266980570020247040989\ 15328*c_0101_6^2 + 402146881456730513238159387557488312691780999634\ 29618832559393133119/2245145934088737281980304757203905834509442669\ 8057002024704098915328, c_0101_3 + 340707420470745397405329276344006699078577027335657557646242\ 9720797/93931293017437546034851000279518410351288807697995982220855\ 77383700352*c_0101_6^31 - 40455582612954911520990766815448599202441\ 8769597834520903915239254357/23482823254359386508712750069879602587\ 82220192449899555521394345925088*c_0101_6^29 + 2377533924706893597861553182495475026599265146102133374921254103691\ 8885/23482823254359386508712750069879602587822201924498995555213943\ 45925088*c_0101_6^27 - 22654639413927102763711158267376528690610970\ 30197022342968742008131821247/9393129301743754603485100027951841035\ 128880769799598222085577383700352*c_0101_6^25 + 1145295885571048661755391296210617718116524691522415742158037393622\ 5308931/46965646508718773017425500139759205175644403848997991110427\ 88691850176*c_0101_6^23 - 14909182256590948261128758496165456354455\ 209619839472429645794786149457409/117414116271796932543563750349398\ 0129391110096224949777760697172962544*c_0101_6^21 + 1783539472578075902568587598183675269672782464243639749949215872926\ 62219509/4696564650871877301742550013975920517564440384899799111042\ 788691850176*c_0101_6^19 - 3370334686091483200785487390045513844536\ 87706971817191132836374348457390691/4696564650871877301742550013975\ 920517564440384899799111042788691850176*c_0101_6^17 + 4504023732161972591172476538528124491699136585378249625503139086088\ 48521063/4696564650871877301742550013975920517564440384899799111042\ 788691850176*c_0101_6^15 - 8317951695529329408292571815870311947190\ 70206082635713920230679140546081645/9393129301743754603485100027951\ 841035128880769799598222085577383700352*c_0101_6^13 + 3578332243966263574643420791801802554874545850475902271164956814598\ 69471593/9393129301743754603485100027951841035128880769799598222085\ 577383700352*c_0101_6^11 - 7564902213408333224967868063605152754273\ 64782652266263446794529889468971/1467676453397461656794546879367475\ 16173888762028118722220087146620318*c_0101_6^9 + 2273025008435898078807853890210130117548475936528119149091065476104\ 0551531/93931293017437546034851000279518410351288807697995982220855\ 77383700352*c_0101_6^7 - 141545662619531070053999243932439184433010\ 36217494999779424403685412561891/9393129301743754603485100027951841\ 035128880769799598222085577383700352*c_0101_6^5 + 1691072758959778642444634578349303471505883081549127567165616195628\ 297917/939312930174375460348510002795184103512888076979959822208557\ 7383700352*c_0101_6^3 + 1397096284780057791314018309260672461544656\ 5694236088241567133543775025/93931293017437546034851000279518410351\ 28880769799598222085577383700352*c_0101_6, c_0101_6^32 - 475*c_0101_6^30 + 27932*c_0101_6^28 - 666051*c_0101_6^26 + 6749751*c_0101_6^24 - 35277306*c_0101_6^22 + 106098162*c_0101_6^20 - 202024324*c_0101_6^18 + 272263032*c_0101_6^16 - 254612643*c_0101_6^14 + 114645236*c_0101_6^12 - 18265799*c_0101_6^10 + 7194191*c_0101_6^8 - 4448232*c_0101_6^6 + 660022*c_0101_6^4 - 14098*c_0101_6^2 + 73 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB