Magma V2.19-8 Tue Aug 20 2013 16:16:25 on localhost [Seed = 88381928] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0689 geometric_solution 4.65271363 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 1023 0 0 0 0 0 -1 0 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.402231134421 0.182542790374 0 2 2 0 0132 0132 3201 1023 0 0 0 0 0 -1 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.823826265902 0.452064839187 1 1 3 3 2310 0132 0132 3201 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 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.231964077595 0.238100738668 4 2 5 2 0132 2310 0132 0132 0 0 0 0 0 -1 1 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 1 -1 0 0 0 1 -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 1.085292170095 0.968998647442 3 6 5 5 0132 0132 0213 2310 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 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.372176926299 0.728012978390 4 4 6 3 3201 0213 1023 0132 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 -1 0 1 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.372176926299 0.728012978390 6 4 5 6 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.443281087595 1.088994413426 ==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_0011_3'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), '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_0011_5'], '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_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_6'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0011_5']), '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_0101_1'], 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0011_3'], 'c_1010_6' : 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' : negation(d['c_0011_5']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_3, 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 - 325015597783520526173250772263131773499785680697095876682962561/366\ 43311571373200303797168081681366438957847077808920111526912*c_0101_\ 6^33 + 129237485712496303751930718799808171965175752713032791005206\ 9699/9160827892843300075949292020420341609739461769452230027881728*\ c_0101_6^31 - 42738073750795182254631320752268045733907088551216680\ 272051577493/366433115713732003037971680816813664389578470778089201\ 11526912*c_0101_6^29 + 27257639935158799654757076001954643746904146\ 80799674261114454620411/3664331157137320030379716808168136643895784\ 7077808920111526912*c_0101_6^27 - 695087702189304369481910360803216\ 6356590775498558522017003598849921/18321655785686600151898584040840\ 683219478923538904460055763456*c_0101_6^25 + 3032226814765184899092519686038204223944904391663707399581380456497\ 7/18321655785686600151898584040840683219478923538904460055763456*c_\ 0101_6^23 - 1184170431803357534205323548653088301842176501447290202\ 52919043088807/1832165578568660015189858404084068321947892353890446\ 0055763456*c_0101_6^21 + 840948755486290978405672032832529360961151\ 265847024894959442396319985/366433115713732003037971680816813664389\ 57847077808920111526912*c_0101_6^19 - 1287399326540299545034520175458107103596785618490515363604574312155\ 103/18321655785686600151898584040840683219478923538904460055763456*\ c_0101_6^17 + 51359350319736019665911725043268516783563994268160872\ 46330125759223831/3664331157137320030379716808168136643895784707780\ 8920111526912*c_0101_6^15 - 605181855226818499360131113728770057003\ 9016506952463904222940887262749/36643311571373200303797168081681366\ 438957847077808920111526912*c_0101_6^13 + 2795330882368144529451585794852373597172519671260865860312406478703\ 21/2290206973210825018987323005105085402434865442363057506970432*c_\ 0101_6^11 - 6041885501521619646205492049513340365732519295721750291\ 34198608809759/9160827892843300075949292020420341609739461769452230\ 027881728*c_0101_6^9 + 97608465959155795373533071018904839264880482\ 6278951889112831773260341/36643311571373200303797168081681366438957\ 847077808920111526912*c_0101_6^7 - 5881392552604458065113052750588903823860333425899897780482560502347\ 7/9160827892843300075949292020420341609739461769452230027881728*c_0\ 101_6^5 + 781726909244569768535909291041197089803833455987275229105\ 866295793/114510348660541250949366150255254270121743272118152875348\ 5216*c_0101_6^3 - 1436676264853850336461124161349989042407038066111\ 4305987872914873/57255174330270625474683075127627135060871636059076\ 4376742608*c_0101_6, c_0011_0 - 1, c_0011_3 - 15452070745371827626881142756519332396422008245735252135775/\ 2290206973210825018987323005105085402434865442363057506970432*c_010\ 1_6^32 + 1535641404521054395582453540078173344783540073846663275646\ 5/143137935825676563686707687819067837652179090147691094185652*c_01\ 01_6^30 - 203103604562804162002827505012991250435857412170088190848\ 0443/2290206973210825018987323005105085402434865442363057506970432*\ c_0101_6^28 + 12958431368031045891424901028805953760296673536346044\ 3533662481/22902069732108250189873230051050854024348654423630575069\ 70432*c_0101_6^26 - 33018832701182202958604492522323250925901961175\ 6788580295437737/11451034866054125094936615025525427012174327211815\ 28753485216*c_0101_6^24 + 14411553050474181505610363886569863242440\ 38997046538984304048603/1145103486605412509493661502552542701217432\ 721181528753485216*c_0101_6^22 - 5627086001835249555185940006553798\ 190454385392082724732679076245/114510348660541250949366150255254270\ 1217432721181528753485216*c_0101_6^20 + 39964776590981749877537161936893457000280811965732435075986461335/2\ 290206973210825018987323005105085402434865442363057506970432*c_0101\ _6^18 - 61179303088577745588512696483521446124508244670397068982576\ 031327/114510348660541250949366150255254270121743272118152875348521\ 6*c_0101_6^16 + 244063144442177706995994106399180005326036502330627\ 137593756881265/229020697321082501898732300510508540243486544236305\ 7506970432*c_0101_6^14 - 287861773588849717539873371510352700132812\ 274662832658566785128007/229020697321082501898732300510508540243486\ 5442363057506970432*c_0101_6^12 + 532857481930432953412161750793596\ 60977415791881138068519721371191/5725517433027062547468307512762713\ 50608716360590764376742608*c_0101_6^10 - 28822613411452934768248203777592432217459456076324328043725190713/5\ 72551743302706254746830751276271350608716360590764376742608*c_0101_\ 6^8 + 4662719735417184285433333661129300325245126126473492428358510\ 0763/2290206973210825018987323005105085402434865442363057506970432*\ c_0101_6^6 - 141092893748322471813352213765253592266721584773070124\ 3615037647/28627587165135312737341537563813567530435818029538218837\ 1304*c_0101_6^4 + 7530388631789489801509951681443043064976029931315\ 6945284944297/14313793582567656368670768781906783765217909014769109\ 4185652*c_0101_6^2 - 6692068220342493233465716681759258154938298514\ 75268368279991/3578448395641914092167692195476695941304477253692277\ 3546413, c_0011_5 + 9042336604320819845191901980862657732539334818992755605429/2\ 290206973210825018987323005105085402434865442363057506970432*c_0101\ _6^33 - 17792353522217399940996594051287135144641852598804437101777\ /286275871651353127373415375638135675304358180295382188371304*c_010\ 1_6^31 + 1166110676144167054496718120559600718202843848273757610719\ 129/2290206973210825018987323005105085402434865442363057506970432*c\ _0101_6^29 - 756490764414273378768395108086343935235803338216244048\ 19940947/2290206973210825018987323005105085402434865442363057506970\ 432*c_0101_6^27 + 1872019882724166384120489895914106314690158833648\ 86786240535679/1145103486605412509493661502552542701217432721181528\ 753485216*c_0101_6^25 - 8146665563953606989915487963971939350548888\ 82038043097161292569/1145103486605412509493661502552542701217432721\ 181528753485216*c_0101_6^23 + 3167473061209426264853624459312547445\ 566588546464517363023604559/114510348660541250949366150255254270121\ 7432721181528753485216*c_0101_6^21 - 22417547193240496646107127928002957671975328715988224211075180045/2\ 290206973210825018987323005105085402434865442363057506970432*c_0101\ _6^19 + 34089827212635609475103270245220389128093225475982453013950\ 713537/114510348660541250949366150255254270121743272118152875348521\ 6*c_0101_6^17 - 132481497714067304106750486396079352941198353925463\ 528992694356923/229020697321082501898732300510508540243486544236305\ 7506970432*c_0101_6^15 + 148869683020753791741415527275184843930951\ 359184786457653462718901/229020697321082501898732300510508540243486\ 5442363057506970432*c_0101_6^13 - 258522996707284831519724174467757\ 64376942603013608452050378383447/5725517433027062547468307512762713\ 50608716360590764376742608*c_0101_6^11 + 13239729038017066203958689582815896296599672314352290137290252607/5\ 72551743302706254746830751276271350608716360590764376742608*c_0101_\ 6^9 - 1991643786947853358430642313355195516363922735097510779483363\ 0313/2290206973210825018987323005105085402434865442363057506970432*\ c_0101_6^7 + 607922772716971480581764608273936034324289142973172798\ 02667960/3578448395641914092167692195476695941304477253692277354641\ 3*c_0101_6^5 - 5824036550792673186110804494562042574312220630826135\ 942120735/715689679128382818433538439095339188260895450738455470928\ 26*c_0101_6^3 - 152095558713752705912445006875605646752134394720269\ 060555545/715689679128382818433538439095339188260895450738455470928\ 26*c_0101_6, c_0101_0 + 119401962969317555926726603202587353556890888351457470004697\ /2290206973210825018987323005105085402434865442363057506970432*c_01\ 01_6^33 - 948302804317243091320656398558281710244766373809455256384\ 133/1145103486605412509493661502552542701217432721181528753485216*c\ _0101_6^31 + 156606916573248099570959407106543732614933844882573681\ 53892669/2290206973210825018987323005105085402434865442363057506970\ 432*c_0101_6^29 - 1001041396490771053643315832016092065414960011997\ 934162529460953/229020697321082501898732300510508540243486544236305\ 7506970432*c_0101_6^27 + 127148385807196939310909211344303783150095\ 3327531800123531289561/57255174330270625474683075127627135060871636\ 0590764376742608*c_0101_6^25 - 110859317421186400771793440046818058\ 08097076994911722513907900691/1145103486605412509493661502552542701\ 217432721181528753485216*c_0101_6^23 + 43270181222023519479860096427148858193851229204121575217003164981/1\ 145103486605412509493661502552542701217432721181528753485216*c_0101\ _6^21 - 30712308868806053471154266774745799845859408670381325182094\ 2973309/22902069732108250189873230051050854024348654423630575069704\ 32*c_0101_6^19 + 23486645853772969807142024001265189097643901875289\ 9949469773093319/57255174330270625474683075127627135060871636059076\ 4376742608*c_0101_6^17 - 186711856476450999605121896110043200476600\ 9253568164849539682661099/22902069732108250189873230051050854024348\ 65442363057506970432*c_0101_6^15 + 2184418636648668855344557877610737575118750002931236176952006283511\ /2290206973210825018987323005105085402434865442363057506970432*c_01\ 01_6^13 - 799231291787729652470190993756004565555006291794305444700\ 756557623/114510348660541250949366150255254270121743272118152875348\ 5216*c_0101_6^11 + 214044346288995558619282773254823249881392642878\ 871310477216527073/572551743302706254746830751276271350608716360590\ 764376742608*c_0101_6^9 - 34207640002618470704316276433756255846615\ 0569426828246796089861685/22902069732108250189873230051050854024348\ 65442363057506970432*c_0101_6^7 + 400292863615206411904827775704246\ 69434761728642473885549517445525/1145103486605412509493661502552542\ 701217432721181528753485216*c_0101_6^5 - 245345431760583273911491326206027017744368167608850808721261375/715\ 68967912838281843353843909533918826089545073845547092826*c_0101_6^3 + 3872774725712632182076644924844740120637582376322023057235587/357\ 84483956419140921676921954766959413044772536922773546413*c_0101_6, c_0101_1 - 6619520716887391234022739489241582859141478646265284680333/2\ 290206973210825018987323005105085402434865442363057506970432*c_0101\ _6^32 + 26267379230796710615973606339164099586649288280598079595585\ /572551743302706254746830751276271350608716360590764376742608*c_010\ 1_6^30 - 8674572980508317574786802006164542696889867982727020497834\ 57/2290206973210825018987323005105085402434865442363057506970432*c_\ 0101_6^28 + 5549325049471117246159888865143513934543030528712573987\ 9776967/22902069732108250189873230051050854024348654423630575069704\ 32*c_0101_6^26 - 14068448870747348096253136342806935927364421414457\ 9512819681585/11451034866054125094936615025525427012174327211815287\ 53485216*c_0101_6^24 + 61484512636921962525465429407129390638090968\ 6230378951189585021/11451034866054125094936615025525427012174327211\ 81528753485216*c_0101_6^22 - 23986437879821487450807418536037767767\ 30612332872524227428324867/1145103486605412509493661502552542701217\ 432721181528753485216*c_0101_6^20 + 17034688734294777074706390135768969876928018931594540286947329517/2\ 290206973210825018987323005105085402434865442363057506970432*c_0101\ _6^18 - 26059768035074802461951119991762587984473442416983702883853\ 674551/114510348660541250949366150255254270121743272118152875348521\ 6*c_0101_6^16 + 103722977796296704448425633286701084694954191779359\ 173670108164395/229020697321082501898732300510508540243486544236305\ 7506970432*c_0101_6^14 - 122235319810219423634808994633414631673076\ 580087710657279298467345/229020697321082501898732300510508540243486\ 5442363057506970432*c_0101_6^12 + 113387358152513991270359246054821\ 28558861284526656826615757405489/2862758716513531273734153756381356\ 75304358180295382188371304*c_0101_6^10 - 12288799066832700978699957467678901801495934044962420802792614255/5\ 72551743302706254746830751276271350608716360590764376742608*c_0101_\ 6^8 + 1989340023542600187855814232119554734130190728380310830601315\ 5473/2290206973210825018987323005105085402434865442363057506970432*\ c_0101_6^6 - 121168053592824542147631191514440534655563509310637399\ 7134395467/57255174330270625474683075127627135060871636059076437674\ 2608*c_0101_6^4 + 3249672044630497545592238746855938130403118996849\ 1364202513821/14313793582567656368670768781906783765217909014769109\ 4185652*c_0101_6^2 - 2697969785381547786611648251952754344319321621\ 39355664196423/3578448395641914092167692195476695941304477253692277\ 3546413, c_0101_3 - 25184084840091252991655046755160470089250855784856519209239/\ 2290206973210825018987323005105085402434865442363057506970432*c_010\ 1_6^32 + 6261394864802250325078829447290576498880767098576015451477\ /35784483956419140921676921954766959413044772536922773546413*c_0101\ _6^30 - 33139027366693187096412207452941873271529956927409284100318\ 91/2290206973210825018987323005105085402434865442363057506970432*c_\ 0101_6^28 + 2112249696507861062495877951288690925984855145327580824\ 96119465/2290206973210825018987323005105085402434865442363057506970\ 432*c_0101_6^26 - 5392742622163666348831563391505369107660036153737\ 85041050704969/1145103486605412509493661502552542701217432721181528\ 753485216*c_0101_6^24 + 2351711653664919561028167422517996604544311\ 591343366927411555507/114510348660541250949366150255254270121743272\ 1181528753485216*c_0101_6^22 - 918612249175091420059910345250240227\ 0234111394438092340509453629/11451034866054125094936615025525427012\ 17432721181528753485216*c_0101_6^20 + 65236045119745469032879972389678436293892253511062754809648702639/2\ 290206973210825018987323005105085402434865442363057506970432*c_0101\ _6^18 - 99884776075939285242833614729993514963628018054287788567716\ 950111/114510348660541250949366150255254270121743272118152875348521\ 6*c_0101_6^16 + 398681949408312877281834773736566373677987169537507\ 142651474020665/229020697321082501898732300510508540243486544236305\ 7506970432*c_0101_6^14 - 469846982430005892809485581030784369393476\ 760745349936500508821231/229020697321082501898732300510508540243486\ 5442363057506970432*c_0101_6^12 + 867752291622343530618737098287974\ 24554583336559877993898118393803/5725517433027062547468307512762713\ 50608716360590764376742608*c_0101_6^10 - 46887506001726280098863283592111938859561198789455200665277715521/5\ 72551743302706254746830751276271350608716360590764376742608*c_0101_\ 6^8 + 7573357913518635255620919762239577606151721454177178116994570\ 0371/2290206973210825018987323005105085402434865442363057506970432*\ c_0101_6^6 - 227922173205546786661610464854690869765682164372567812\ 6086286273/28627587165135312737341537563813567530435818029538218837\ 1304*c_0101_6^4 + 1211200016071441494260689562855723475725236737845\ 31554137090345/1431379358256765636867076878190678376521790901476910\ 94185652*c_0101_6^2 - 109428933437356074944885302963567256692741864\ 6895589042996535/35784483956419140921676921954766959413044772536922\ 773546413, c_0101_6^34 - 16*c_0101_6^32 + 133*c_0101_6^30 - 8399*c_0101_6^28 + 43566*c_0101_6^26 - 190634*c_0101_6^24 + 746326*c_0101_6^22 - 2656297*c_0101_6^20 + 8166658*c_0101_6^18 - 16550863*c_0101_6^16 + 20112761*c_0101_6^14 - 15517764*c_0101_6^12 + 8731900*c_0101_6^10 - 3702437*c_0101_6^8 + 1005736*c_0101_6^6 - 144560*c_0101_6^4 + 9920*c_0101_6^2 - 256 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB