Magma V2.19-8 Tue Aug 20 2013 16:17:14 on localhost [Seed = 3650635015] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1466 geometric_solution 5.28609516 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 3201 0132 0132 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 0 0 0 0 0 0 0 0 0 0.245448093548 0.421910823456 0 1 0 1 0132 2310 2310 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 -1.240747056408 0.713621803606 4 3 5 0 0132 3012 0132 0132 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 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.803227216378 1.138053428992 2 4 0 5 1230 0132 0132 2310 0 0 0 0 0 0 1 -1 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 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.803227216378 1.138053428992 2 3 4 4 0132 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 -1 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 0 0 0 0.904933102042 1.023138902734 3 6 6 2 3201 0132 3201 0132 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 0 0 0 1 0 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.034420852354 0.685309994582 5 5 6 6 2310 0132 1230 3012 0 0 0 0 0 -1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.151626756687 0.631941633107 ==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' : 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_0011_2'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0101_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0011_5'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_2']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0011_2']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0011_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0011_2'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0011_2']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 5219117999495315302457292549561109654871513136/85057676790254849891\ 99755581176006416667221*c_0101_6^22 - 1372277793807822436474592490833563610852116200/85057676790254849891\ 99755581176006416667221*c_0101_6^21 - 55642247771915121471347534772152009111754163624/8505767679025484989\ 199755581176006416667221*c_0101_6^20 - 67555424421442548444373550049824799020037761526/8505767679025484989\ 199755581176006416667221*c_0101_6^19 + 265884818477008964460572115759335274960144070253/850576767902548498\ 9199755581176006416667221*c_0101_6^18 + 725532730593844130138148789003434353256629385101/850576767902548498\ 9199755581176006416667221*c_0101_6^17 - 967796367604781980972121980347779259119704347241/850576767902548498\ 9199755581176006416667221*c_0101_6^16 - 1562557468994999994272598448030532388155519193107/85057676790254849\ 89199755581176006416667221*c_0101_6^15 + 2243295699262687325202453380881822577572048740362/85057676790254849\ 89199755581176006416667221*c_0101_6^14 - 695541501181668717824336993852416381649583190324/850576767902548498\ 9199755581176006416667221*c_0101_6^13 - 3379576511282461767223000329126607562424534273178/85057676790254849\ 89199755581176006416667221*c_0101_6^12 - 85991172341252695368738150956378898792448407650/8505767679025484989\ 199755581176006416667221*c_0101_6^11 + 7420621244171241616104585451950485470807895587826/85057676790254849\ 89199755581176006416667221*c_0101_6^10 - 7234806139338677613869519823252940133845470403668/85057676790254849\ 89199755581176006416667221*c_0101_6^9 + 4050669338991564288718517392183922324117311780079/85057676790254849\ 89199755581176006416667221*c_0101_6^8 + 1466312621203393408266001461782224645944570441400/85057676790254849\ 89199755581176006416667221*c_0101_6^7 + 1338440421724779549071640309163731428064498672040/85057676790254849\ 89199755581176006416667221*c_0101_6^6 - 2129907285452887042978757683011750335365195110456/85057676790254849\ 89199755581176006416667221*c_0101_6^5 - 377697346608626420992849016856952452178918862033/850576767902548498\ 9199755581176006416667221*c_0101_6^4 + 444950967669932850654794681316028454884548229487/850576767902548498\ 9199755581176006416667221*c_0101_6^3 - 28573350386014655199464654718947042212453222379/8505767679025484989\ 199755581176006416667221*c_0101_6^2 - 23048855977412312236331882839029957324655611255/8505767679025484989\ 199755581176006416667221*c_0101_6 + 4007152151675843613524196504542921458081203927/85057676790254849891\ 99755581176006416667221, c_0011_0 - 1, c_0011_2 + 133446827276197955507313402064856879320843984/85057676790254\ 84989199755581176006416667221*c_0101_6^22 - 42949448394824459752229719725588269321654140/8505767679025484989199\ 755581176006416667221*c_0101_6^21 - 1421777580060875045528100475476623076480416512/85057676790254849891\ 99755581176006416667221*c_0101_6^20 - 1644050640526718041655146436823798417794985839/85057676790254849891\ 99755581176006416667221*c_0101_6^19 + 6912383252414968737156824085806675578907635136/85057676790254849891\ 99755581176006416667221*c_0101_6^18 + 18174240197276462155772423805970862442898253916/8505767679025484989\ 199755581176006416667221*c_0101_6^17 - 25884230363427228697556470436857636823201156076/8505767679025484989\ 199755581176006416667221*c_0101_6^16 - 38694139306406815079901627322065739198640734302/8505767679025484989\ 199755581176006416667221*c_0101_6^15 + 59801190787163468319289206541663014901365904359/8505767679025484989\ 199755581176006416667221*c_0101_6^14 - 20682719138383308510499446123768590559047985742/8505767679025484989\ 199755581176006416667221*c_0101_6^13 - 85594583476031049005745287699969028681528085176/8505767679025484989\ 199755581176006416667221*c_0101_6^12 + 2723476787764914838351889002510491464820049321/85057676790254849891\ 99755581176006416667221*c_0101_6^11 + 190706137284830993350341793458475527150437093131/850576767902548498\ 9199755581176006416667221*c_0101_6^10 - 195625926663016543158638945153405828037537909943/850576767902548498\ 9199755581176006416667221*c_0101_6^9 + 112941632072408185678824408467333176636172106643/850576767902548498\ 9199755581176006416667221*c_0101_6^8 + 31820525900660609798266642502253856810988546502/8505767679025484989\ 199755581176006416667221*c_0101_6^7 + 32187772381421668323259540903890635917545076566/8505767679025484989\ 199755581176006416667221*c_0101_6^6 - 57475093989860863952945482857734195621474388938/8505767679025484989\ 199755581176006416667221*c_0101_6^5 - 6902747189762667056577338648562708131042787291/85057676790254849891\ 99755581176006416667221*c_0101_6^4 + 12078807763961624533540532451221616995128596600/8505767679025484989\ 199755581176006416667221*c_0101_6^3 - 1009148555647647109247825155258830405034342518/85057676790254849891\ 99755581176006416667221*c_0101_6^2 - 585143528144024914926989247211457585494028627/850576767902548498919\ 9755581176006416667221*c_0101_6 + 119094670860463906042788642123775\ 843880225716/8505767679025484989199755581176006416667221, c_0011_5 - 142356267316053492780096437990114411763042372/85057676790254\ 84989199755581176006416667221*c_0101_6^22 + 44497794650096239362842500613508917106132236/8505767679025484989199\ 755581176006416667221*c_0101_6^21 + 1516984097408821445066895776643914237636653131/85057676790254849891\ 99755581176006416667221*c_0101_6^20 + 1767680198531259704401962949848860745786037778/85057676790254849891\ 99755581176006416667221*c_0101_6^19 - 7356090187387938164933863698297015268781013632/85057676790254849891\ 99755581176006416667221*c_0101_6^18 - 19451764010997867297107739145875269227545409533/8505767679025484989\ 199755581176006416667221*c_0101_6^17 + 27428723288089284859499644832150806877892578837/8505767679025484989\ 199755581176006416667221*c_0101_6^16 + 41503146274663968558227359084403285763624211167/8505767679025484989\ 199755581176006416667221*c_0101_6^15 - 63416987762818423524620421293138779962298191374/8505767679025484989\ 199755581176006416667221*c_0101_6^14 + 21550219371560118212133290854925527659656022061/8505767679025484989\ 199755581176006416667221*c_0101_6^13 + 91517870670225038400596235013290678925143715299/8505767679025484989\ 199755581176006416667221*c_0101_6^12 - 2121062743347897889709027710648178771025558339/85057676790254849891\ 99755581176006416667221*c_0101_6^11 - 203339503899349247621482546040911758336935798101/850576767902548498\ 9199755581176006416667221*c_0101_6^10 + 206935558209064739892059136086354671907485474090/850576767902548498\ 9199755581176006416667221*c_0101_6^9 - 118722805264473611959448280282515921977134583648/850576767902548498\ 9199755581176006416667221*c_0101_6^8 - 35151542282259958687215063066726685779428218300/8505767679025484989\ 199755581176006416667221*c_0101_6^7 - 34480988375344549489019548807811382190148234881/8505767679025484989\ 199755581176006416667221*c_0101_6^6 + 60756616981755477223708184353470618376252007546/8505767679025484989\ 199755581176006416667221*c_0101_6^5 + 7871748462083350937928317171170078863507889434/85057676790254849891\ 99755581176006416667221*c_0101_6^4 - 12856406920343034439826451778324792909791193746/8505767679025484989\ 199755581176006416667221*c_0101_6^3 + 1034651375605029162355363040923595326383721008/85057676790254849891\ 99755581176006416667221*c_0101_6^2 + 632032535431766961494192551319388342261751013/850576767902548498919\ 9755581176006416667221*c_0101_6 - 127178008494681165835517401786955\ 847020353625/8505767679025484989199755581176006416667221, c_0101_0 - 68198660490985743897090267657387066415161852/850576767902548\ 4989199755581176006416667221*c_0101_6^22 + 19263355362707312354878899334706057801468608/8505767679025484989199\ 755581176006416667221*c_0101_6^21 + 726042386988830682527996997488655230393072637/850576767902548498919\ 9755581176006416667221*c_0101_6^20 + 869094486247808451176849127491476697184875165/850576767902548498919\ 9755581176006416667221*c_0101_6^19 - 3484345119827366423865064411043125399373054739/85057676790254849891\ 99755581176006416667221*c_0101_6^18 - 9407583935729904815902448550439730108464591340/85057676790254849891\ 99755581176006416667221*c_0101_6^17 + 12791894819433777221985662609265488928117217889/8505767679025484989\ 199755581176006416667221*c_0101_6^16 + 20093239071735618603183740399114193701400528597/8505767679025484989\ 199755581176006416667221*c_0101_6^15 - 29536470014061114356023311593479783386389529668/8505767679025484989\ 199755581176006416667221*c_0101_6^14 + 9800413835491996512678278462026722801230934344/85057676790254849891\ 99755581176006416667221*c_0101_6^13 + 43592858716286073892953478037500995696526825714/8505767679025484989\ 199755581176006416667221*c_0101_6^12 + 504922407480754458153279227631464900404469324/850576767902548498919\ 9755581176006416667221*c_0101_6^11 - 96615114880268983409591990842551907544104920451/8505767679025484989\ 199755581176006416667221*c_0101_6^10 + 96236775027933388808257619998664508618992664186/8505767679025484989\ 199755581176006416667221*c_0101_6^9 - 55759464202667075099685003250781422805097338909/8505767679025484989\ 199755581176006416667221*c_0101_6^8 - 16698027948025475067447802998299258150950073317/8505767679025484989\ 199755581176006416667221*c_0101_6^7 - 18185367296563719073817044634098887593193093666/8505767679025484989\ 199755581176006416667221*c_0101_6^6 + 28369218872185334552634530574532122280679800083/8505767679025484989\ 199755581176006416667221*c_0101_6^5 + 4210019315063805663320129217459786372959937402/85057676790254849891\ 99755581176006416667221*c_0101_6^4 - 5487737460884037960770250374979403176937659462/85057676790254849891\ 99755581176006416667221*c_0101_6^3 + 394317007577306392870215776781279699145292192/850576767902548498919\ 9755581176006416667221*c_0101_6^2 + 247558893012953961887136878985803627365168305/850576767902548498919\ 9755581176006416667221*c_0101_6 - 502635908610086195999115773904518\ 90109136597/8505767679025484989199755581176006416667221, c_0101_1 + 115034832322465916946755449104509927251456280/85057676790254\ 84989199755581176006416667221*c_0101_6^22 - 35901035921435505572074183327732668576838264/8505767679025484989199\ 755581176006416667221*c_0101_6^21 - 1227091810579787049368707935273268199891241658/85057676790254849891\ 99755581176006416667221*c_0101_6^20 - 1428953150844884947558083383299430094556367412/85057676790254849891\ 99755581176006416667221*c_0101_6^19 + 5956717967201678516036046884010152553923501126/85057676790254849891\ 99755581176006416667221*c_0101_6^18 + 15740132163054983463511466455708403806409129965/8505767679025484989\ 199755581176006416667221*c_0101_6^17 - 22215428555439542499465471797666654409416492407/8505767679025484989\ 199755581176006416667221*c_0101_6^16 - 33731831483647538282715655069955459573203055517/8505767679025484989\ 199755581176006416667221*c_0101_6^15 + 51418578188040936118641854471491422233888351605/8505767679025484989\ 199755581176006416667221*c_0101_6^14 - 16985487027568843380139782622540263227845309510/8505767679025484989\ 199755581176006416667221*c_0101_6^13 - 74401267825787642584244275159733079020369369536/8505767679025484989\ 199755581176006416667221*c_0101_6^12 + 1761040256862366655020323666607227494652744550/85057676790254849891\ 99755581176006416667221*c_0101_6^11 + 165110679084222673938461096684905979251017959042/850576767902548498\ 9199755581176006416667221*c_0101_6^10 - 166944313419545353113190072703056601496221993786/850576767902548498\ 9199755581176006416667221*c_0101_6^9 + 94165942017143262177088840777826090357392814100/8505767679025484989\ 199755581176006416667221*c_0101_6^8 + 29807218995101610938520036987511438179324916029/8505767679025484989\ 199755581176006416667221*c_0101_6^7 + 27137169657870649232947546796026003655581683186/8505767679025484989\ 199755581176006416667221*c_0101_6^6 - 49503265573924864865649143270784446683061308596/8505767679025484989\ 199755581176006416667221*c_0101_6^5 - 6826090411606042092520171902946824607184834815/85057676790254849891\ 99755581176006416667221*c_0101_6^4 + 10792419509047714972871260754630833005199243762/8505767679025484989\ 199755581176006416667221*c_0101_6^3 - 667859686504585611336171240884837382121757946/850576767902548498919\ 9755581176006416667221*c_0101_6^2 - 553690633324493297823079978033728024550780002/850576767902548498919\ 9755581176006416667221*c_0101_6 + 964246641955558181677826426986254\ 97579798748/8505767679025484989199755581176006416667221, c_0101_2 + 20456563694800198948765046872509942983731960/850576767902548\ 4989199755581176006416667221*c_0101_6^22 - 6795578723786372378255863407194387887139316/85057676790254849891997\ 55581176006416667221*c_0101_6^21 - 217551434107034723131481712203739155701897778/850576767902548498919\ 9755581176006416667221*c_0101_6^20 - 250019409224267845436574294427817218944304559/850576767902548498919\ 9755581176006416667221*c_0101_6^19 + 1058750330229023821055990709352993423049233607/85057676790254849891\ 99755581176006416667221*c_0101_6^18 + 2772486437544496016216159636496919982928638002/85057676790254849891\ 99755581176006416667221*c_0101_6^17 - 3977678827229064745065823838903364160220763899/85057676790254849891\ 99755581176006416667221*c_0101_6^16 - 5852536673283469259580541621558159364885126058/85057676790254849891\ 99755581176006416667221*c_0101_6^15 + 9144506191994405159091255737429841785913734135/85057676790254849891\ 99755581176006416667221*c_0101_6^14 - 3336534468785826169816653647441134986830426222/85057676790254849891\ 99755581176006416667221*c_0101_6^13 - 12901295310392238328619971336714813174953646483/8505767679025484989\ 199755581176006416667221*c_0101_6^12 + 446854193867132530379327593394966228551892783/850576767902548498919\ 9755581176006416667221*c_0101_6^11 + 29047920857221201867983942990427414695094628627/8505767679025484989\ 199755581176006416667221*c_0101_6^10 - 30201174156940109545745899525071788945063916205/8505767679025484989\ 199755581176006416667221*c_0101_6^9 + 18102766444742813449933086517787458341345916022/8505767679025484989\ 199755581176006416667221*c_0101_6^8 + 4025508758578257470112257387710593032135112637/85057676790254849891\ 99755581176006416667221*c_0101_6^7 + 5364244016510733753298270124186037285531906938/85057676790254849891\ 99755581176006416667221*c_0101_6^6 - 8937232234938493074385482567928135396024621903/85057676790254849891\ 99755581176006416667221*c_0101_6^5 - 894991456590724436252565174536061409051632153/850576767902548498919\ 9755581176006416667221*c_0101_6^4 + 1647153435606427721157094061914588011828157376/85057676790254849891\ 99755581176006416667221*c_0101_6^3 - 132201822593313348650851774438232596764775078/850576767902548498919\ 9755581176006416667221*c_0101_6^2 - 58046871593333264922580808880420705236909326/8505767679025484989199\ 755581176006416667221*c_0101_6 + 1453030583797852782874366890532429\ 4526223280/8505767679025484989199755581176006416667221, c_0101_6^23 - 43/4*c_0101_6^21 - 63/4*c_0101_6^20 + 191/4*c_0101_6^19 + 611/4*c_0101_6^18 - 599/4*c_0101_6^17 - 1405/4*c_0101_6^16 + 707/2*c_0101_6^15 - 53/4*c_0101_6^14 - 2753/4*c_0101_6^13 - 747/4*c_0101_6^12 + 2861/2*c_0101_6^11 - 4027/4*c_0101_6^10 + 771/2*c_0101_6^9 + 2005/4*c_0101_6^8 + 323*c_0101_6^7 - 1401/4*c_0101_6^6 - 188*c_0101_6^5 + 71*c_0101_6^4 + 83/4*c_0101_6^3 - 25/4*c_0101_6^2 - 1/2*c_0101_6 + 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB