Magma V2.19-8 Tue Aug 20 2013 16:17:03 on localhost [Seed = 3802365488] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1296 geometric_solution 5.18753803 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 -1 1 0 0 -1 1 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 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 1.049888378148 1.093714759745 0 3 2 4 0132 0132 0132 0132 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 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.021789554815 0.868369359939 3 0 4 1 3201 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 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 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.021789554815 0.868369359939 3 1 3 2 2310 0132 3201 2310 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 1 0 -1 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.388068541629 0.850632749269 2 5 1 5 2310 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.599251383783 1.947230761512 4 4 6 6 3201 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.272714889002 0.166049568247 5 6 5 6 2310 2310 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 0 0 0 0 0 0 0 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.703972950902 0.477942249162 ==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' : negation(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' : negation(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' : negation(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_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_0'], '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' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 82588401510567174452405662083489395151/1351868715972999170851973474\ 9564434520*c_0101_6^20 + 40619818473244558638617209572386688587/675\ 9343579864995854259867374782217260*c_0101_6^19 - 165875637698451486996210030305281837399/337967178993249792712993368\ 7391108630*c_0101_6^18 - 255405760942706428654828735057955387431/33\ 79671789932497927129933687391108630*c_0101_6^17 + 235091799462836451074193360403606210585/135186871597299917085197347\ 4956443452*c_0101_6^16 + 5459900174066770683597012805753503699521/1\ 3518687159729991708519734749564434520*c_0101_6^15 - 42075144766561717146861129506759933935/1039899012286922439116902673\ 04341804*c_0101_6^14 - 3581861154242397277142722568915375095803/270\ 3737431945998341703946949912886904*c_0101_6^13 + 1154378018391691711448814182428200479626/16898358949662489635649668\ 43695554315*c_0101_6^12 + 44097944479640528725345668605759596538143\ /13518687159729991708519734749564434520*c_0101_6^11 - 5676462146716352996454881047922499651147/13518687159729991708519734\ 749564434520*c_0101_6^10 - 1115863967896042540508846895823044450870\ 6/1689835894966248963564966843695554315*c_0101_6^9 - 10398520078675074321505591164554205466581/1351868715972999170851973\ 4749564434520*c_0101_6^8 + 1303331195268720920335284210217899787755\ 63/13518687159729991708519734749564434520*c_0101_6^7 + 9363256356001659356464297269357743102629/67593435798649958542598673\ 74782217260*c_0101_6^6 - 110118212952747757798509555201339046569361\ /13518687159729991708519734749564434520*c_0101_6^5 - 13277979745080969990640006211168111041147/1351868715972999170851973\ 4749564434520*c_0101_6^4 + 4472346288415405973274363542409246103430\ 3/13518687159729991708519734749564434520*c_0101_6^3 + 7970866836146917018242593445776545722093/13518687159729991708519734\ 749564434520*c_0101_6^2 - 1485892223905455794101056594172926663577/\ 2703737431945998341703946949912886904*c_0101_6 - 1893323987652674807089995973813535813313/13518687159729991708519734\ 749564434520, c_0011_0 - 1, c_0011_4 + 2648225321148067564302259433639/2599747530717306097792256682\ 6085451*c_0101_6^20 - 9364230097374276233669160880834148/2599747530\ 7173060977922566826085451*c_0101_6^19 - 19625566163916176881009500497102099/2599747530717306097792256682608\ 5451*c_0101_6^18 + 48412117516313688982390004542833294/259974753071\ 73060977922566826085451*c_0101_6^17 + 158321391302597677400228853751271051/259974753071730609779225668260\ 85451*c_0101_6^16 - 67439555020075768295129879550481268/25997475307\ 173060977922566826085451*c_0101_6^15 - 605778390120192860843014909278355602/259974753071730609779225668260\ 85451*c_0101_6^14 - 66513182098734745187229269821079593/25997475307\ 173060977922566826085451*c_0101_6^13 + 1641568159631135332992390614743328777/25997475307173060977922566826\ 085451*c_0101_6^12 + 665106301957962744056284512334415642/259974753\ 07173060977922566826085451*c_0101_6^11 - 3463058950614002132343336062853408985/25997475307173060977922566826\ 085451*c_0101_6^10 - 2682238024732844975469988606351255518/25997475\ 307173060977922566826085451*c_0101_6^9 + 5546484342585406918550577006656229889/25997475307173060977922566826\ 085451*c_0101_6^8 + 5614564880270499824204006997286972731/259974753\ 07173060977922566826085451*c_0101_6^7 - 6244412968322946354156865763134359941/25997475307173060977922566826\ 085451*c_0101_6^6 - 5790466999078624545917407005512326807/259974753\ 07173060977922566826085451*c_0101_6^5 + 3966641904627830204672527147350940773/25997475307173060977922566826\ 085451*c_0101_6^4 + 2913200685368033977164851556928329069/259974753\ 07173060977922566826085451*c_0101_6^3 - 865409517803381578188617006007515726/259974753071730609779225668260\ 85451*c_0101_6^2 - 670562212664963238269213965189212039/25997475307\ 173060977922566826085451*c_0101_6 - 48070565698973950979695594066228306/2599747530717306097792256682608\ 5451, c_0011_6 - 2170779798128448254329364087632459/2599747530717306097792256\ 6826085451*c_0101_6^20 - 774147854318936444283452587041520/25997475\ 307173060977922566826085451*c_0101_6^19 + 16141981352967359748772742683252617/2599747530717306097792256682608\ 5451*c_0101_6^18 + 6955561385664875051225801726587089/2599747530717\ 3060977922566826085451*c_0101_6^17 - 74775717959944767333799213189141051/2599747530717306097792256682608\ 5451*c_0101_6^16 - 50097981535823379016051296331131630/259974753071\ 73060977922566826085451*c_0101_6^15 + 281813892889460521764132246894893779/259974753071730609779225668260\ 85451*c_0101_6^14 + 242601050160827200987110415272092304/2599747530\ 7173060977922566826085451*c_0101_6^13 - 753273482589344520881779146269966068/259974753071730609779225668260\ 85451*c_0101_6^12 - 747644120079482459348551602060408965/2599747530\ 7173060977922566826085451*c_0101_6^11 + 1480450533534904791172345199222479874/25997475307173060977922566826\ 085451*c_0101_6^10 + 1907323401636417207111510069987016854/25997475\ 307173060977922566826085451*c_0101_6^9 - 2642656152149679809578468373738732633/25997475307173060977922566826\ 085451*c_0101_6^8 - 3684474309439548348809452836888648852/259974753\ 07173060977922566826085451*c_0101_6^7 + 3738220042309683398525619929746907803/25997475307173060977922566826\ 085451*c_0101_6^6 + 4062182489392686193769419699200054805/259974753\ 07173060977922566826085451*c_0101_6^5 - 2760186966516522460349147181510918818/25997475307173060977922566826\ 085451*c_0101_6^4 - 2203505071642391249717445019563488374/259974753\ 07173060977922566826085451*c_0101_6^3 + 613522891882036567898004789211324528/259974753071730609779225668260\ 85451*c_0101_6^2 + 535311238729809602680403359484117121/25997475307\ 173060977922566826085451*c_0101_6 + 43764072685712380730978877052902135/2599747530717306097792256682608\ 5451, c_0101_0 - 680633779020051245583969910786629/25997475307173060977922566\ 826085451*c_0101_6^20 - 1563171394653075725589766511228258/25997475\ 307173060977922566826085451*c_0101_6^19 + 8143981304511218328928261179282305/25997475307173060977922566826085\ 451*c_0101_6^18 + 27814767255828753406328552102440715/2599747530717\ 3060977922566826085451*c_0101_6^17 - 13145827068671871832537510154347291/2599747530717306097792256682608\ 5451*c_0101_6^16 - 146823492410925074755075670209600126/25997475307\ 173060977922566826085451*c_0101_6^15 - 86839593354514815961398468328421767/2599747530717306097792256682608\ 5451*c_0101_6^14 + 397562401981861710273851214772109645/25997475307\ 173060977922566826085451*c_0101_6^13 + 447849776737168411962886303678710900/259974753071730609779225668260\ 85451*c_0101_6^12 - 794636341053668520543544326035599917/2599747530\ 7173060977922566826085451*c_0101_6^11 - 1346842545087386998497326050206128196/25997475307173060977922566826\ 085451*c_0101_6^10 + 1186687559163583657053652250572844831/25997475\ 307173060977922566826085451*c_0101_6^9 + 3221652630797026053987143539377077804/25997475307173060977922566826\ 085451*c_0101_6^8 - 596553553902389436005254225177698216/2599747530\ 7173060977922566826085451*c_0101_6^7 - 4723083534490862753032375117583109381/25997475307173060977922566826\ 085451*c_0101_6^6 - 1082752269241873929438305851514114413/259974753\ 07173060977922566826085451*c_0101_6^5 + 3340090908039935801153309140729260823/25997475307173060977922566826\ 085451*c_0101_6^4 + 1541022661446034261938179305720990313/259974753\ 07173060977922566826085451*c_0101_6^3 - 800048112605987880935936217657387373/259974753071730609779225668260\ 85451*c_0101_6^2 - 520649199497451134000117606791449205/25997475307\ 173060977922566826085451*c_0101_6 - 43316846013708903028631249722664529/2599747530717306097792256682608\ 5451, c_0101_1 - 3665430020620497747216481436514587/2599747530717306097792256\ 6826085451*c_0101_6^20 - 11509279548735794713656820914431525/259974\ 75307173060977922566826085451*c_0101_6^19 + 5619125202333304393295206634360263/25997475307173060977922566826085\ 451*c_0101_6^18 + 66518045133236549059018945578086659/2599747530717\ 3060977922566826085451*c_0101_6^17 + 56084223224253878127706577889556976/2599747530717306097792256682608\ 5451*c_0101_6^16 - 153900234901579746725406183645363447/25997475307\ 173060977922566826085451*c_0101_6^15 - 227118122865625582503394432472538982/259974753071730609779225668260\ 85451*c_0101_6^14 + 271606239929723158010467422527788148/2599747530\ 7173060977922566826085451*c_0101_6^13 + 590978402780349071256988324600876913/259974753071730609779225668260\ 85451*c_0101_6^12 - 337792715604685432028732183394858209/2599747530\ 7173060977922566826085451*c_0101_6^11 - 1384278996974406780339830303682894798/25997475307173060977922566826\ 085451*c_0101_6^10 - 209673666607643256362270134388114151/259974753\ 07173060977922566826085451*c_0101_6^9 + 1599151216649792465787937384996334044/25997475307173060977922566826\ 085451*c_0101_6^8 + 969582965020139511431315013222128573/2599747530\ 7173060977922566826085451*c_0101_6^7 + 37812256037544792343580174336150307/2599747530717306097792256682608\ 5451*c_0101_6^6 - 510729528291100251815769643330503582/259974753071\ 73060977922566826085451*c_0101_6^5 - 1225836852869585782931418333943198342/25997475307173060977922566826\ 085451*c_0101_6^4 - 265044293492815738841265589063024210/2599747530\ 7173060977922566826085451*c_0101_6^3 + 539044658004265116647531225021358108/259974753071730609779225668260\ 85451*c_0101_6^2 + 191806660182044701237465750577032245/25997475307\ 173060977922566826085451*c_0101_6 - 4768500114129720640502799627142867/25997475307173060977922566826085\ 451, c_0101_2 + 23516395364175215092717605985560802/259974753071730609779225\ 66826085451*c_0101_6^20 + 51597102289819878018506020738226461/25997\ 475307173060977922566826085451*c_0101_6^19 - 121797594623096839709245563178274396/259974753071730609779225668260\ 85451*c_0101_6^18 - 427936361551874439079162704853182854/2599747530\ 7173060977922566826085451*c_0101_6^17 + 128518007239657046818571679053661934/259974753071730609779225668260\ 85451*c_0101_6^16 + 1625755204631249170866990444908746444/259974753\ 07173060977922566826085451*c_0101_6^15 + 427435852487506571895307756522084693/259974753071730609779225668260\ 85451*c_0101_6^14 - 4270518730994072932293506824907130026/259974753\ 07173060977922566826085451*c_0101_6^13 - 2431286077066511019664193421611865634/25997475307173060977922566826\ 085451*c_0101_6^12 + 8817020209684201794100615997832974722/25997475\ 307173060977922566826085451*c_0101_6^11 + 8526021340031471286762993685119633937/25997475307173060977922566826\ 085451*c_0101_6^10 - 13491296958455692009951151222264367988/2599747\ 5307173060977922566826085451*c_0101_6^9 - 17524742101808152126575087540226754904/2599747530717306097792256682\ 6085451*c_0101_6^8 + 13546736897877691887130291136496338554/2599747\ 5307173060977922566826085451*c_0101_6^7 + 18242313247041646977512590238025567511/2599747530717306097792256682\ 6085451*c_0101_6^6 - 7164250691588574236024451780011365548/25997475\ 307173060977922566826085451*c_0101_6^5 - 8918598999820321203200149673244309515/25997475307173060977922566826\ 085451*c_0101_6^4 + 1095835873107022198889393922585429872/259974753\ 07173060977922566826085451*c_0101_6^3 + 1803810206831370471014402714844768273/25997475307173060977922566826\ 085451*c_0101_6^2 + 104156136288441724806433307094003040/2599747530\ 7173060977922566826085451*c_0101_6 - 19400559998446925076674433488870586/2599747530717306097792256682608\ 5451, c_0101_6^21 + c_0101_6^20 - 89/11*c_0101_6^19 - 139/11*c_0101_6^18 + 316/11*c_0101_6^17 + 746/11*c_0101_6^16 - 728/11*c_0101_6^15 - 2456/11*c_0101_6^14 + 109*c_0101_6^13 + 6063/11*c_0101_6^12 - 628/11*c_0101_6^11 - 12278/11*c_0101_6^10 - 1779/11*c_0101_6^9 + 17991/11*c_0101_6^8 + 3285/11*c_0101_6^7 - 15439/11*c_0101_6^6 - 2608/11*c_0101_6^5 + 6489/11*c_0101_6^4 + 1476/11*c_0101_6^3 - 1094/11*c_0101_6^2 - 31*c_0101_6 - 13/11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB