Magma V2.19-8 Tue Aug 20 2013 16:16:05 on localhost [Seed = 964208118] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0328 geometric_solution 4.35944660 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 -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.665436630696 0.052866105402 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 -1 1 1 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 0 0 -1 1 1 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 0.841216121269 0.065773971465 1 3 1 3 0132 0132 1023 1023 0 0 0 0 0 0 1 -1 -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 0 0 0 1 -1 -1 0 1 0 -1 2 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.707383265515 0.212482089374 4 2 5 2 0132 0132 0132 1023 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 0 0 0 -1 0 0 1 -1 0 0 1 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.827781362157 1.384081535182 3 6 5 5 0132 0132 0213 2310 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 -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.133779719983 0.817141691942 4 4 6 3 3201 0213 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 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.133779719983 0.817141691942 5 4 6 6 2310 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 0 1 -1 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 1.804877050791 1.191833088553 ==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' : negation(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' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_3'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], '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_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], '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_1']), 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(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_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0011_5'], '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t + 910448794415446960659290269919095495124191490461897046679611/262886\ 4168184488392118945789135717230701493506016888593005568*c_0101_6^33 + 1648516818832418426334821042600552548284588074134350145883205/164\ 304010511530524507434111820982326918843344126055537062848*c_0101_6^\ 31 + 61758046910326854634523790994493122904737360224800542158359519\ /657216042046122098029736447283929307675373376504222148251392*c_010\ 1_6^29 - 2942456185242739908795193274607061708709549419151924539324\ 936123/262886416818448839211894578913571723070149350601688859300556\ 8*c_0101_6^27 + 118993837792957983355737093484679290246850238770423\ 10596474345093/2628864168184488392118945789135717230701493506016888\ 593005568*c_0101_6^25 - 1434691023105591352046595808824758034301193\ 5963330144337298169343/32860802102306104901486822364196465383768668\ 8252111074125696*c_0101_6^23 + 545530150324499623258737971128672432\ 96859780143905512373866632453/2628864168184488392118945789135717230\ 701493506016888593005568*c_0101_6^21 + 78658288478995072338202431290266843401880618689921810797075029143/2\ 628864168184488392118945789135717230701493506016888593005568*c_0101\ _6^19 + 10792508497651361111704568676525577262343371527462964398172\ 7538279/65721604204612209802973644728392930767537337650422214825139\ 2*c_0101_6^17 + 180503881728000147060098432222722969840470076496597\ 955973029137885/131443208409224419605947289456785861535074675300844\ 4296502784*c_0101_6^15 + 287588015941661822454154622250555655818114\ 115014243495510726930053/262886416818448839211894578913571723070149\ 3506016888593005568*c_0101_6^13 - 815761353272596704803901024970911\ 47210835991997823997394446653167/1314432084092244196059472894567858\ 615350746753008444296502784*c_0101_6^11 - 181797982977941782935447128952082742038515928745445432162256632539/\ 2628864168184488392118945789135717230701493506016888593005568*c_010\ 1_6^9 - 95641498619414814797875692316049472719221440158952889974994\ 25869/657216042046122098029736447283929307675373376504222148251392*\ c_0101_6^7 - 473837086410527702557044796529547827180146465031652130\ 17399961081/2628864168184488392118945789135717230701493506016888593\ 005568*c_0101_6^5 + 68292649002118594734400363265410204814944630955\ 24069667794022085/3286080210230610490148682236419646538376866882521\ 11074125696*c_0101_6^3 - 444701833745906819804943585918532902717520\ 652604664882887495905/164304010511530524507434111820982326918843344\ 126055537062848*c_0101_6, c_0011_0 - 1, c_0011_1 - 1264843891746679109354087672063941525523927004129275131641/8\ 2152005255765262253717055910491163459421672063027768531424*c_0101_6\ ^32 - 17794937832636235614259651716616839374738954012762434174123/4\ 1076002627882631126858527955245581729710836031513884265712*c_0101_6\ ^30 - 78380766955357540164668616230769821444978938527668532815219/2\ 0538001313941315563429263977622790864855418015756942132856*c_0101_6\ ^28 + 4349661289711172019796769752529166372860135124437752532793857\ /82152005255765262253717055910491163459421672063027768531424*c_0101\ _6^26 - 20147569956901477111103413437023911160503619700166263544259\ 969/82152005255765262253717055910491163459421672063027768531424*c_0\ 101_6^24 + 88071679692034485176032896347052147938555985570894565080\ 286979/41076002627882631126858527955245581729710836031513884265712*\ c_0101_6^22 - 22207799177793418159438225763869531134439795851357662\ 1857371039/82152005255765262253717055910491163459421672063027768531\ 424*c_0101_6^20 + 7208542707776739364383434521593707311668260822102\ 7806268799193/82152005255765262253717055910491163459421672063027768\ 531424*c_0101_6^18 - 3275672803708550221952894170779319692166944443\ 97100849677755229/4107600262788263112685852795524558172971083603151\ 3884265712*c_0101_6^16 + 212291247506832539382726425187328596392021\ 61382771066885109849/4107600262788263112685852795524558172971083603\ 1513884265712*c_0101_6^14 - 421557218383390549301559504090544453898\ 756391731324440980132219/821520052557652622537170559104911634594216\ 72063027768531424*c_0101_6^12 + 18014319843199572579335085101761909\ 504886474353818994333773720/256725016424266444542865799720284885810\ 6927251969617766607*c_0101_6^10 - 218754345714363572394937914647354\ 498990495124377485950225384051/821520052557652622537170559104911634\ 59421672063027768531424*c_0101_6^8 + 111813537924357072035839037189124447251648834047608460834893609/410\ 76002627882631126858527955245581729710836031513884265712*c_0101_6^6 - 115257369223746850384017047831574278935201401877950209637152093/8\ 2152005255765262253717055910491163459421672063027768531424*c_0101_6\ ^4 + 7750256784256504786423672518655334965502984084413911583072341/\ 41076002627882631126858527955245581729710836031513884265712*c_0101_\ 6^2 - 71702544724323332123296302020951380827135356180546857254599/1\ 0269000656970657781714631988811395432427709007878471066428, c_0011_5 - 15335581019823712183708983881917075214586220464134259128347/\ 657216042046122098029736447283929307675373376504222148251392*c_0101\ _6^33 - 6725541784335823311467409155626319450411188411086888038565/\ 10269000656970657781714631988811395432427709007878471066428*c_0101_\ 6^31 - 942752443099755911541313298082125669300808899114624546366479\ /164304010511530524507434111820982326918843344126055537062848*c_010\ 1_6^29 + 5300562903579259980457022459286330541350862782587612570536\ 6747/657216042046122098029736447283929307675373376504222148251392*c\ _0101_6^27 - 247955962307793226218524973132370821712506934679688184\ 887348149/657216042046122098029736447283929307675373376504222148251\ 392*c_0101_6^25 + 2690651894033053102578860861230759086046816233591\ 76577852032965/8215200525576526225371705591049116345942167206302776\ 8531424*c_0101_6^23 - 284108482107432354608963264262416053567933770\ 7279559935694838117/65721604204612209802973644728392930767537337650\ 4222148251392*c_0101_6^21 + 105300637827189088463277011069886157830\ 9972274485528340309794553/65721604204612209802973644728392930767537\ 3376504222148251392*c_0101_6^19 - 199810429508554239966652890923926\ 5998990950828155242688724795363/16430401051153052450743411182098232\ 6918843344126055537062848*c_0101_6^17 + 533844165185462007087220462961983294415866473693673882270675587/328\ 608021023061049014868223641964653837686688252111074125696*c_0101_6^\ 15 - 51111139254840985437116185249427157502786904609488116778099614\ 13/657216042046122098029736447283929307675373376504222148251392*c_0\ 101_6^13 + 36725353345701579899960289494582363602957663318639347778\ 77953671/3286080210230610490148682236419646538376866882521110741256\ 96*c_0101_6^11 - 31204712625544076925855787612695763739467013780691\ 49259429484709/6572160420461220980297364472839293076753733765042221\ 48251392*c_0101_6^9 + 715891931715355544521075392647785071699445122\ 753366968658597449/164304010511530524507434111820982326918843344126\ 055537062848*c_0101_6^7 - 15779073713398121675891526822587375528520\ 67963584540444733946343/6572160420461220980297364472839293076753733\ 76504222148251392*c_0101_6^5 + 341095317805867202274614247183926047\ 35126316064478424785654757/8215200525576526225371705591049116345942\ 1672063027768531424*c_0101_6^3 - 8406361209331283829432998609645787\ 47837754741154665217162843/4107600262788263112685852795524558172971\ 0836031513884265712*c_0101_6, c_0101_0 - 25557991134726830810276573368812790536940113910707543692271/\ 1314432084092244196059472894567858615350746753008444296502784*c_010\ 1_6^33 - 1122850168836780054676789314617867961715055648568103449286\ 9/20538001313941315563429263977622790864855418015756942132856*c_010\ 1_6^31 - 1580142915429787417163409393549310889218356884118276800662\ 131/328608021023061049014868223641964653837686688252111074125696*c_\ 0101_6^29 + 8801924673404556927624721401929448324423494672457460878\ 7255983/13144320840922441960594728945678586153507467530084442965027\ 84*c_0101_6^27 - 40890902611926203376579156898349866798546001951091\ 7441669967521/13144320840922441960594728945678586153507467530084442\ 96502784*c_0101_6^25 + 44595501414811665841630699402887720775037859\ 5247074620998956545/16430401051153052450743411182098232691884334412\ 6055537062848*c_0101_6^23 - 456045254738497784742279792447054613522\ 5006629890375242441246481/13144320840922441960594728945678586153507\ 46753008444296502784*c_0101_6^21 + 1552752815929910681398961740728414727602494332272311026364926421/13\ 14432084092244196059472894567858615350746753008444296502784*c_0101_\ 6^19 - 331851238296786155537923059759303531383230349411392497430117\ 1127/328608021023061049014868223641964653837686688252111074125696*c\ _0101_6^17 + 564371028740330027533023739170070174981537561508543249\ 848883959/657216042046122098029736447283929307675373376504222148251\ 392*c_0101_6^15 - 8550923660582740235110521293215658472890562137660\ 744478280257137/131443208409224419605947289456785861535074675300844\ 4296502784*c_0101_6^13 + 591226279464574178563017470659251824656357\ 5498449592510151171115/65721604204612209802973644728392930767537337\ 6504222148251392*c_0101_6^11 - 466428337744170658821625560823040631\ 1533655183305089979085118033/13144320840922441960594728945678586153\ 50746753008444296502784*c_0101_6^9 + 1155845576016677864427746123848274377083245480709846338850893093/32\ 8608021023061049014868223641964653837686688252111074125696*c_0101_6\ ^7 - 24267320792133804224271466027367922994052385067102432217787389\ 55/1314432084092244196059472894567858615350746753008444296502784*c_\ 0101_6^5 + 45257582870020659222064483491559650022934082353626094350\ 781585/164304010511530524507434111820982326918843344126055537062848\ *c_0101_6^3 - 12040577892693067569677958380113316478775400556142249\ 28928103/8215200525576526225371705591049116345942167206302776853142\ 4*c_0101_6, c_0101_1 - 5820507384363197015305920953819338525827231160156469745451/6\ 57216042046122098029736447283929307675373376504222148251392*c_0101_\ 6^32 - 5129584080071753819680582131328912576918670781590765627795/2\ 0538001313941315563429263977622790864855418015756942132856*c_0101_6\ ^30 - 363314484856381660069376925207536408919939016659901349219935/\ 164304010511530524507434111820982326918843344126055537062848*c_0101\ _6^28 + 19922202602485290619576270992366972397724188643783641051329\ 899/657216042046122098029736447283929307675373376504222148251392*c_\ 0101_6^26 - 9145781576879440879728130206390641331017855462175229375\ 3988485/65721604204612209802973644728392930767537337650422214825139\ 2*c_0101_6^24 + 100613181873277645260621660781587360928818178524450\ 280118651161/821520052557652622537170559104911634594216720630277685\ 31424*c_0101_6^22 - 97140702392222760374578955606102590013661433151\ 3147757183196757/65721604204612209802973644728392930767537337650422\ 2148251392*c_0101_6^20 + 276286533824652182179283500765808155183075\ 643239810832901647049/657216042046122098029736447283929307675373376\ 504222148251392*c_0101_6^18 - 7509324857616098278663308406080627341\ 88408994474500569840307419/1643040105115305245074341118209823269188\ 43344126055537062848*c_0101_6^16 + 2578507197395157076238572842547015351112153309794063283043923/32860\ 8021023061049014868223641964653837686688252111074125696*c_0101_6^14 - 1963496361129648228492637475320770871290641883013536475870678645/\ 657216042046122098029736447283929307675373376504222148251392*c_0101\ _6^12 + 12609787423353762002175321993274535484153447216909920418906\ 29479/328608021023061049014868223641964653837686688252111074125696*\ c_0101_6^10 - 86485128152033481897959828147653582605767039224515546\ 3228182613/65721604204612209802973644728392930767537337650422214825\ 1392*c_0101_6^8 + 2470773104103110239818547358565685799955301865421\ 18836801196929/1643040105115305245074341118209823269188433441260555\ 37062848*c_0101_6^6 - 472740438582784936194066393941050834944125849\ 523759664956256183/657216042046122098029736447283929307675373376504\ 222148251392*c_0101_6^4 + 59911377887500308180673752861335337515725\ 36770707433491150625/8215200525576526225371705591049116345942167206\ 3027768531424*c_0101_6^2 - 5754233031486044122931416155750349620602\ 0400923508213191387/41076002627882631126858527955245581729710836031\ 513884265712, c_0101_3 - 3779121612727683805656930664624887029001746961703176057843/1\ 64304010511530524507434111820982326918843344126055537062848*c_0101_\ 6^32 - 26571933804883949562814112186996921747462099253677889143103/\ 41076002627882631126858527955245581729710836031513884265712*c_0101_\ 6^30 - 233849004222792048368816125902011949513375996950226675390243\ /41076002627882631126858527955245581729710836031513884265712*c_0101\ _6^28 + 13007808345949051635250829620210705322279957759974294179729\ 731/164304010511530524507434111820982326918843344126055537062848*c_\ 0101_6^26 - 6036468632689602930225997634817868353420595278236571663\ 6220769/16430401051153052450743411182098232691884334412605553706284\ 8*c_0101_6^24 + 131767649016492850864269583816559727369908233918792\ 288014972517/410760026278826311268585279552455817297108360315138842\ 65712*c_0101_6^22 - 67032781492851067515056593336334180816749694982\ 0983527919856381/16430401051153052450743411182098232691884334412605\ 5537062848*c_0101_6^20 + 224552807418918852637847392894684674344497\ 034032289215878751613/164304010511530524507434111820982326918843344\ 126055537062848*c_0101_6^18 - 2450922037456878121209259010195143222\ 21494147200956688065502925/2053800131394131556342926397762279086485\ 5418015756942132856*c_0101_6^16 + 759720869712726593912921889537466\ 32374957674788119562537309771/8215200525576526225371705591049116345\ 9421672063027768531424*c_0101_6^14 - 1263798501010842712221329785288580200760219496248439769477705781/16\ 4304010511530524507434111820982326918843344126055537062848*c_0101_6\ ^12 + 8684891697845904819889197368379797439910789432009031971683742\ 85/82152005255765262253717055910491163459421672063027768531424*c_01\ 01_6^10 - 678375416837412334759738944428959609887544463817288560389\ 439749/164304010511530524507434111820982326918843344126055537062848\ *c_0101_6^8 + 21156300288798271678186573101805863719409875592060801\ 192268525/513450032848532889085731599440569771621385450393923553321\ 4*c_0101_6^6 - 3533970313553479542238081517966344726444312247223800\ 86444255391/1643040105115305245074341118209823269188433441260555370\ 62848*c_0101_6^4 + 128512075052589140733004555856484101467296210487\ 90400881742815/4107600262788263112685852795524558172971083603151388\ 4265712*c_0101_6^2 - 3322650464487221891232853463313822560258267236\ 7995286433667/25672501642426644454286579972028488581069272519696177\ 66607, c_0101_6^34 + 28*c_0101_6^32 + 244*c_0101_6^30 - 3473*c_0101_6^28 + 16403*c_0101_6^26 - 141460*c_0101_6^24 + 194783*c_0101_6^22 - 81367*c_0101_6^20 + 526000*c_0101_6^18 - 104962*c_0101_6^16 + 338599*c_0101_6^14 - 501478*c_0101_6^12 + 236327*c_0101_6^10 - 200968*c_0101_6^8 + 115669*c_0101_6^6 - 25004*c_0101_6^4 + 2160*c_0101_6^2 - 64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB