Magma V2.19-8 Tue Aug 20 2013 16:16:04 on localhost [Seed = 122067913] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0326 geometric_solution 4.35678993 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 1023 1023 0 0 0 0 0 -1 1 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.432772033818 0.139512655721 0 3 0 3 0132 0132 1023 2310 0 0 0 0 0 0 1 -1 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 -2.153674932405 4.641868397495 2 0 2 0 2310 0132 3201 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.708480748416 0.038707706598 1 1 4 5 3201 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.011329046469 0.366714918100 5 6 6 3 1023 0132 3201 0132 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 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.604733591201 0.809923359249 6 4 3 6 2310 1023 0132 1023 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 0 0 0 1 0 0 -1 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.604733591201 0.809923359249 4 4 5 5 2310 0132 3201 1023 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 -1 1 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 1.408097994418 0.792737938958 ==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' : negation(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' : negation(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' : 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' : d['c_0011_4'], 'c_1100_4' : d['c_0011_4'], '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_0011_4'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0101_0']), '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_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_6' : negation(d['c_0101_0']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_5']), 'c_1010_0' : negation(d['c_0101_2'])})} 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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 9272734860051836277919756729036358300276389192149850533/16656468463\ 883103134225958461619038942580647981776847765504*c_0101_6^31 - 180196186845682131652103744127871455410311671622802526519/208205855\ 7985387891778244807702379867822580997722105970688*c_0101_6^29 + 17675117331259362309126445459501966329366063112848534994919/4164117\ 115970775783556489615404759735645161995444211941376*c_0101_6^27 - 1032133120865412829821805858109572702594307958486994662189789/16656\ 468463883103134225958461619038942580647981776847765504*c_0101_6^25 - 228913326837796471510694192700821071287069682866879308474945/832823\ 4231941551567112979230809519471290323990888423882752*c_0101_6^23 - 6054456165130447580699278672202760232067587275304817825631849/16656\ 468463883103134225958461619038942580647981776847765504*c_0101_6^21 + 904193154540781675366194132483754132274666141231695348615051/520514\ 639496346972944561201925594966955645249430526492672*c_0101_6^19 + 6253365593443095856105043565545692771075220283860727405818417/10410\ 29278992693945889122403851189933911290498861052985344*c_0101_6^17 + 1229601538291567828737190226520158300006852355819575027670183/65064\ 329937043371618070150240699370869455656178815811584*c_0101_6^15 + 39365097608995187229565643257764352072462006021020065903927/2243597\ 584035978331657591387610323133429505385476407296*c_0101_6^13 + 239318450023117732073842992973252309297948507846184297056935/162660\ 82484260842904517537560174842717363914044703952896*c_0101_6^11 - 323873673501757036894529154022716068826265641891844810639291/406652\ 0621065210726129384390043710679340978511175988224*c_0101_6^9 - 1886670098592128244071273067138727701244527923998208425179/12707876\ 9408287835191543262188865958729405578474249632*c_0101_6^7 + 3916275041122136639438203780914173648769949404268363183127/25415753\ 8816575670383086524377731917458811156948499264*c_0101_6^5 + 54412414944255636102381333176469769210212970389220667995/3971211544\ 008994849735726943402061210293924327320301*c_0101_6^3 - 68884105129819232391812080954549587034671277193088816161/1588484617\ 6035979398942907773608244841175697309281204*c_0101_6, c_0011_0 - 1, c_0011_4 - 670379792412562546261010590791510772159559895995817/14359024\ 5378302613226085848807060680539488344670490066944*c_0101_6^30 + 26056007319853705290020236817908417620891586886795861/3589756134457\ 5653306521462201765170134872086167622516736*c_0101_6^28 - 1278015816302232738066782657781591477092073686765195451/35897561344\ 575653306521462201765170134872086167622516736*c_0101_6^26 + 74653996731897724280857788288868695063401364606993022353/1435902453\ 78302613226085848807060680539488344670490066944*c_0101_6^24 + 16293701824144432256149373634664842051014271228618174599/7179512268\ 9151306613042924403530340269744172335245033472*c_0101_6^22 + 437466474603512476623701880751329757463511505427775187493/143590245\ 378302613226085848807060680539488344670490066944*c_0101_6^20 - 523722264441625340001866138336768405613907934365601451411/358975613\ 44575653306521462201765170134872086167622516736*c_0101_6^18 - 451207392216576870321118057402953764428599412177107839405/897439033\ 6143913326630365550441292533718021541905629184*c_0101_6^16 - 354797970785159101616091907928860800444732046440727349281/224359758\ 4035978331657591387610323133429505385476407296*c_0101_6^14 - 81906504855758343558915220195221153813829187574787899901/5608993960\ 08994582914397846902580783357376346369101824*c_0101_6^12 - 17146592298728895603065656232706643375791636571760600393/1402248490\ 02248645728599461725645195839344086592275456*c_0101_6^10 + 5862916754744533373176282111151259826210945000342286305/87640530626\ 40540358037466357852824739959005412017216*c_0101_6^8 + 32873309290701882929108778106682774059298309681444095/2738766582075\ 16886188670823682900773123718919125538*c_0101_6^6 - 285664411517607778138760120298440464476662750063552003/219101326566\ 0135089509366589463206184989751353004304*c_0101_6^4 - 31453838147190892118705641461475788556134677105616561/2738766582075\ 16886188670823682900773123718919125538*c_0101_6^2 + 5019086503221245312423950738058263432217326126279690/13693832910375\ 8443094335411841450386561859459562769, c_0101_0 - 3805217514941220348534730651251995289073420729343153/2871804\ 90756605226452171697614121361078976689340980133888*c_0101_6^31 + 73949004350973674413801443031875497479657943387538983/3589756134457\ 5653306521462201765170134872086167622516736*c_0101_6^29 - 7254068627818920856875512177066370563881481446883594703/71795122689\ 151306613042924403530340269744172335245033472*c_0101_6^27 + 423708078691351795949344499221942042793804775040506039305/287180490\ 756605226452171697614121361078976689340980133888*c_0101_6^25 + 92824887645379170584435630529207230644908012568088566093/1435902453\ 78302613226085848807060680539488344670490066944*c_0101_6^23 + 2482642126086335863974587117567216928830042180675810469429/28718049\ 0756605226452171697614121361078976689340980133888*c_0101_6^21 - 371484224849660995415363315173368519207840181179651845473/897439033\ 6143913326630365550441292533718021541905629184*c_0101_6^19 - 160155630030742216380499308340962961853856569540323273861/112179879\ 2017989165828795693805161566714752692738203648*c_0101_6^17 - 503624135096004332840930248576819960722272862118211120715/112179879\ 2017989165828795693805161566714752692738203648*c_0101_6^15 - 465399532709263747776326775179305940266199411448128136375/112179879\ 2017989165828795693805161566714752692738203648*c_0101_6^13 - 24325719627092184450694631512801069634463905606918206315/7011242450\ 1124322864299730862822597919672043296137728*c_0101_6^11 + 133105111768092455218254139762345297168302410116573789049/701124245\ 01124322864299730862822597919672043296137728*c_0101_6^9 + 6028544486959319964004698228663983283095441707667638951/17528106125\ 281080716074932715705649479918010824034432*c_0101_6^7 - 204111790105429122300006907878267403766233423965294673/547753316415\ 033772377341647365801546247437838251076*c_0101_6^5 - 356126569009192769015386272759083524830353844046662833/109550663283\ 0067544754683294731603092494875676502152*c_0101_6^3 + 14404351107893096502623737456064392969306868994625404/1369383291037\ 58443094335411841450386561859459562769*c_0101_6, c_0101_1 + 8346933929983847910597459327300630386251969320699133/2871804\ 90756605226452171697614121361078976689340980133888*c_0101_6^31 - 81107051449290174852860502848641934767236996723127675/1794878067228\ 7826653260731100882585067436043083811258368*c_0101_6^29 + 15913181404585729813425659248988573723090886815360589607/7179512268\ 9151306613042924403530340269744172335245033472*c_0101_6^27 - 929625154236990896062761770667095640873152705186318226901/287180490\ 756605226452171697614121361078976689340980133888*c_0101_6^25 - 202150038870400212979412288738630782527750315365835473149/143590245\ 378302613226085848807060680539488344670490066944*c_0101_6^23 - 5444666941514113179544617295760296552324493187113013756817/28718049\ 0756605226452171697614121361078976689340980133888*c_0101_6^21 + 3261711930817234578537641063050716991705292648027078300159/35897561\ 344575653306521462201765170134872086167622516736*c_0101_6^19 + 5615823795079499600869194116345808777921142864420705309135/17948780\ 672287826653260731100882585067436043083811258368*c_0101_6^17 + 4414600627859299313313966664720607565728992056671812634493/44871951\ 68071956663315182775220646266859010770952814592*c_0101_6^15 + 508674838757649413785410224507518516929849268827968983135/560899396\ 008994582914397846902580783357376346369101824*c_0101_6^13 + 212582028767484797183827561370319619959568689209183359087/280449698\ 004497291457198923451290391678688173184550912*c_0101_6^11 - 292202893174282406500059861958822619492201351764203903183/701124245\ 01124322864299730862822597919672043296137728*c_0101_6^9 - 13010904714868753083604993501398730616800288897838756541/1752810612\ 5281080716074932715705649479918010824034432*c_0101_6^7 + 3586517705929077962798929207818851977228410782963360523/43820265313\ 20270179018733178926412369979502706008608*c_0101_6^5 + 391397818929281660480633955869574463235224401813022215/547753316415\ 033772377341647365801546247437838251076*c_0101_6^3 - 63602498357805350168938169382789656821265703055560057/2738766582075\ 16886188670823682900773123718919125538*c_0101_6, c_0101_2 + 2395428066271438612191449107291641025107518819799017/1435902\ 45378302613226085848807060680539488344670490066944*c_0101_6^31 - 186220781244190866564541486992869515312733701382028811/717951226891\ 51306613042924403530340269744172335245033472*c_0101_6^29 + 4567589228691431945188156829295694008864808911995598563/35897561344\ 575653306521462201765170134872086167622516736*c_0101_6^27 - 266937891729655879469032356016331511245949536474951185801/143590245\ 378302613226085848807060680539488344670490066944*c_0101_6^25 - 28468603044244856313421596524007984402961652556134130615/3589756134\ 4575653306521462201765170134872086167622516736*c_0101_6^23 - 1560389217349153290995726241525176582075751063289540484129/14359024\ 5378302613226085848807060680539488344670490066944*c_0101_6^21 + 3751150017923329929561459016959989749292870148089688992123/71795122\ 689151306613042924403530340269744172335245033472*c_0101_6^19 + 804093924807181089066189819398873443156241297472921560921/448719516\ 8071956663315182775220646266859010770952814592*c_0101_6^17 + 631524124305217163459798305671339329281899907249873834595/112179879\ 2017989165828795693805161566714752692738203648*c_0101_6^15 + 72210132482942777909552335029333788983637627399403870215/1402248490\ 02248645728599461725645195839344086592275456*c_0101_6^13 + 60011708451103017353270396168986193265903886982152295729/1402248490\ 02248645728599461725645195839344086592275456*c_0101_6^11 - 10511655117836936399736179040400050379033451766199483367/4382026531\ 320270179018733178926412369979502706008608*c_0101_6^9 - 3585772823159790456577694299071157047594835780523557639/87640530626\ 40540358037466357852824739959005412017216*c_0101_6^7 + 2114511109056352557901648725596825623962528964382142095/43820265313\ 20270179018733178926412369979502706008608*c_0101_6^5 + 224165093128043455055041067859219754146766347508359747/547753316415\ 033772377341647365801546247437838251076*c_0101_6^3 - 18692453922933493688917012752686273910566105528271204/1369383291037\ 58443094335411841450386561859459562769*c_0101_6, c_0101_5 + 3389580138918283115771688046311725461715190104396245/1435902\ 45378302613226085848807060680539488344670490066944*c_0101_6^31 - 131743938804011711483171821263685540194952954921950647/358975613445\ 75653306521462201765170134872086167622516736*c_0101_6^29 + 6461809217370964079928971010578913019867335449136769595/35897561344\ 575653306521462201765170134872086167622516736*c_0101_6^27 - 377445077267809816748412407062019920645338651439678495933/143590245\ 378302613226085848807060680539488344670490066944*c_0101_6^25 - 82549004406078591080966319972538412311585377431268702735/7179512268\ 9151306613042924403530340269744172335245033472*c_0101_6^23 - 2211615659671182159631253711047233541023085298374540821473/14359024\ 5378302613226085848807060680539488344670490066944*c_0101_6^21 + 2647661604490145422751316793277398832159874527032728485885/35897561\ 344575653306521462201765170134872086167622516736*c_0101_6^19 + 1141030863901023468003869159175791346318151595297531935273/44871951\ 68071956663315182775220646266859010770952814592*c_0101_6^17 + 1794196056346003138191486061766112521072353190657702945637/22435975\ 84035978331657591387610323133429505385476407296*c_0101_6^15 + 207164729507144113239626636407607708788718534706816842725/280449698\ 004497291457198923451290391678688173184550912*c_0101_6^13 + 86657513165994889170512738890686742005173433146936812169/1402248490\ 02248645728599461725645195839344086592275456*c_0101_6^11 - 118580732110070684556323205658833283457131721388591314321/350562122\ 50562161432149865431411298959836021648068864*c_0101_6^9 - 5349762420305407055110084485302115556566869275891945189/87640530626\ 40540358037466357852824739959005412017216*c_0101_6^7 + 724887443171382758313946812094793579810244700345588969/109550663283\ 0067544754683294731603092494875676502152*c_0101_6^5 + 79519847644176009956078586477130793382239270915916982/1369383291037\ 58443094335411841450386561859459562769*c_0101_6^3 - 51315224213540538549336578097938423905630409487600389/2738766582075\ 16886188670823682900773123718919125538*c_0101_6, c_0101_6^32 - 156*c_0101_6^30 + 7708*c_0101_6^28 - 115401*c_0101_6^26 + 10378*c_0101_6^24 - 626525*c_0101_6^22 + 3470740*c_0101_6^20 + 9114688*c_0101_6^18 + 28157568*c_0101_6^16 + 13306112*c_0101_6^14 + 9543680*c_0101_6^12 - 157212672*c_0101_6^10 + 50151424*c_0101_6^8 + 41877504*c_0101_6^6 + 9699328*c_0101_6^4 - 20971520*c_0101_6^2 + 4194304 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB