Magma V2.19-8 Tue Aug 20 2013 16:18:19 on localhost [Seed = 1326371430] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2521 geometric_solution 5.83895287 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 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 -1 0 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 1.505436487518 0.544166733635 0 2 3 0 0132 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.751076149230 0.397015330134 4 1 5 6 0132 0132 0132 0132 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 -1 0 1 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.010299037159 0.913723588628 5 6 4 1 1023 0132 0132 0132 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.010299037159 0.913723588628 2 4 4 3 0132 3201 2310 0132 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.119491337205 0.672441036858 5 3 5 2 2031 1023 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.821598234836 0.683220056935 6 3 2 6 3201 0132 0132 2310 0 0 0 0 0 0 0 0 -1 0 0 1 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 -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.284762419409 0.502182483536 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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_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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], '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_3'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : negation(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_2'], 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : d['c_1001_1'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], '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_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : d['c_1001_1'], 'c_1010_1' : d['c_0101_1'], '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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 1997997402320932772999048863540921876/10311924197976804559169206008\ 5462553*c_1001_1^21 - 8714476707675639032310580402922421227/3093577\ 25939304136775076180256387659*c_1001_1^20 + 74088485505364224032346585728705565245/6187154518786082735501523605\ 12775318*c_1001_1^19 + 74968121097691531072600580436454379360/30935\ 7725939304136775076180256387659*c_1001_1^18 - 213137528380110503054908643650349673343/618715451878608273550152360\ 512775318*c_1001_1^17 - 282550953952210193038591805930094213325/309\ 357725939304136775076180256387659*c_1001_1^16 + 186078606824002089723756437010798881527/618715451878608273550152360\ 512775318*c_1001_1^15 + 308758498367381613192447923398469629237/103\ 119241979768045591692060085462553*c_1001_1^14 - 107270957706899985235324702702213233724/103119241979768045591692060\ 085462553*c_1001_1^13 - 120553857679505610044472434370461432581/229\ 15387106615121242598235574547234*c_1001_1^12 + 1647819457644147617066124144210385276516/30935772593930413677507618\ 0256387659*c_1001_1^11 - 1086883644018843739369360802513894351/7638\ 462368871707080866078524849078*c_1001_1^10 - 527837243308883836031203318021771205153/687461613198453637277947067\ 23641702*c_1001_1^9 + 1565321998752493738186632740716694929364/1031\ 19241979768045591692060085462553*c_1001_1^8 + 997851520140151729744761757731337516999/618715451878608273550152360\ 512775318*c_1001_1^7 - 16040381944353148220617425440621311938803/61\ 8715451878608273550152360512775318*c_1001_1^6 + 2060738410292019670121683751597427843808/30935772593930413677507618\ 0256387659*c_1001_1^5 + 5713996556014078010228150030379550132019/30\ 9357725939304136775076180256387659*c_1001_1^4 - 2503446002728687085098716829768101153701/30935772593930413677507618\ 0256387659*c_1001_1^3 - 175289502440381492192633810861397960229/687\ 46161319845363727794706723641702*c_1001_1^2 + 382082234507068390646504199279577701265/309357725939304136775076180\ 256387659*c_1001_1 - 11302265585338960339998504001888833502/1031192\ 41979768045591692060085462553, c_0011_0 - 1, c_0011_3 + 17340023394328751320086489856496159/229153871066151212425982\ 35574547234*c_1001_1^21 + 62360937120223841063617798932340705/68746\ 161319845363727794706723641702*c_1001_1^20 - 343420147252194811574198277237841139/687461613198453637277947067236\ 41702*c_1001_1^19 - 286831164548795607131231915576574020/3437308065\ 9922681863897353361820851*c_1001_1^18 + 1105455526480931273999528422496587471/68746161319845363727794706723\ 641702*c_1001_1^17 + 1128399886437614067068735626952055853/34373080\ 659922681863897353361820851*c_1001_1^16 - 732460963505288303927482426485045641/343730806599226818638973533618\ 20851*c_1001_1^15 - 1329852936942539104855414424841496690/114576935\ 53307560621299117787273617*c_1001_1^14 + 1609166686242877597917738234170871245/22915387106615121242598235574\ 547234*c_1001_1^13 + 1537468789616360297936029923405445997/76384623\ 68871707080866078524849078*c_1001_1^12 - 17856297010063721785292076870122870897/6874616131984536372779470672\ 3641702*c_1001_1^11 + 360892664105484296986398123406383465/76384623\ 68871707080866078524849078*c_1001_1^10 + 1162492763663893378687593968086313668/38192311844358535404330392624\ 24539*c_1001_1^9 - 15240971250410439563131304077725475597/229153871\ 06615121242598235574547234*c_1001_1^8 + 4990436390543593895377875908384983409/68746161319845363727794706723\ 641702*c_1001_1^7 + 72367614224759339744882208883880887163/68746161\ 319845363727794706723641702*c_1001_1^6 - 34503021556423018926637982588220947939/6874616131984536372779470672\ 3641702*c_1001_1^5 - 48495004896633175235062677716287453483/6874616\ 1319845363727794706723641702*c_1001_1^4 + 33730098424151540331740451847282908667/6874616131984536372779470672\ 3641702*c_1001_1^3 + 231140937381929515308635818431030858/381923118\ 4435853540433039262424539*c_1001_1^2 - 5092696875026203813611677651871200213/68746161319845363727794706723\ 641702*c_1001_1 + 79536394082335093817593008279529141/1145769355330\ 7560621299117787273617, c_0101_0 + 45522458264371815766263266781/80811476363933339125982083799*\ c_1001_1^21 + 50447447059003719921378313183/80811476363933339125982\ 083799*c_1001_1^20 - 311383236677828313454287061271/808114763639333\ 39125982083799*c_1001_1^19 - 488906646955174039940875925567/8081147\ 6363933339125982083799*c_1001_1^18 + 1035026355346386809509662179700/80811476363933339125982083799*c_100\ 1_1^17 + 1979332338485758941220765844654/80811476363933339125982083\ 799*c_1001_1^16 - 1475301093787115699229171237136/80811476363933339\ 125982083799*c_1001_1^15 - 7141167606904867702002955160479/80811476\ 363933339125982083799*c_1001_1^14 + 4687224575596111656179920709774/80811476363933339125982083799*c_100\ 1_1^13 + 12428542570076001931157787178756/8081147636393333912598208\ 3799*c_1001_1^12 - 16412266814316358702864596171484/808114763639333\ 39125982083799*c_1001_1^11 + 3083953531780671638993049722602/808114\ 76363933339125982083799*c_1001_1^10 + 18625020762068899804739649521129/80811476363933339125982083799*c_10\ 01_1^9 - 41400950094801377875791935102210/8081147636393333912598208\ 3799*c_1001_1^8 + 6022555488736160291661598915144/80811476363933339\ 125982083799*c_1001_1^7 + 65742299338110159794621725950173/80811476\ 363933339125982083799*c_1001_1^6 - 33160176195839691480708301947177/80811476363933339125982083799*c_10\ 01_1^5 - 44430094550401778691226363743832/8081147636393333912598208\ 3799*c_1001_1^4 + 31415775107440236374343019356423/8081147636393333\ 9125982083799*c_1001_1^3 + 3828929006147772998472546993161/80811476\ 363933339125982083799*c_1001_1^2 - 4804305418662008570588250949010/80811476363933339125982083799*c_100\ 1_1 + 534613531958117247031081464924/80811476363933339125982083799, c_0101_1 + 54257970045554649015196119429/80811476363933339125982083799*\ c_1001_1^21 + 79533387203940323092023910673/80811476363933339125982\ 083799*c_1001_1^20 - 334088826443764961810402711131/808114763639333\ 39125982083799*c_1001_1^19 - 681892640795064029990259202361/8081147\ 6363933339125982083799*c_1001_1^18 + 956662694427475095917381044895/80811476363933339125982083799*c_1001\ _1^17 + 2568036153271898380645092838287/808114763639333391259820837\ 99*c_1001_1^16 - 813088897423113685159696397866/8081147636393333912\ 5982083799*c_1001_1^15 - 8399441216322628523743648373891/8081147636\ 3933339125982083799*c_1001_1^14 + 2812993259917305569415335373262/8\ 0811476363933339125982083799*c_1001_1^13 + 14777015640433071446328280034228/80811476363933339125982083799*c_10\ 01_1^12 - 14699494497096533685758623261947/808114763639333391259820\ 83799*c_1001_1^11 + 186976389734581275509565436160/8081147636393333\ 9125982083799*c_1001_1^10 + 21372546720075623563529133236973/808114\ 76363933339125982083799*c_1001_1^9 - 42118214454089015160966782122482/80811476363933339125982083799*c_10\ 01_1^8 - 4959207057488939972316402873367/80811476363933339125982083\ 799*c_1001_1^7 + 72349214521302686161416455671703/80811476363933339\ 125982083799*c_1001_1^6 - 17587727415800838773466815708977/80811476\ 363933339125982083799*c_1001_1^5 - 52079940782144535645376257388140/80811476363933339125982083799*c_10\ 01_1^4 + 21470050626084116597599818100595/8081147636393333912598208\ 3799*c_1001_1^3 + 7738867627287249099001474853865/80811476363933339\ 125982083799*c_1001_1^2 - 2893720585587200137277634896529/808114763\ 63933339125982083799*c_1001_1 + 108880407995217130999277792762/8081\ 1476363933339125982083799, c_0101_2 - 3464039119453504719973406186314125/7638462368871707080866078\ 524849078*c_1001_1^21 - 4505773803835833083221365633943187/76384623\ 68871707080866078524849078*c_1001_1^20 + 11154714766628598957089138714910067/3819231184435853540433039262424\ 539*c_1001_1^19 + 20135936120363949718635778256023036/3819231184435\ 853540433039262424539*c_1001_1^18 - 68965558729461064727222586571503307/7638462368871707080866078524849\ 078*c_1001_1^17 - 77850815821260093214237505058602283/3819231184435\ 853540433039262424539*c_1001_1^16 + 40317576395753218836537577173875230/3819231184435853540433039262424\ 539*c_1001_1^15 + 266943123543892225279231580720416341/381923118443\ 5853540433039262424539*c_1001_1^14 - 134129536989434045805339598261939771/381923118443585354043303926242\ 4539*c_1001_1^13 - 466501491082972192449582799591430393/38192311844\ 35853540433039262424539*c_1001_1^12 + 1097506173288128724644248137310622125/76384623688717070808660785248\ 49078*c_1001_1^11 - 133670760072079991944608084848665445/7638462368\ 871707080866078524849078*c_1001_1^10 - 1392666829375788520346581969612610867/76384623688717070808660785248\ 49078*c_1001_1^9 + 1456408244810966606277350240432210474/3819231184\ 435853540433039262424539*c_1001_1^8 - 77207642476320000869211172581202969/7638462368871707080866078524849\ 078*c_1001_1^7 - 2381727731091474477604559396693996206/381923118443\ 5853540433039262424539*c_1001_1^6 + 928015791108110623228778032306760633/381923118443585354043303926242\ 4539*c_1001_1^5 + 1646709901505390046265954540521095281/38192311844\ 35853540433039262424539*c_1001_1^4 - 1941469631325871824995676834495968623/76384623688717070808660785248\ 49078*c_1001_1^3 - 380075391405590939867791146507871105/76384623688\ 71707080866078524849078*c_1001_1^2 + 299720853362688898944716824179569033/763846236887170708086607852484\ 9078*c_1001_1 - 17082700608775026537136791092921365/763846236887170\ 7080866078524849078, c_0101_4 - 4693607962508027463800839313038912/1145769355330756062129911\ 7787273617*c_1001_1^21 - 54188669117219493496052720016322789/687461\ 61319845363727794706723641702*c_1001_1^20 + 76143597979718081364390509395676281/3437308065992268186389735336182\ 0851*c_1001_1^19 + 215079718358906783424092834451322964/34373080659\ 922681863897353361820851*c_1001_1^18 - 160069516169388578233576014907367492/343730806599226818638973533618\ 20851*c_1001_1^17 - 765084110429538085692019442077625641/3437308065\ 9922681863897353361820851*c_1001_1^16 - 113758895990698560667578516140801365/343730806599226818638973533618\ 20851*c_1001_1^15 + 1478676228990242101539115485830186027/229153871\ 06615121242598235574547234*c_1001_1^14 + 186475816906922995434563060551476199/229153871066151212425982355745\ 47234*c_1001_1^13 - 442762934512195733627181953902525322/3819231184\ 435853540433039262424539*c_1001_1^12 + 2026959214175270352525652853660227201/34373080659922681863897353361\ 820851*c_1001_1^11 + 305558329335620135175305464771674607/763846236\ 8871707080866078524849078*c_1001_1^10 - 1184069665969909562488275116125541967/76384623688717070808660785248\ 49078*c_1001_1^9 + 2812290975526929903531579013233108548/1145769355\ 3307560621299117787273617*c_1001_1^8 + 11758666079062308847066950061178165671/6874616131984536372779470672\ 3641702*c_1001_1^7 - 34774122147824527031373087951243175637/6874616\ 1319845363727794706723641702*c_1001_1^6 - 7614596775765391597160159129356499677/68746161319845363727794706723\ 641702*c_1001_1^5 + 14072443952234588315507256855907553324/34373080\ 659922681863897353361820851*c_1001_1^4 + 1311245572925979958479278747810554889/68746161319845363727794706723\ 641702*c_1001_1^3 - 377521101235029443180214412328700773/3819231184\ 435853540433039262424539*c_1001_1^2 - 636151431078957665952736432168623775/687461613198453637277947067236\ 41702*c_1001_1 + 28315038560110401348921864846181853/11457693553307\ 560621299117787273617, c_1001_1^22 + 2/3*c_1001_1^21 - 22/3*c_1001_1^20 - 23/3*c_1001_1^19 + 83/3*c_1001_1^18 + 100/3*c_1001_1^17 - 158/3*c_1001_1^16 - 143*c_1001_1^15 + 175*c_1001_1^14 + 231*c_1001_1^13 - 1462/3*c_1001_1^12 + 220*c_1001_1^11 + 390*c_1001_1^10 - 1091*c_1001_1^9 + 1585/3*c_1001_1^8 + 4219/3*c_1001_1^7 - 4156/3*c_1001_1^6 - 2093/3*c_1001_1^5 + 3467/3*c_1001_1^4 - 179*c_1001_1^3 - 487/3*c_1001_1^2 + 47*c_1001_1 - 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB