Magma V2.19-8 Tue Aug 20 2013 16:16:02 on localhost [Seed = 3035965554] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0289 geometric_solution 4.33425377 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.328380169452 0.045441031422 0 2 0 2 0132 0132 1023 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 -1 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.781309739651 1.644032556491 1 1 3 4 3201 0132 0132 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 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.439162730251 0.389180699047 5 4 4 2 0132 3012 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 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.753856896186 0.517342349644 3 5 2 3 1230 3201 0132 1302 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.753856896186 0.517342349645 3 6 4 6 0132 0132 2310 2310 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 0 0 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 1.712861237282 1.909932973376 5 5 6 6 3201 0132 2031 1302 0 0 0 0 0 0 1 -1 -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 0 0 0 -1 0 0 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.388725738973 0.251323260638 ==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' : negation(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' : negation(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' : negation(d['c_0101_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : d['c_0101_3'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : negation(d['c_0101_0']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_4']), '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_3, c_0101_0, c_0101_1, c_0101_3, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 22924809470658874364035949010229371861714318311/6663911379271083622\ 55599735123129661633630106*c_0110_6^21 + 67362848638268339503767069505973100414766795637/2961738390787148276\ 69155437832502071837168936*c_0110_6^20 - 7992326789543042298195481762719403699283435687915/26655645517084334\ 49022398940492518646534520424*c_0110_6^19 - 30768232661553920057233114653988921436061278905951/2665564551708433\ 449022398940492518646534520424*c_0110_6^18 - 59342212560082838626122466469428221596561106412757/2665564551708433\ 449022398940492518646534520424*c_0110_6^17 - 34986659520432294226403908352598316691349391461661/1332782275854216\ 724511199470246259323267260212*c_0110_6^16 + 117120721785956441858987699071623886553401497732901/133278227585421\ 6724511199470246259323267260212*c_0110_6^15 + 796389127863730622374253750479293161142268716359765/266556455170843\ 3449022398940492518646534520424*c_0110_6^14 + 225703076187701160142156689968602339842740941250303/666391137927108\ 362255599735123129661633630106*c_0110_6^13 + 51312898516932414051167570772778323865598608329041/9519873398958690\ 8893657105017589951661947158*c_0110_6^12 + 177204669302733999468009885129142387999302532197068/333195568963554\ 181127799867561564830816815053*c_0110_6^11 - 1747569122618478126457720394080810004985052734459307/13327822758542\ 16724511199470246259323267260212*c_0110_6^10 - 252071174745134527999952742293914920426251507606053/807746833851040\ 43909769664863409655955591528*c_0110_6^9 - 568898386178738581969848404774941858027088492642401/333195568963554\ 181127799867561564830816815053*c_0110_6^8 + 754055657319933438860155182833283980807976068331307/133278227585421\ 6724511199470246259323267260212*c_0110_6^7 + 2050796589725590546216328015973971011336871468664833/26655645517084\ 33449022398940492518646534520424*c_0110_6^6 + 405828151563604690263066263344035667790683536910453/266556455170843\ 3449022398940492518646534520424*c_0110_6^5 - 21717753683357765653266062981429709881907179767309/3807949359583476\ 35574628420070359806647788632*c_0110_6^4 - 18019365213474576221702609525016865360411817441453/3807949359583476\ 35574628420070359806647788632*c_0110_6^3 - 2286832131680496735776301791360460902474444088680/33319556896355418\ 1127799867561564830816815053*c_0110_6^2 + 737504974116638677285959063218363614061648486477/222130379309036120\ 751866578374376553877876702*c_0110_6 + 1492895989001029031425551426936280514652382802167/26655645517084334\ 49022398940492518646534520424, c_0011_0 - 1, c_0011_3 - 2308396789032236552553207051283451120448161835/5422550109867\ 184485156960656438437167284085341*c_0110_6^21 - 14656022420988222736234964687610479102281136861/5422550109867184485\ 156960656438437167284085341*c_0110_6^20 + 205052256060518182560966714595189168504517077482/542255010986718448\ 5156960656438437167284085341*c_0110_6^19 + 720798282127780641361216880503179863346058509154/542255010986718448\ 5156960656438437167284085341*c_0110_6^18 + 1303846128083975779708776921283605531285628727682/54225501098671844\ 85156960656438437167284085341*c_0110_6^17 + 1416172062007323649741003496136632078654632236780/54225501098671844\ 85156960656438437167284085341*c_0110_6^16 - 6281681446960964256782849249057564264560419112772/54225501098671844\ 85156960656438437167284085341*c_0110_6^15 - 18423201536934204648649815676953402838610652365663/5422550109867184\ 485156960656438437167284085341*c_0110_6^14 - 17894065117226963177850232242206357365703672471983/5422550109867184\ 485156960656438437167284085341*c_0110_6^13 - 31406902223868394226122783306731283666720571874740/5422550109867184\ 485156960656438437167284085341*c_0110_6^12 - 27141664670269003709102954099581196571748626237891/5422550109867184\ 485156960656438437167284085341*c_0110_6^11 + 95641991369119567306167586870141205286761659744442/5422550109867184\ 485156960656438437167284085341*c_0110_6^10 + 16797586811587207327921807569688659478201398975326/4929591008970167\ 71377905514221676106116735031*c_0110_6^9 + 66542761134995851067357180506307100375914918710007/5422550109867184\ 485156960656438437167284085341*c_0110_6^8 - 56149689654526540533944984414302900692176152051974/5422550109867184\ 485156960656438437167284085341*c_0110_6^7 - 40096315362144105963069027390544360530976932874817/5422550109867184\ 485156960656438437167284085341*c_0110_6^6 - 2629650058112984069746904740213931042436970914248/54225501098671844\ 85156960656438437167284085341*c_0110_6^5 + 4237540227846486738562078097343670166124782607180/54225501098671844\ 85156960656438437167284085341*c_0110_6^4 + 2708863118805474932361843176521155171363527688307/54225501098671844\ 85156960656438437167284085341*c_0110_6^3 + 7363766328423870262293199213116185092171042267/54225501098671844851\ 56960656438437167284085341*c_0110_6^2 - 174867521836001420946996822706993131352208515455/542255010986718448\ 5156960656438437167284085341*c_0110_6 - 25541006880922192671835737454182033467470123676/5422550109867184485\ 156960656438437167284085341, c_0101_0 - 12509348696612431988394103998561994257677257267/162676503296\ 01553455470881969315311501852256023*c_0110_6^21 - 79648619754746380273276147411276423985571804545/1626765032960155345\ 5470881969315311501852256023*c_0110_6^20 + 369777813238558399024924264599462376071678745963/542255010986718448\ 5156960656438437167284085341*c_0110_6^19 + 3923536382563005539957518906558805725779742302389/16267650329601553\ 455470881969315311501852256023*c_0110_6^18 + 7173413835134661806228228511762111883097508864878/16267650329601553\ 455470881969315311501852256023*c_0110_6^17 + 7931672511194617140056078850549088889523918688541/16267650329601553\ 455470881969315311501852256023*c_0110_6^16 - 11216412545744037767971220598000474933164653294853/5422550109867184\ 485156960656438437167284085341*c_0110_6^15 - 100153156836309203269487965838229614932419804106837/162676503296015\ 53455470881969315311501852256023*c_0110_6^14 - 33277740139051956415012627810899818153503059694322/5422550109867184\ 485156960656438437167284085341*c_0110_6^13 - 175203150000334590678068573606904550676484497581861/162676503296015\ 53455470881969315311501852256023*c_0110_6^12 - 153896567799151961725497771192620370353047369840879/162676503296015\ 53455470881969315311501852256023*c_0110_6^11 + 508869776126810529333751070676192900262453122970823/162676503296015\ 53455470881969315311501852256023*c_0110_6^10 + 91342918195593968982457486350457229323883506819952/1478877302691050\ 314133716542665028318350205093*c_0110_6^9 + 131237387556976926171413419959369155259532163470365/542255010986718\ 4485156960656438437167284085341*c_0110_6^8 - 265466382214636894488124752149407804188248241085000/162676503296015\ 53455470881969315311501852256023*c_0110_6^7 - 68019188498971307741035091837604559163686310346408/5422550109867184\ 485156960656438437167284085341*c_0110_6^6 - 18614421430575542253531092769447709310886637320197/1626765032960155\ 3455470881969315311501852256023*c_0110_6^5 + 18512741914321341175345137207128379487288787935300/1626765032960155\ 3455470881969315311501852256023*c_0110_6^4 + 4393133382040295391257333365695032647862138527606/54225501098671844\ 85156960656438437167284085341*c_0110_6^3 + 30405110668048584483959713225624235279863258169/1626765032960155345\ 5470881969315311501852256023*c_0110_6^2 - 784762435526967537332818673594032067432825778347/162676503296015534\ 55470881969315311501852256023*c_0110_6 - 33784681254822896578229654139389091192568681061/5422550109867184485\ 156960656438437167284085341, c_0101_1 - 6557068584263017442699095936317197785238029280/1626765032960\ 1553455470881969315311501852256023*c_0110_6^21 - 41974814667317779697244611318990449321683620260/1626765032960155345\ 5470881969315311501852256023*c_0110_6^20 + 193327536889025431615302910806912978922296208626/542255010986718448\ 5156960656438437167284085341*c_0110_6^19 + 2076126251687190974032126264801249648296955125886/16267650329601553\ 455470881969315311501852256023*c_0110_6^18 + 3836581147660569416604702877772324375498038996225/16267650329601553\ 455470881969315311501852256023*c_0110_6^17 + 4310094783196064374137231343467318781983519207811/16267650329601553\ 455470881969315311501852256023*c_0110_6^16 - 5818201853527037297362113915137260241224360308111/54225501098671844\ 85156960656438437167284085341*c_0110_6^15 - 53056024222118178332201160204719829210869916620726/1626765032960155\ 3455470881969315311501852256023*c_0110_6^14 - 18104404155431656056661225582623511673012611943434/5422550109867184\ 485156960656438437167284085341*c_0110_6^13 - 94241504301473937181143672114862182364489915648661/1626765032960155\ 3455470881969315311501852256023*c_0110_6^12 - 84383367589126822678602994640016596533703117468321/1626765032960155\ 3455470881969315311501852256023*c_0110_6^11 + 263023250561659575049204291331594540882108948517403/162676503296015\ 53455470881969315311501852256023*c_0110_6^10 + 48614521653357630478539953255475570750289443246430/1478877302691050\ 314133716542665028318350205093*c_0110_6^9 + 75810876702975173321645878823119303070236039685158/5422550109867184\ 485156960656438437167284085341*c_0110_6^8 - 125936264078421851394597202471811653908983110720688/162676503296015\ 53455470881969315311501852256023*c_0110_6^7 - 36603263844432478692502139218304557597863322652472/5422550109867184\ 485156960656438437167284085341*c_0110_6^6 - 15243103083149121193285329852667172477299873423657/1626765032960155\ 3455470881969315311501852256023*c_0110_6^5 + 8602585889154548572168473189489960886745643514193/16267650329601553\ 455470881969315311501852256023*c_0110_6^4 + 2439434244520650871821178173409083400649912417376/54225501098671844\ 85156960656438437167284085341*c_0110_6^3 + 278728468281875683965492687868159732593248281162/162676503296015534\ 55470881969315311501852256023*c_0110_6^2 - 350290719575410959244160448598935195303676456612/162676503296015534\ 55470881969315311501852256023*c_0110_6 - 23898100396351951207278879676014471509559446591/5422550109867184485\ 156960656438437167284085341, c_0101_3 - 1334023760075305826667950606241329693244854992/1626765032960\ 1553455470881969315311501852256023*c_0110_6^21 - 8250276483646081286729855510989100314705352573/16267650329601553455\ 470881969315311501852256023*c_0110_6^20 + 40008708689717653000243483585156936772290791701/5422550109867184485\ 156960656438437167284085341*c_0110_6^19 + 397927867991250189265058080294299429479917934369/162676503296015534\ 55470881969315311501852256023*c_0110_6^18 + 673376895868783529714037680217473589267768734279/162676503296015534\ 55470881969315311501852256023*c_0110_6^17 + 650844569568613329380604538681243114756900849535/162676503296015534\ 55470881969315311501852256023*c_0110_6^16 - 1284467005226474706953011921059419727179319840675/54225501098671844\ 85156960656438437167284085341*c_0110_6^15 - 10158434999189055587760251240962282006599896645017/1626765032960155\ 3455470881969315311501852256023*c_0110_6^14 - 2756355423640262140055597740369516776747050424524/54225501098671844\ 85156960656438437167284085341*c_0110_6^13 - 15336493936721649753318511654607222632032128488738/1626765032960155\ 3455470881969315311501852256023*c_0110_6^12 - 11307684793680516779736064308606261878296246182064/1626765032960155\ 3455470881969315311501852256023*c_0110_6^11 + 60153675046998166064641793440284797750720825019290/1626765032960155\ 3455470881969315311501852256023*c_0110_6^10 + 9085131480501717987947569350327381967866940372742/14788773026910503\ 14133716542665028318350205093*c_0110_6^9 + 5467727384573982683823467836932578599165031865592/54225501098671844\ 85156960656438437167284085341*c_0110_6^8 - 50296475471867704954056934186966993245792697414573/1626765032960155\ 3455470881969315311501852256023*c_0110_6^7 - 8543126192735606476317854935139790656020925411559/54225501098671844\ 85156960656438437167284085341*c_0110_6^6 + 2121870027489532594063837110557482318008963818119/16267650329601553\ 455470881969315311501852256023*c_0110_6^5 + 4525684110335682955018409541816337924484956509442/16267650329601553\ 455470881969315311501852256023*c_0110_6^4 + 652167594640400426687136436865459339263440234135/542255010986718448\ 5156960656438437167284085341*c_0110_6^3 - 137509476023237187454596819168855706917295950820/162676503296015534\ 55470881969315311501852256023*c_0110_6^2 - 168833199515777998983950116341602447057767265009/162676503296015534\ 55470881969315311501852256023*c_0110_6 - 8158622772571681983049473452121371548018097101/54225501098671844851\ 56960656438437167284085341, c_0101_4 + 1046027399685438222727350456584547315237548090/5422550109867\ 184485156960656438437167284085341*c_0110_6^21 + 6566446379176770699131015976148656614840081000/54225501098671844851\ 56960656438437167284085341*c_0110_6^20 - 93393305406094774838055254373980489722001401033/5422550109867184485\ 156960656438437167284085341*c_0110_6^19 - 319983096695234438901074444723084180497953200776/542255010986718448\ 5156960656438437167284085341*c_0110_6^18 - 567364485569959088504208882068606024760868107324/542255010986718448\ 5156960656438437167284085341*c_0110_6^17 - 599454363760070754234186296946409694733982307793/542255010986718448\ 5156960656438437167284085341*c_0110_6^16 + 2892552912171895079036691848877290795184058382318/54225501098671844\ 85156960656438437167284085341*c_0110_6^15 + 8144466328593409372957175903665504252766614144455/54225501098671844\ 85156960656438437167284085341*c_0110_6^14 + 7508259861012034251060053862397269097272757918346/54225501098671844\ 85156960656438437167284085341*c_0110_6^13 + 13652483151342613516797905003724018795201976405855/5422550109867184\ 485156960656438437167284085341*c_0110_6^12 + 11280703022318889501088466504466749846831350258352/5422550109867184\ 485156960656438437167284085341*c_0110_6^11 - 44223417336224369010012479644347763984461314167493/5422550109867184\ 485156960656438437167284085341*c_0110_6^10 - 7327780675335811919714513501903411491975703686363/49295910089701677\ 1377905514221676106116735031*c_0110_6^9 - 24145766150334080398873926562815042821000262777983/5422550109867184\ 485156960656438437167284085341*c_0110_6^8 + 27597555692732248127531205108093135397864673388946/5422550109867184\ 485156960656438437167284085341*c_0110_6^7 + 16335745378539746190445557398598990546004353588620/5422550109867184\ 485156960656438437167284085341*c_0110_6^6 - 170181991153014532077059349225534704220433803930/542255010986718448\ 5156960656438437167284085341*c_0110_6^5 - 2020357595785561275630182242458073675942132347435/54225501098671844\ 85156960656438437167284085341*c_0110_6^4 - 1056609769869923490028423423538134867145465783805/54225501098671844\ 85156960656438437167284085341*c_0110_6^3 + 79110370291099975063887502368410147010223516220/5422550109867184485\ 156960656438437167284085341*c_0110_6^2 + 82017629612111443466448286745755106796281356868/5422550109867184485\ 156960656438437167284085341*c_0110_6 + 6820698146628286981481374006876321654273144955/54225501098671844851\ 56960656438437167284085341, c_0110_6^22 + 6*c_0110_6^21 - 91*c_0110_6^20 - 281*c_0110_6^19 - 460*c_0110_6^18 - 427*c_0110_6^17 + 2917*c_0110_6^16 + 7015*c_0110_6^15 + 5095*c_0110_6^14 + 11152*c_0110_6^13 + 7202*c_0110_6^12 - 45007*c_0110_6^11 - 65415*c_0110_6^10 - 2701*c_0110_6^9 + 32239*c_0110_6^8 + 8704*c_0110_6^7 - 4267*c_0110_6^6 - 2003*c_0110_6^5 - 532*c_0110_6^4 + 367*c_0110_6^3 + 63*c_0110_6^2 - 13*c_0110_6 - 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB