Magma V2.19-8 Tue Aug 20 2013 16:17:06 on localhost [Seed = 3836049461] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1357 geometric_solution 5.22493954 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.596640347976 0.225032549662 0 2 2 0 3201 0132 1023 0132 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 0 -1 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 0 0 0 1.252408617103 0.484129722277 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 -1 0 1 -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 0 -1 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.419389890554 0.479512697537 2 4 6 5 0132 2310 0132 0132 0 0 0 0 0 1 0 -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 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.254201999406 0.884887871635 6 5 2 3 2310 2310 0132 3201 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 -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.254201999406 0.884887871635 5 5 3 4 1230 3012 0132 3201 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 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.779509618035 1.394472413438 6 6 4 3 1230 3012 3201 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.036722563913 0.737550674463 ==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' : negation(d['1']), 's_2_2' : negation(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' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : negation(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_4']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], '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' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0011_6'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : d['c_0101_2'], '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_5, c_0011_6, c_0101_0, c_0101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 12037964332099685394276220308499840977/1278718344207123282650150496\ 469745024*c_0101_2^22 - 20800845968644017348446430668009615269/1278\ 718344207123282650150496469745024*c_0101_2^21 - 311488814083313332866580450928891412519/127871834420712328265015049\ 6469745024*c_0101_2^20 + 794829397165001745035383065552642345355/12\ 78718344207123282650150496469745024*c_0101_2^19 + 2509381530371940066333876180480370859089/12787183442071232826501504\ 96469745024*c_0101_2^18 - 8866149374218561068279689595292466119205/\ 1278718344207123282650150496469745024*c_0101_2^17 - 5745254870827073446045073644189327599683/12787183442071232826501504\ 96469745024*c_0101_2^16 + 37703257451003089784707910844395385525171\ /1278718344207123282650150496469745024*c_0101_2^15 - 1595257768047707235939796992961134246445/63935917210356164132507524\ 8234872512*c_0101_2^14 - 8441078304152899114229270949158603063903/1\ 59839793025890410331268812058718128*c_0101_2^13 + 6436137928260038234172033915781606369259/63935917210356164132507524\ 8234872512*c_0101_2^12 + 3465650476841948573655677903218132196241/7\ 9919896512945205165634406029359064*c_0101_2^11 + 19523456411392790890999821125689022391579/1278718344207123282650150\ 496469745024*c_0101_2^10 - 1124447165316016760736838546696804068612\ 3/639359172103561641325075248234872512*c_0101_2^9 - 58978410911174254616581925998694713588057/1278718344207123282650150\ 496469745024*c_0101_2^8 + 2246851372843118064541482008568254815835/\ 319679586051780820662537624117436256*c_0101_2^7 + 25396283249059874083021977304122597197515/6393591721035616413250752\ 48234872512*c_0101_2^6 - 3138286275877446193839038560072871620691/6\ 39359172103561641325075248234872512*c_0101_2^5 - 21562803041656784597744840533356124020591/1278718344207123282650150\ 496469745024*c_0101_2^4 + 26228553588439125798386029906783644057/99\ 89987064118150645704300753669883*c_0101_2^3 + 4447676695003963589672425439932109068403/12787183442071232826501504\ 96469745024*c_0101_2^2 - 738000007005917580909869462862080209465/12\ 78718344207123282650150496469745024*c_0101_2 - 75950275335173733206015177463624356053/3196795860517808206625376241\ 17436256, c_0011_0 - 1, c_0011_1 + 184444199229576357631429604993159/99899870641181506457043007\ 53669883*c_0101_2^22 - 333571231332570139884041916239568/9989987064\ 118150645704300753669883*c_0101_2^21 - 4863975709661959427666834015134265/99899870641181506457043007536698\ 83*c_0101_2^20 + 12728904526333844557575358292537234/99899870641181\ 50645704300753669883*c_0101_2^19 + 40449100275304748189905462296664120/9989987064118150645704300753669\ 883*c_0101_2^18 - 145591450697471171443358726474957404/998998706411\ 8150645704300753669883*c_0101_2^17 - 101041729273380310247682594167804484/998998706411815064570430075366\ 9883*c_0101_2^16 + 657467650763492476558496749286539757/99899870641\ 18150645704300753669883*c_0101_2^15 - 36604589689248737695103827437501811/9989987064118150645704300753669\ 883*c_0101_2^14 - 1312949791971078642616592200868463150/99899870641\ 18150645704300753669883*c_0101_2^13 + 265657300064741346449550831780213717/998998706411815064570430075366\ 9883*c_0101_2^12 + 1226298234377332855556265988625120829/9989987064\ 118150645704300753669883*c_0101_2^11 + 251804177188127582455935274992255558/998998706411815064570430075366\ 9883*c_0101_2^10 - 518295004836411259390197883498656666/99899870641\ 18150645704300753669883*c_0101_2^9 - 1163204454743282486695726074289144700/99899870641181506457043007536\ 69883*c_0101_2^8 + 134409603880523286082699581159184360/99899870641\ 18150645704300753669883*c_0101_2^7 + 1121553811952614671664320698041533253/99899870641181506457043007536\ 69883*c_0101_2^6 - 117898754500729860092143367134657589/99899870641\ 18150645704300753669883*c_0101_2^5 - 467884219586090746672471050651781277/998998706411815064570430075366\ 9883*c_0101_2^4 + 65387513952356547030601236479689457/9989987064118\ 150645704300753669883*c_0101_2^3 + 81324835373618620831017878178601646/9989987064118150645704300753669\ 883*c_0101_2^2 - 10622771637291470378584503522795026/99899870641181\ 50645704300753669883*c_0101_2 + 1073152249430384303290535657835081/\ 9989987064118150645704300753669883, c_0011_4 - 29851605476292833991708124712351333/159839793025890410331268\ 812058718128*c_0101_2^22 + 22028444618644062853603359503602169/1598\ 39793025890410331268812058718128*c_0101_2^21 + 804165820050557649263983974098669139/159839793025890410331268812058\ 718128*c_0101_2^20 - 1184895933818376180958401609586046407/15983979\ 3025890410331268812058718128*c_0101_2^19 - 7660564140619577145729787902732384053/15983979302589041033126881205\ 8718128*c_0101_2^18 + 14869727097676909381496470954123476873/159839\ 793025890410331268812058718128*c_0101_2^17 + 31386254006505813227020691994975734943/1598397930258904103312688120\ 58718128*c_0101_2^16 - 68067182452497751349417107552677085439/15983\ 9793025890410331268812058718128*c_0101_2^15 - 34137337867914199563327030593667024303/7991989651294520516563440602\ 9359064*c_0101_2^14 + 15652014910233437161410787881148683027/199799\ 74128236301291408601507339766*c_0101_2^13 + 53367801599605945546391288561302259281/7991989651294520516563440602\ 9359064*c_0101_2^12 - 4884515364181245341367107886722046607/9989987\ 064118150645704300753669883*c_0101_2^11 - 144379697322319739980140802929515436407/159839793025890410331268812\ 058718128*c_0101_2^10 - 28220257906782724544277983073936071377/7991\ 9896512945205165634406029359064*c_0101_2^9 + 124067678520580861524506447594128694989/159839793025890410331268812\ 058718128*c_0101_2^8 + 27620638791137618804245404002648593509/39959\ 948256472602582817203014679532*c_0101_2^7 - 29043668806441012404924377025809545199/7991989651294520516563440602\ 9359064*c_0101_2^6 - 31703194561416227263194947767903051281/7991989\ 6512945205165634406029359064*c_0101_2^5 + 16545539694915819056976314186985867275/1598397930258904103312688120\ 58718128*c_0101_2^4 + 1044512871436478765412078824146386260/9989987\ 064118150645704300753669883*c_0101_2^3 - 2485820530191459538601859222842195103/15983979302589041033126881205\ 8718128*c_0101_2^2 - 1747939676671300179887253519077736723/15983979\ 3025890410331268812058718128*c_0101_2 + 5604784407417043497733999780238145/39959948256472602582817203014679\ 532, c_0011_5 - 14144935804824966830279036663736219/159839793025890410331268\ 812058718128*c_0101_2^22 + 31395265165702580046586397107261831/1598\ 39793025890410331268812058718128*c_0101_2^21 + 362908462788554183268846355313231133/159839793025890410331268812058\ 718128*c_0101_2^20 - 1122189141856867088334054735448026841/15983979\ 3025890410331268812058718128*c_0101_2^19 - 2726773458886621654886713589339703147/15983979302589041033126881205\ 8718128*c_0101_2^18 + 12266788112293872829269864120636749111/159839\ 793025890410331268812058718128*c_0101_2^17 + 3805936223403750844810048125590709233/15983979302589041033126881205\ 8718128*c_0101_2^16 - 52439979863992241893465790079600812225/159839\ 793025890410331268812058718128*c_0101_2^15 + 8706749703718204315026203765814762607/79919896512945205165634406029\ 359064*c_0101_2^14 + 12353408202886458758641418322168130341/1997997\ 4128236301291408601507339766*c_0101_2^13 - 19603194551804792548131680870964338225/7991989651294520516563440602\ 9359064*c_0101_2^12 - 5959180857020568532272541218621770873/9989987\ 064118150645704300753669883*c_0101_2^11 - 12766721136327969804927788921084935961/1598397930258904103312688120\ 58718128*c_0101_2^10 + 30338167898558496562219130859533366153/79919\ 896512945205165634406029359064*c_0101_2^9 + 91453761866562722444380391681085961619/1598397930258904103312688120\ 58718128*c_0101_2^8 - 8165902513596012339942499502773007577/3995994\ 8256472602582817203014679532*c_0101_2^7 - 44757304118832361245981055833257972657/7991989651294520516563440602\ 9359064*c_0101_2^6 + 6865637473462339536522732127217124385/79919896\ 512945205165634406029359064*c_0101_2^5 + 39852803288855139091487865369859159077/1598397930258904103312688120\ 58718128*c_0101_2^4 - 275313291774395785643274606573848610/99899870\ 64118150645704300753669883*c_0101_2^3 - 8849985248394994318868978442987770497/15983979302589041033126881205\ 8718128*c_0101_2^2 + 725198357428188060039016350651738051/159839793\ 025890410331268812058718128*c_0101_2 + 199098206941046129333784931844570543/399599482564726025828172030146\ 79532, c_0011_6 - 66800864876171288126694315810180/998998706411815064570430075\ 3669883*c_0101_2^22 + 127790425829721239441127457548827/99899870641\ 18150645704300753669883*c_0101_2^21 + 1772293554932972884325572031959748/99899870641181506457043007536698\ 83*c_0101_2^20 - 4806850881769801845231892212796700/998998706411815\ 0645704300753669883*c_0101_2^19 - 148135746758087554163473150207270\ 19/9989987064118150645704300753669883*c_0101_2^18 + 55109052941351597183470005105098289/9989987064118150645704300753669\ 883*c_0101_2^17 + 37571403958322236406305325194287395/9989987064118\ 150645704300753669883*c_0101_2^16 - 253811480935834337988295268530874769/998998706411815064570430075366\ 9883*c_0101_2^15 + 9931281492615146860912138747656814/9989987064118\ 150645704300753669883*c_0101_2^14 + 535803616434777501329493496972490359/998998706411815064570430075366\ 9883*c_0101_2^13 - 90094236531362769849579668479431120/998998706411\ 8150645704300753669883*c_0101_2^12 - 563392558339693693264510426185754551/998998706411815064570430075366\ 9883*c_0101_2^11 - 98573452469749583246966721381261318/998998706411\ 8150645704300753669883*c_0101_2^10 + 285319380243605411827266738863042941/998998706411815064570430075366\ 9883*c_0101_2^9 + 476644266738550617565675335126491211/998998706411\ 8150645704300753669883*c_0101_2^8 - 62523499990277559294011260442913452/9989987064118150645704300753669\ 883*c_0101_2^7 - 506827259301299751817783063214533337/9989987064118\ 150645704300753669883*c_0101_2^6 + 33091324668369766107890472374046760/9989987064118150645704300753669\ 883*c_0101_2^5 + 245041769234062039451161683484243459/9989987064118\ 150645704300753669883*c_0101_2^4 - 21953342789395489653043170195459396/9989987064118150645704300753669\ 883*c_0101_2^3 - 75626127031914786815716576942044434/99899870641181\ 50645704300753669883*c_0101_2^2 + 400575273066067059035300681121671\ 6/9989987064118150645704300753669883*c_0101_2 + 11202026163547459384819105731332595/9989987064118150645704300753669\ 883, c_0101_0 - 151504887428663592389350622207839/19979974128236301291408601\ 507339766*c_0101_2^22 + 285106617181006168642739253828199/199799741\ 28236301291408601507339766*c_0101_2^21 + 3835051108914474515630211884513999/19979974128236301291408601507339\ 766*c_0101_2^20 - 10665316819013134610950623307687929/1997997412823\ 6301291408601507339766*c_0101_2^19 - 28717034755912285184041922992989867/1997997412823630129140860150733\ 9766*c_0101_2^18 + 117045469397956403641349939055377141/19979974128\ 236301291408601507339766*c_0101_2^17 + 38711198459673116951791651420109159/1997997412823630129140860150733\ 9766*c_0101_2^16 - 483448479536892854301910577238700895/19979974128\ 236301291408601507339766*c_0101_2^15 + 108215284116888625702129320589141490/998998706411815064570430075366\ 9883*c_0101_2^14 + 399737934114491206959891943702339842/99899870641\ 18150645704300753669883*c_0101_2^13 - 314454975901499992848652237926837580/998998706411815064570430075366\ 9883*c_0101_2^12 - 262003121852851418863271177531586716/99899870641\ 18150645704300753669883*c_0101_2^11 + 388198790464652373630936569108293977/199799741282363012914086015073\ 39766*c_0101_2^10 + 105391172404039444904487499380614073/9989987064\ 118150645704300753669883*c_0101_2^9 + 311877208784754602013433896634576293/199799741282363012914086015073\ 39766*c_0101_2^8 - 255447131092701772677223426703046271/99899870641\ 18150645704300753669883*c_0101_2^7 - 243364867728194233740087645794713489/998998706411815064570430075366\ 9883*c_0101_2^6 + 326081928598904086097287770920581410/998998706411\ 8150645704300753669883*c_0101_2^5 + 184557939357698713188594335005880025/199799741282363012914086015073\ 39766*c_0101_2^4 - 176258550341448768506396501001884553/99899870641\ 18150645704300753669883*c_0101_2^3 - 14725705856101830948592350403514901/1997997412823630129140860150733\ 9766*c_0101_2^2 + 104152905085862489302330791001545921/199799741282\ 36301291408601507339766*c_0101_2 - 975654982087398742565994367059936/998998706411815064570430075366988\ 3, c_0101_2^23 - c_0101_2^22 - 27*c_0101_2^21 + 47*c_0101_2^20 + 253*c_0101_2^19 - 577*c_0101_2^18 - 983*c_0101_2^17 + 2695*c_0101_2^16 + 1922*c_0101_2^15 - 5408*c_0101_2^14 - 2922*c_0101_2^13 + 4648*c_0101_2^12 + 4875*c_0101_2^11 - 90*c_0101_2^10 - 5825*c_0101_2^9 - 2920*c_0101_2^8 + 4038*c_0101_2^7 + 2386*c_0101_2^6 - 1655*c_0101_2^5 - 908*c_0101_2^4 + 387*c_0101_2^3 + 179*c_0101_2^2 - 40*c_0101_2 - 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB