Magma V2.19-8 Tue Aug 20 2013 16:14:52 on localhost [Seed = 2227509484] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s848 geometric_solution 5.45726582 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 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 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.283276348673 0.245346879786 2 0 3 0 0132 2310 0132 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 -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.699668848667 1.501633072858 1 4 5 3 0132 0132 0132 1230 0 0 0 0 0 1 -1 0 0 0 0 0 0 -1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.589615322074 1.107771659011 2 5 4 1 3012 3201 3201 0132 0 0 0 0 0 0 0 0 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 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.589615322074 1.107771659011 3 2 4 4 2310 0132 1230 3012 0 0 0 0 0 -1 0 1 -1 0 1 0 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 0 0 0 -1 0 1 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.259777000258 0.560099054408 5 5 3 2 1302 2031 2310 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.537756818341 0.956503726697 ==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_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' : 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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0101_3']), 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_0']), 'c_1001_4' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0011_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_5, c_0101_0, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 24499101130958902444174119133946836714712/4568709655843851235970241\ 60839537899217*c_0101_3^23 + 38950392937818152526754500063879403804\ 9133/913741931168770247194048321679075798434*c_0101_3^22 + 459443995793357379101899165993444921487913/913741931168770247194048\ 321679075798434*c_0101_3^21 - 5508470996549838782694283268330253647\ 207933/913741931168770247194048321679075798434*c_0101_3^20 + 7717502190159867104267412907501797979003361/91374193116877024719404\ 8321679075798434*c_0101_3^19 + 138353704401433157555715997380862112\ 34627609/456870965584385123597024160839537899217*c_0101_3^18 - 6795929715866211066882376938595507808108145/83067448288070022472186\ 211061734163494*c_0101_3^17 - 6851401860460369972461284872360283677\ 7813934/456870965584385123597024160839537899217*c_0101_3^16 + 142814106878257649599399956373301137207760015/913741931168770247194\ 048321679075798434*c_0101_3^15 + 1536631544695270804941906351058341\ 79655292328/456870965584385123597024160839537899217*c_0101_3^14 - 5989879350453014132192456418286664915573263/45687096558438512359702\ 4160839537899217*c_0101_3^13 + 954586232345241818200248952279394822\ 2555653/83067448288070022472186211061734163494*c_0101_3^12 + 659459785635954237283792901748832735774097512/456870965584385123597\ 024160839537899217*c_0101_3^11 + 1192800963881825528542658448892254\ 943565104599/456870965584385123597024160839537899217*c_0101_3^10 + 919217286861317873430062346068920783242660529/456870965584385123597\ 024160839537899217*c_0101_3^9 + 34268511241686755890036078772309615\ 103502307/83067448288070022472186211061734163494*c_0101_3^8 - 175439903705080877992506996092210662914166380/456870965584385123597\ 024160839537899217*c_0101_3^7 - 93444366141813663515444583400028457\ 78898084/41533724144035011236093105530867081747*c_0101_3^6 + 700474515945016189869928921518990143974972/456870965584385123597024\ 160839537899217*c_0101_3^5 + 17091656541174073382289251484015270035\ 415527/913741931168770247194048321679075798434*c_0101_3^4 - 1865794813782833084636217434146913827986871/91374193116877024719404\ 8321679075798434*c_0101_3^3 - 1408703181665951042528211419081387122\ 336257/913741931168770247194048321679075798434*c_0101_3^2 + 31019310347202950186814521234901837637827/8306744828807002247218621\ 1061734163494*c_0101_3 + 111893995301188456054625269060719173973473\ /913741931168770247194048321679075798434, c_0011_0 - 1, c_0011_1 - 217755791492447479859127124925798111187/41533724144035011236\ 093105530867081747*c_0101_3^23 + 1909997673063279359996131530024004\ 992113/41533724144035011236093105530867081747*c_0101_3^22 + 478577291540069120323967876865104946774/415337241440350112360931055\ 30867081747*c_0101_3^21 - 24904011955167268852191344819709480244466\ /41533724144035011236093105530867081747*c_0101_3^20 + 54494203915195876868860603446345333842172/4153372414403501123609310\ 5530867081747*c_0101_3^19 + 790066220338468464913439852365709832518\ 95/41533724144035011236093105530867081747*c_0101_3^18 - 395705398384370655162585993784596744268870/415337241440350112360931\ 05530867081747*c_0101_3^17 - 29459087519161812955003238341358049805\ 5090/41533724144035011236093105530867081747*c_0101_3^16 + 883336240790989712041507351982552505786039/415337241440350112360931\ 05530867081747*c_0101_3^15 + 70044800142889719547731765550884064345\ 9277/41533724144035011236093105530867081747*c_0101_3^14 - 643545319007060453454976405812350743213191/415337241440350112360931\ 05530867081747*c_0101_3^13 + 86528659773275547529919720031642177520\ 5171/41533724144035011236093105530867081747*c_0101_3^12 + 5133824382120827771884410050939428703886062/41533724144035011236093\ 105530867081747*c_0101_3^11 + 6434444534466523537609978533879461799\ 696607/41533724144035011236093105530867081747*c_0101_3^10 + 2570367787056805549456643240841350329372766/41533724144035011236093\ 105530867081747*c_0101_3^9 - 12036940611032603882804799534184045551\ 12519/41533724144035011236093105530867081747*c_0101_3^8 - 1234865281998827517001342179970166425027663/41533724144035011236093\ 105530867081747*c_0101_3^7 - 26319558908850319022279518587557000427\ 651/41533724144035011236093105530867081747*c_0101_3^6 + 182049634330304797667642985518937614136366/415337241440350112360931\ 05530867081747*c_0101_3^5 - 366579415032399088440840028667651362586\ 0/41533724144035011236093105530867081747*c_0101_3^4 - 19416595256435228259138039662087911785553/4153372414403501123609310\ 5530867081747*c_0101_3^3 + 3343534096475295279626856227389725806550\ /41533724144035011236093105530867081747*c_0101_3^2 + 1422830311982547550265606151716708094667/41533724144035011236093105\ 530867081747*c_0101_3 - 296905727670225840163215082306682965261/415\ 33724144035011236093105530867081747, c_0011_3 + 55063149189172172220462549188238256059/415337241440350112360\ 93105530867081747*c_0101_3^23 - 48676953160299779328578291268609400\ 7590/41533724144035011236093105530867081747*c_0101_3^22 - 94838080662545279051429165793551343797/4153372414403501123609310553\ 0867081747*c_0101_3^21 + 6369754509210106313167256935914233716125/4\ 1533724144035011236093105530867081747*c_0101_3^20 - 14216699938744676696215613724520552035946/4153372414403501123609310\ 5530867081747*c_0101_3^19 - 198075288584963063308375089107813677476\ 40/41533724144035011236093105530867081747*c_0101_3^18 + 103386441518155667930963379664329364021087/415337241440350112360931\ 05530867081747*c_0101_3^17 + 69328052814327543107033994289947035939\ 204/41533724144035011236093105530867081747*c_0101_3^16 - 240705707111651523514237739177788186614799/415337241440350112360931\ 05530867081747*c_0101_3^15 - 16795478185249830696375364108976363268\ 3008/41533724144035011236093105530867081747*c_0101_3^14 + 198712020534439087270323333306326689333231/415337241440350112360931\ 05530867081747*c_0101_3^13 - 21345524825293514618465003074563668160\ 1680/41533724144035011236093105530867081747*c_0101_3^12 - 1294757795459372781804165736755747324050417/41533724144035011236093\ 105530867081747*c_0101_3^11 - 1503630028181379229562634502177738201\ 416067/41533724144035011236093105530867081747*c_0101_3^10 - 386926939094485804510047217850070215942148/415337241440350112360931\ 05530867081747*c_0101_3^9 + 544952617089737049505702283067107297286\ 901/41533724144035011236093105530867081747*c_0101_3^8 + 398544629003119832699668224806069128523867/415337241440350112360931\ 05530867081747*c_0101_3^7 - 100998318358307785500261324426075709616\ 94/41533724144035011236093105530867081747*c_0101_3^6 - 67250553717918794903348153048606714179665/4153372414403501123609310\ 5530867081747*c_0101_3^5 - 1566794344141864009417712558180392980384\ /41533724144035011236093105530867081747*c_0101_3^4 + 6501093080259000148403524488894826890706/41533724144035011236093105\ 530867081747*c_0101_3^3 - 1004788733335589632493220535561833440923/\ 41533724144035011236093105530867081747*c_0101_3^2 - 658131448014267956886255724141411313680/415337241440350112360931055\ 30867081747*c_0101_3 + 110346341801605555209078441870318665852/4153\ 3724144035011236093105530867081747, c_0011_5 + 145841264588980136642009271326318461016/41533724144035011236\ 093105530867081747*c_0101_3^23 - 1281582057351197297031515065647646\ 539675/41533724144035011236093105530867081747*c_0101_3^22 - 299459594092153118428016535954634846364/415337241440350112360931055\ 30867081747*c_0101_3^21 + 16684163402319163330109775220451268364890\ /41533724144035011236093105530867081747*c_0101_3^20 - 36791257511562362294396516477917848437028/4153372414403501123609310\ 5530867081747*c_0101_3^19 - 522643397477411728333650540783600658575\ 64/41533724144035011236093105530867081747*c_0101_3^18 + 266042882867600029389252108669811230515292/415337241440350112360931\ 05530867081747*c_0101_3^17 + 19201313316440673599660379681037570504\ 8144/41533724144035011236093105530867081747*c_0101_3^16 - 594063649505871739185231114678720670836396/415337241440350112360931\ 05530867081747*c_0101_3^15 - 45488089083659264902251819906697399622\ 0328/41533724144035011236093105530867081747*c_0101_3^14 + 434937675010150562420486664198108806035122/415337241440350112360931\ 05530867081747*c_0101_3^13 - 59545490624603164236280313743476652024\ 9688/41533724144035011236093105530867081747*c_0101_3^12 - 3424068430638742353128965621379018429868851/41533724144035011236093\ 105530867081747*c_0101_3^11 - 4249556267302932591678516819356265092\ 245328/41533724144035011236093105530867081747*c_0101_3^10 - 1676003636818073164942276940544312754331336/41533724144035011236093\ 105530867081747*c_0101_3^9 + 79202266441815281309622446519528132494\ 9433/41533724144035011236093105530867081747*c_0101_3^8 + 794781206047760451321346270306332223538237/415337241440350112360931\ 05530867081747*c_0101_3^7 + 160266924634879350439055562701219225331\ 55/41533724144035011236093105530867081747*c_0101_3^6 - 111470718136065299072908125993646041212525/415337241440350112360931\ 05530867081747*c_0101_3^5 + 327013452321175967432110278971792413886\ 9/41533724144035011236093105530867081747*c_0101_3^4 + 11793968631175670613935016611650391163975/4153372414403501123609310\ 5530867081747*c_0101_3^3 - 1911893579053622650663366948182230079586\ /41533724144035011236093105530867081747*c_0101_3^2 - 937634834950420728110934803893765215814/415337241440350112360931055\ 30867081747*c_0101_3 + 153402217156106235094102456414940524442/4153\ 3724144035011236093105530867081747, c_0101_0 - 40576483577562698749210378461652100396/415337241440350112360\ 93105530867081747*c_0101_3^23 + 40462986407331329893380911593752218\ 8176/41533724144035011236093105530867081747*c_0101_3^22 - 343251096702467652009313214988562465180/415337241440350112360931055\ 30867081747*c_0101_3^21 - 4689932283095227145150611600996903741142/\ 41533724144035011236093105530867081747*c_0101_3^20 + 15618007802319320201751458171893708737191/4153372414403501123609310\ 5530867081747*c_0101_3^19 + 195489993834992169916528935301466690174\ 7/41533724144035011236093105530867081747*c_0101_3^18 - 88653088159943978825722203127589783829573/4153372414403501123609310\ 5530867081747*c_0101_3^17 + 317656449499797500879009216299453973115\ 87/41533724144035011236093105530867081747*c_0101_3^16 + 217782879570213337827179982805176019084452/415337241440350112360931\ 05530867081747*c_0101_3^15 - 49659206649936133349205399971932690118\ 371/41533724144035011236093105530867081747*c_0101_3^14 - 245449329327014078302378744655366191709162/415337241440350112360931\ 05530867081747*c_0101_3^13 + 26944896431889867282324837059049787058\ 3270/41533724144035011236093105530867081747*c_0101_3^12 + 721870303645366288409010901971640394137451/415337241440350112360931\ 05530867081747*c_0101_3^11 + 10729854379576008460043875554042316110\ 1416/41533724144035011236093105530867081747*c_0101_3^10 - 909307293393071666816967372946225166510747/415337241440350112360931\ 05530867081747*c_0101_3^9 - 936862427355106735776125536003198465507\ 380/41533724144035011236093105530867081747*c_0101_3^8 - 226152567571706607978563518054412536335425/415337241440350112360931\ 05530867081747*c_0101_3^7 + 121100483009371690759480177737458713481\ 988/41533724144035011236093105530867081747*c_0101_3^6 + 52321415679262130219208393742214737789247/4153372414403501123609310\ 5530867081747*c_0101_3^5 - 6696088711707516441390192953416797505081\ /41533724144035011236093105530867081747*c_0101_3^4 - 1407523418379580570031764889619268630730/41533724144035011236093105\ 530867081747*c_0101_3^3 + 1849576883355854066912437731539338775293/\ 41533724144035011236093105530867081747*c_0101_3^2 + 283786790086472966546483699844712650833/415337241440350112360931055\ 30867081747*c_0101_3 - 81078367419431967991715145023452124941/41533\ 724144035011236093105530867081747, c_0101_3^24 - 8*c_0101_3^23 - 9*c_0101_3^22 + 113*c_0101_3^21 - 162*c_0101_3^20 - 560*c_0101_3^19 + 1547*c_0101_3^18 + 2766*c_0101_3^17 - 3079*c_0101_3^16 - 6387*c_0101_3^15 + 611*c_0101_3^14 - 1597*c_0101_3^13 - 26721*c_0101_3^12 - 47554*c_0101_3^11 - 33761*c_0101_3^10 - 2505*c_0101_3^9 + 10499*c_0101_3^8 + 4506*c_0101_3^7 - 839*c_0101_3^6 - 648*c_0101_3^5 + 105*c_0101_3^4 + 53*c_0101_3^3 - 19*c_0101_3^2 - 4*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB