Magma V2.19-8 Tue Aug 20 2013 16:17:34 on localhost [Seed = 678016240] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1810 geometric_solution 5.47368625 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 1302 0132 2031 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 -1 0 1 -1 0 0 1 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.117563776997 1.284170886644 0 3 2 4 0132 0132 0213 0132 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 0 0 0 0 0 0 0 0.597130090686 0.513313044332 4 1 3 0 1023 0213 3201 0132 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 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.597130090686 0.513313044332 2 1 5 5 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.896951140352 1.216152676722 6 2 1 6 0132 1023 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.519057921540 0.207069736967 3 5 5 3 3201 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.726133480426 0.366717274586 4 4 6 6 0132 2310 2031 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.928586473839 1.185798381933 ==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' : d['c_0101_6'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_2'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_0']), 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : d['c_0011_2'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_2'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0011_2'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : d['c_0011_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_5, c_0101_0, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 55111497966731310621065612065648464230285290/4608571868649039922039\ 46401843551798199191*c_0101_6^24 - 6359281092770988576154802664176523111996075/15361906228830133073464\ 8800614517266066397*c_0101_6^23 + 148259148652186606993461671583969\ 4767049338550/460857186864903992203946401843551798199191*c_0101_6^2\ 2 + 3764060024506070905957459941268751480411524000/4608571868649039\ 92203946401843551798199191*c_0101_6^21 - 3599085447646936868115364932087150460829219529/15361906228830133073\ 4648800614517266066397*c_0101_6^20 - 57026128834804137139506721372637503742797690078/4608571868649039922\ 03946401843551798199191*c_0101_6^19 - 12192677244079913210185138071223412794601896796/4608571868649039922\ 03946401843551798199191*c_0101_6^18 + 321488537113335315699079315512853133460726452629/460857186864903992\ 203946401843551798199191*c_0101_6^17 + 354560492797599916685156347106331975585088573052/460857186864903992\ 203946401843551798199191*c_0101_6^16 - 715289681735814000825677792206713908982950450068/460857186864903992\ 203946401843551798199191*c_0101_6^15 - 1301030384346437023101185306667274750380802344319/46085718686490399\ 2203946401843551798199191*c_0101_6^14 + 450552638330922085587033043947866168348448911485/460857186864903992\ 203946401843551798199191*c_0101_6^13 + 2065035514281689776440653887735306608116269645471/46085718686490399\ 2203946401843551798199191*c_0101_6^12 + 566644624322653923889218228929849431846186710523/460857186864903992\ 203946401843551798199191*c_0101_6^11 - 527495172628111783100704036407247033059602670271/153619062288301330\ 734648800614517266066397*c_0101_6^10 - 339099941776616013393497558679474882077430450904/153619062288301330\ 734648800614517266066397*c_0101_6^9 + 521244504543441700551288923854484238836220077780/460857186864903992\ 203946401843551798199191*c_0101_6^8 + 186431851053207704477129988670194936733348016933/153619062288301330\ 734648800614517266066397*c_0101_6^7 - 11421084663584456742745866896463347749807506043/4608571868649039922\ 03946401843551798199191*c_0101_6^6 - 119682961560863301822512879472708735389688969790/460857186864903992\ 203946401843551798199191*c_0101_6^5 - 9369025074056442698085959850430785405159123331/15361906228830133073\ 4648800614517266066397*c_0101_6^4 + 7534718372007660914252085147847270486482510415/46085718686490399220\ 3946401843551798199191*c_0101_6^3 + 4003065021719336741804114486583981982410594695/46085718686490399220\ 3946401843551798199191*c_0101_6^2 + 180577750320958389670106904673041216116752127/460857186864903992203\ 946401843551798199191*c_0101_6 - 1645412093192796094901106026423400\ 26618949215/460857186864903992203946401843551798199191, c_0011_0 - 1, c_0011_2 + 1913102854566606895793871578559849992168/1491447206682537191\ 598532044801138505499*c_0101_6^24 + 669882591501315303339427351814299600770/149144720668253719159853204\ 4801138505499*c_0101_6^23 - 514914161142802979824971138450231629829\ 70/1491447206682537191598532044801138505499*c_0101_6^22 - 130835266041562257945436031034774057178927/149144720668253719159853\ 2044801138505499*c_0101_6^21 + 375034836905746931413126946879576920\ 985187/1491447206682537191598532044801138505499*c_0101_6^20 + 1981885055738597552221109022444930154555428/14914472066825371915985\ 32044801138505499*c_0101_6^19 + 42347805635900035761702877070399082\ 7963209/1491447206682537191598532044801138505499*c_0101_6^18 - 11178320474462324801615402542859492233752370/1491447206682537191598\ 532044801138505499*c_0101_6^17 - 1232281399489168040660304206797225\ 2861624855/1491447206682537191598532044801138505499*c_0101_6^16 + 24934012193999953956456445520660076929391706/1491447206682537191598\ 532044801138505499*c_0101_6^15 + 4522654025323093930887245560701012\ 3711224576/1491447206682537191598532044801138505499*c_0101_6^14 - 15938175530530890087590787137101650571653919/1491447206682537191598\ 532044801138505499*c_0101_6^13 - 7189569356862186953237717466398173\ 9538980407/1491447206682537191598532044801138505499*c_0101_6^12 - 19217856413352074416301533073019883046103446/1491447206682537191598\ 532044801138505499*c_0101_6^11 + 5539933347784935178015514183662417\ 2864134052/1491447206682537191598532044801138505499*c_0101_6^10 + 34971251201892941862417139879167529473960127/1491447206682537191598\ 532044801138505499*c_0101_6^9 - 18627783310956337009923183455673957\ 227373600/1491447206682537191598532044801138505499*c_0101_6^8 - 19313272863952508650009599521711357834656735/1491447206682537191598\ 532044801138505499*c_0101_6^7 + 69478463712083084392688091397606965\ 4906686/1491447206682537191598532044801138505499*c_0101_6^6 + 4163014338709317783620977089087797980759855/14914472066825371915985\ 32044801138505499*c_0101_6^5 + 894911877255283438893217568322028368\ 338591/1491447206682537191598532044801138505499*c_0101_6^4 - 278256337183124483546955879701753043185157/149144720668253719159853\ 2044801138505499*c_0101_6^3 - 1275214844040062264548698516800544967\ 71009/1491447206682537191598532044801138505499*c_0101_6^2 - 497475545100877946152170688126297104933/149144720668253719159853204\ 4801138505499*c_0101_6 + 5667853297980383509022697331355242395286/1\ 491447206682537191598532044801138505499, c_0011_5 + 11673812196539982046982386662612736479796/149144720668253719\ 1598532044801138505499*c_0101_6^24 + 4241021012511049924780625008606522170858/14914472066825371915985320\ 44801138505499*c_0101_6^23 - 31372263082854671207631747203427912428\ 3519/1491447206682537191598532044801138505499*c_0101_6^22 - 802661308058176271705301907125158170846919/149144720668253719159853\ 2044801138505499*c_0101_6^21 + 226683528215127056745193975004954295\ 0386971/1491447206682537191598532044801138505499*c_0101_6^20 + 12102802338122665592443122939044356935120937/1491447206682537191598\ 532044801138505499*c_0101_6^19 + 2837336506800227657984354700773211\ 229086989/1491447206682537191598532044801138505499*c_0101_6^18 - 67815310889223153822913715227940642361195609/1491447206682537191598\ 532044801138505499*c_0101_6^17 - 7622722265181271147469678982708200\ 5591525546/1491447206682537191598532044801138505499*c_0101_6^16 + 148930356607123508814393814668480712421410952/149144720668253719159\ 8532044801138505499*c_0101_6^15 + 276843346294226585549223862100472\ 513881700530/1491447206682537191598532044801138505499*c_0101_6^14 - 88206851617694128361434418095866810973867254/1491447206682537191598\ 532044801138505499*c_0101_6^13 - 4344688791269282162234036487654194\ 74435992104/1491447206682537191598532044801138505499*c_0101_6^12 - 128266976941277283185262930490193734373461343/149144720668253719159\ 8532044801138505499*c_0101_6^11 + 326869864730118296726944324123585\ 490013733682/1491447206682537191598532044801138505499*c_0101_6^10 + 218272950329790693212839362170698803634348645/149144720668253719159\ 8532044801138505499*c_0101_6^9 - 1032751106877119142117375913823084\ 16698280212/1491447206682537191598532044801138505499*c_0101_6^8 - 116900513139623665067160561103575725615192265/149144720668253719159\ 8532044801138505499*c_0101_6^7 + 2769683176424589144722871515960439\ 83156380/1491447206682537191598532044801138505499*c_0101_6^6 + 24023371137367213065437940270436458812183144/1491447206682537191598\ 532044801138505499*c_0101_6^5 + 58920927152403252660185105070388201\ 63325735/1491447206682537191598532044801138505499*c_0101_6^4 - 1332836676589159798100995411008035174605580/14914472066825371915985\ 32044801138505499*c_0101_6^3 - 767568993767075488495891160975000590\ 202731/1491447206682537191598532044801138505499*c_0101_6^2 - 40835643043340269849846082288080745491393/1491447206682537191598532\ 044801138505499*c_0101_6 + 3114477268447300187037734163973132463783\ 6/1491447206682537191598532044801138505499, c_0101_0 - 3592950428736492979167883864738131235858/1491447206682537191\ 598532044801138505499*c_0101_6^24 - 1179466267858181541019411084798034127965/14914472066825371915985320\ 44801138505499*c_0101_6^23 + 96556598254555043359639217509471892317\ 461/1491447206682537191598532044801138505499*c_0101_6^22 + 243756671438798359748538420006387059965161/149144720668253719159853\ 2044801138505499*c_0101_6^21 - 705128126481312756882552770922663277\ 501603/1491447206682537191598532044801138505499*c_0101_6^20 - 3700329003880355740796446696475802612130469/14914472066825371915985\ 32044801138505499*c_0101_6^19 - 75756078388093049276670705156422816\ 2340834/1491447206682537191598532044801138505499*c_0101_6^18 + 20879195843094653351764548015300421984244550/1491447206682537191598\ 532044801138505499*c_0101_6^17 + 2281634000614906722639059450600238\ 9047479429/1491447206682537191598532044801138505499*c_0101_6^16 - 46418648059210346804991808254619173308584817/1491447206682537191598\ 532044801138505499*c_0101_6^15 - 8388803152717305232542369619691859\ 5054552283/1491447206682537191598532044801138505499*c_0101_6^14 + 29204609669773669164560043254508170468716591/1491447206682537191598\ 532044801138505499*c_0101_6^13 + 1330714129274707260078644825007732\ 79457209982/1491447206682537191598532044801138505499*c_0101_6^12 + 36648403222446995292979702282236154190612103/1491447206682537191598\ 532044801138505499*c_0101_6^11 - 1015733198189402325362707411110390\ 33360247522/1491447206682537191598532044801138505499*c_0101_6^10 - 65655296897448379710872040494596560712712267/1491447206682537191598\ 532044801138505499*c_0101_6^9 + 32961953918083453237330450930571958\ 224291581/1491447206682537191598532044801138505499*c_0101_6^8 + 35946367813644514901172637710367413636515975/1491447206682537191598\ 532044801138505499*c_0101_6^7 - 39954852208096908430466302852427399\ 1782813/1491447206682537191598532044801138505499*c_0101_6^6 - 7598546068284953838404503296621385535783334/14914472066825371915985\ 32044801138505499*c_0101_6^5 - 185374133242209446645322045012464846\ 0104947/1491447206682537191598532044801138505499*c_0101_6^4 + 449137727178799525442194617965507100560108/149144720668253719159853\ 2044801138505499*c_0101_6^3 + 2518798286031501781477864852734989745\ 19474/1491447206682537191598532044801138505499*c_0101_6^2 + 11258662189782470528156282835896906642077/1491447206682537191598532\ 044801138505499*c_0101_6 - 9651936016266367223671336747841967975381\ /1491447206682537191598532044801138505499, c_0101_2 + 9230280368382297519475997214083256488712/1491447206682537191\ 598532044801138505499*c_0101_6^24 + 2923067837235177675828456512923831635088/14914472066825371915985320\ 44801138505499*c_0101_6^23 - 24820046463748193968876993247154267787\ 2825/1491447206682537191598532044801138505499*c_0101_6^22 - 623180942366978145915125445240641117510454/149144720668253719159853\ 2044801138505499*c_0101_6^21 + 182160941748126477578243589870287633\ 8362372/1491447206682537191598532044801138505499*c_0101_6^20 + 9487751264111356869812137002170973983476255/14914472066825371915985\ 32044801138505499*c_0101_6^19 + 18059243620921000003637952451429217\ 28691100/1491447206682537191598532044801138505499*c_0101_6^18 - 53732076074494638424803227200622106095732636/1491447206682537191598\ 532044801138505499*c_0101_6^17 - 5786585260975187498273067535477391\ 5300513695/1491447206682537191598532044801138505499*c_0101_6^16 + 120481304316710588774482169135870512564974225/149144720668253719159\ 8532044801138505499*c_0101_6^15 + 213863576615959248261544798555202\ 736784955041/1491447206682537191598532044801138505499*c_0101_6^14 - 79236817951862002635957038294961832415054518/1491447206682537191598\ 532044801138505499*c_0101_6^13 - 3411204644491809144073229594155329\ 47450686024/1491447206682537191598532044801138505499*c_0101_6^12 - 87443738275729748127373360389189234051420936/1491447206682537191598\ 532044801138505499*c_0101_6^11 + 2633593278124360103474823511536989\ 11046440565/1491447206682537191598532044801138505499*c_0101_6^10 + 163226344543237240858658633532879880181997875/149144720668253719159\ 8532044801138505499*c_0101_6^9 - 8858422372920163747328625063000199\ 2897805573/1491447206682537191598532044801138505499*c_0101_6^8 - 90292870861573509155547008964659886765127486/1491447206682537191598\ 532044801138505499*c_0101_6^7 + 32855896370605787748124212596967672\ 29570379/1491447206682537191598532044801138505499*c_0101_6^6 + 19381341137436525771199203421756208171810718/1491447206682537191598\ 532044801138505499*c_0101_6^5 + 42409464987579625237366447251252306\ 35170263/1491447206682537191598532044801138505499*c_0101_6^4 - 1255590830171247992241863783137102866897416/14914472066825371915985\ 32044801138505499*c_0101_6^3 - 611344206571464813784341354894173372\ 291979/1491447206682537191598532044801138505499*c_0101_6^2 - 18862752582804844672565601984668579821560/1491447206682537191598532\ 044801138505499*c_0101_6 + 2764701740403276362390049500332027688615\ 7/1491447206682537191598532044801138505499, c_0101_3 + 7704587184342657717158371082691237627879/1491447206682537191\ 598532044801138505499*c_0101_6^24 + 2710372978680545588263222143017231946000/14914472066825371915985320\ 44801138505499*c_0101_6^23 - 20697843246258861725116028488196564678\ 9911/1491447206682537191598532044801138505499*c_0101_6^22 - 527357901098056594116739702492650788616137/149144720668253719159853\ 2044801138505499*c_0101_6^21 + 149929333755434971472126216504094388\ 5239024/1491447206682537191598532044801138505499*c_0101_6^20 + 7963974017038557982385656082226460117240553/14914472066825371915985\ 32044801138505499*c_0101_6^19 + 18035701573587579499800592586571971\ 02577915/1491447206682537191598532044801138505499*c_0101_6^18 - 44674030093381795825706853571862539060853339/1491447206682537191598\ 532044801138505499*c_0101_6^17 - 4979952032538732063954064336450301\ 4576840634/1491447206682537191598532044801138505499*c_0101_6^16 + 98244355852608955543631586325827658816828720/1491447206682537191598\ 532044801138505499*c_0101_6^15 + 1810609585534630689028725924672560\ 48196489533/1491447206682537191598532044801138505499*c_0101_6^14 - 58772677455151324290411457999894864713092340/1491447206682537191598\ 532044801138505499*c_0101_6^13 - 2839320525836877911370414783705769\ 80055705511/1491447206682537191598532044801138505499*c_0101_6^12 - 82820013938804552525552987019994314160357368/1491447206682537191598\ 532044801138505499*c_0101_6^11 + 2130045725425966597073023618968160\ 90204814284/1491447206682537191598532044801138505499*c_0101_6^10 + 141422346209426563673976620572817025019653124/149144720668253719159\ 8532044801138505499*c_0101_6^9 - 6663517716702178453297234556851854\ 9022315263/1491447206682537191598532044801138505499*c_0101_6^8 - 75148184976001406882782367364690105204208132/1491447206682537191598\ 532044801138505499*c_0101_6^7 - 26030682924780631273467437652338669\ 9207218/1491447206682537191598532044801138505499*c_0101_6^6 + 15065314221626105752438769609194481714624291/1491447206682537191598\ 532044801138505499*c_0101_6^5 + 38989901313396334950843102026816020\ 85025190/1491447206682537191598532044801138505499*c_0101_6^4 - 745192875091757314044204726383240042442415/149144720668253719159853\ 2044801138505499*c_0101_6^3 - 4736313131674936934514024049605086769\ 95249/1491447206682537191598532044801138505499*c_0101_6^2 - 33253377969676370122003636038171575966926/1491447206682537191598532\ 044801138505499*c_0101_6 + 1740130337087798572070509216583363724629\ 1/1491447206682537191598532044801138505499, c_0101_6^25 - 27*c_0101_6^23 - 59*c_0101_6^22 + 219*c_0101_6^21 + 966*c_0101_6^20 - 132*c_0101_6^19 - 5893*c_0101_6^18 - 4425*c_0101_6^17 + 15097*c_0101_6^16 + 19085*c_0101_6^15 - 16069*c_0101_6^14 - 34443*c_0101_6^13 + 2370*c_0101_6^12 + 31894*c_0101_6^11 + 8671*c_0101_6^10 - 15513*c_0101_6^9 - 6878*c_0101_6^8 + 3583*c_0101_6^7 + 2077*c_0101_6^6 - 221*c_0101_6^5 - 304*c_0101_6^4 - 26*c_0101_6^3 + 21*c_0101_6^2 + 4*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB