Magma V2.19-8 Tue Aug 20 2013 16:16:53 on localhost [Seed = 3499183119] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1144 geometric_solution 5.01445957 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 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 1 0 -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.263287010966 0.115476522794 0 0 2 2 0132 2310 2310 0132 0 0 0 0 0 -1 1 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 1 -1 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 2.400351489465 1.325333745335 3 1 1 4 0132 3201 0132 0132 0 0 0 0 0 1 0 -1 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 -1 1 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.633206575809 0.719138960184 2 5 6 6 0132 0132 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.028741302199 0.488508221713 6 6 2 5 3201 1023 0132 2310 0 0 0 0 0 -1 1 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 1 0 -1 0 0 -1 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.028741302199 0.488508221713 4 3 5 5 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 1 -1 0 0 1 -1 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.815398748209 1.444596699097 4 3 3 4 1023 3201 0132 2310 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 -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.120022302855 2.039986961180 ==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' : negation(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' : negation(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' : d['c_0101_3'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], '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' : d['c_0011_2'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_1']), '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_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 57087296532515088454021084109524085544277/1503584344464163012471429\ 7280992680558009344*c_0101_5^24 - 163437013843169848911039235969866\ 31845304199/45107530333924890374142891842978041674028032*c_0101_5^2\ 2 - 7503152251165649844916922667928149193618121/4176623179067119479\ 08730480027574459944704*c_0101_5^20 - 1143595054529485447910078316684676019975822627/50119478148805433749\ 04765760330893519336448*c_0101_5^18 - 20517290726667388495082599324981956136181890949/2255376516696244518\ 7071445921489020837014016*c_0101_5^16 - 121426273871699871827801093085372031417324170881/451075303339248903\ 74142891842978041674028032*c_0101_5^14 - 5068153408230204521464825717165269666621953813/10739888174744021517\ 65306948642334325572096*c_0101_5^12 - 15725286923509701987913500528451180389429641657/2505973907440271687\ 452382880165446759668224*c_0101_5^10 - 27289179807792944125511869817465446966890589447/5638441291740611296\ 767861480372255209253504*c_0101_5^8 - 68177641749180215108691830449975664782555152431/2255376516696244518\ 7071445921489020837014016*c_0101_5^6 - 103013333752241169354807553976542973464174589/375896086116040753117\ 8574320248170139502336*c_0101_5^4 + 6776188576990932024117502039335196061883511795/45107530333924890374\ 142891842978041674028032*c_0101_5^2 - 1711934000868253842440352603015901369049565041/15035843444641630124\ 714297280992680558009344, c_0011_0 - 1, c_0011_2 - 419149541473422329135255770541888959/13424860218430026897066\ 3368580291790696512*c_0101_5^24 + 544902807842172894914548440643112\ 49989/178998136245733691960884491440389054262016*c_0101_5^22 + 1266393429467404457196493642171367447551/89499068122866845980442245\ 720194527131008*c_0101_5^20 + 4232595906805069664500336124578383231\ 9275/268497204368600537941326737160583581393024*c_0101_5^18 + 208931537161328826055770911853315326335247/536994408737201075882653\ 474321167162786048*c_0101_5^16 + 6211521333985317718546950374011095\ 2033339/59666045415244563986961497146796351420672*c_0101_5^14 + 35342267978448143318193989102163271406515/4474953406143342299022112\ 2860097263565504*c_0101_5^12 + 322750465587232840920646657124032685\ 394529/268497204368600537941326737160583581393024*c_0101_5^10 + 115401461004518926874690487040952629063/134248602184300268970663368\ 580291790696512*c_0101_5^8 + 66898140602919177618538325366895285719\ 755/44749534061433422990221122860097263565504*c_0101_5^6 - 236773999116429059743138445506636845916577/268497204368600537941326\ 737160583581393024*c_0101_5^4 + 11635788966280074092403998832836388\ 0444263/89499068122866845980442245720194527131008*c_0101_5^2 - 25891497637843019169997090572214255756811/5966604541524456398696149\ 7146796351420672, c_0011_4 - 11242800087044843595898232313120309799/178998136245733691960\ 884491440389054262016*c_0101_5^24 + 539643230254877688407380241554022631707/894990681228668459804422457\ 20194527131008*c_0101_5^22 + 87640855657979574669070267004929221316\ 97/29833022707622281993480748573398175710336*c_0101_5^20 + 645832086352614439521265457335941460035229/178998136245733691960884\ 491440389054262016*c_0101_5^18 + 2326956323346482156473378202318314\ 579176445/178998136245733691960884491440389054262016*c_0101_5^16 + 1661203312434241998696416643819670748771251/44749534061433422990221\ 122860097263565504*c_0101_5^14 + 1698192718524430768695091273741167\ 508597665/29833022707622281993480748573398175710336*c_0101_5^12 + 3178140460472488433422742654394922280508371/44749534061433422990221\ 122860097263565504*c_0101_5^10 + 1735513605126329193030674878045897\ 804023803/44749534061433422990221122860097263565504*c_0101_5^8 + 2270697953842084044737570116853073530676433/89499068122866845980442\ 245720194527131008*c_0101_5^6 - 14832636392440684545767505338433923\ 97585059/89499068122866845980442245720194527131008*c_0101_5^4 + 729390639549201884774173816748783927817739/178998136245733691960884\ 491440389054262016*c_0101_5^2 - 19425730639526428700264650784365327\ 93831/3729127838452785249185093571674771963792, c_0101_0 - 7050257019893130388456230665676967993/2013729032764504034559\ 95052870437686044768*c_0101_5^25 + 893828369912210247291181346988917386069/268497204368600537941326737\ 160583581393024*c_0101_5^23 + 1399719740108142492441989060089962641\ 431/8390537636518766810666460536268236918532*c_0101_5^21 + 435129409334936075009292154897271722432567/201372903276450403455995\ 052870437686044768*c_0101_5^19 + 7319308434635365176784353098888169\ 442908125/805491613105801613823980211481750744179072*c_0101_5^17 + 7342535817850372715843546704872153417888857/26849720436860053794132\ 6737160583581393024*c_0101_5^15 + 680414258498686925134417177619273\ 5640667335/134248602184300268970663368580291790696512*c_0101_5^13 + 13850628643797269695218215558426815957021565/2013729032764504034559\ 95052870437686044768*c_0101_5^11 + 23326310303532099702712750010772442861422215/4027458065529008069119\ 90105740875372089536*c_0101_5^9 + 468983202409357028458721991059190\ 9723045367/134248602184300268970663368580291790696512*c_0101_5^7 + 116119500865599782653267804495384504882495/251716129095563004319993\ 81608804710755596*c_0101_5^5 - 860044418424622325304124731255604508\ 38717/22374767030716711495110561430048631782752*c_0101_5^3 + 107611757504943807560130824227397132050087/894990681228668459804422\ 45720194527131008*c_0101_5, c_0101_1 + 1852744432413312202193830118190324259/2147977634948804303530\ 613897284668651144192*c_0101_5^24 - 58466723331542165132984479307553032705/7159925449829347678435379657\ 61556217048064*c_0101_5^22 - 74236511211223556041611222067290142295\ 3/178998136245733691960884491440389054262016*c_0101_5^20 - 117286956405168420880806616530043994443711/214797763494880430353061\ 3897284668651144192*c_0101_5^18 - 247149565620672368361685246769792\ 835875005/1073988817474402151765306948642334325572096*c_0101_5^16 - 139315071678621243674513067632738973181389/238664181660978255947845\ 988587185405682688*c_0101_5^14 - 3541600524863537352559536614042135\ 00287703/357996272491467383921768982880778108524032*c_0101_5^12 - 720175847556284705195518355954262480840133/107398881747440215176530\ 6948642334325572096*c_0101_5^10 - 100857841752241970861157545209339\ 088743919/268497204368600537941326737160583581393024*c_0101_5^8 + 301089930182778154825478313935690191117087/357996272491467383921768\ 982880778108524032*c_0101_5^6 - 20697073583939062353608013745562683\ 1687927/536994408737201075882653474321167162786048*c_0101_5^4 + 367120929088200512755343903468719538079965/715992544982934767843537\ 965761556217048064*c_0101_5^2 - 19100256049297816230902240174559952\ 6462679/238664181660978255947845988587185405682688, c_0101_3 - 14813439865610963354030807332846526719/214797763494880430353\ 0613897284668651144192*c_0101_5^24 + 476167768610657465837811381601610978981/715992544982934767843537965\ 761556217048064*c_0101_5^22 + 5722516920646724549465695368117937531\ 961/178998136245733691960884491440389054262016*c_0101_5^20 + 820454099872604057338586530507967130445147/214797763494880430353061\ 3897284668651144192*c_0101_5^18 + 133965841821609230904841881457224\ 2413824385/1073988817474402151765306948642334325572096*c_0101_5^16 + 804298300920515834824899821877094572707393/238664181660978255947845\ 988587185405682688*c_0101_5^14 + 1535030063460449450362873002522660\ 306683915/357996272491467383921768982880778108524032*c_0101_5^12 + 5070741467898574366374014321759245960965409/10739888174744021517653\ 06948642334325572096*c_0101_5^10 + 263427840732673288919603395990868081289533/268497204368600537941326\ 737160583581393024*c_0101_5^8 + 62561234849274454222274796771567490\ 9920989/357996272491467383921768982880778108524032*c_0101_5^6 - 859079887264014734105423350351643700868225/536994408737201075882653\ 474321167162786048*c_0101_5^4 + 14392979107750507926634410621935990\ 95878031/715992544982934767843537965761556217048064*c_0101_5^2 + 6310343854287194672312403625999434854083/23866418166097825594784598\ 8587185405682688, c_0101_5^26 - 96*c_0101_5^24 - 4677*c_0101_5^22 - 57433*c_0101_5^20 - 206771*c_0101_5^18 - 589509*c_0101_5^16 - 901173*c_0101_5^14 - 1122524*c_0101_5^12 - 612118*c_0101_5^10 - 420906*c_0101_5^8 + 238858*c_0101_5^6 - 92919*c_0101_5^4 + 7704*c_0101_5^2 - 1701 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB