Magma V2.19-8 Tue Aug 20 2013 16:16:33 on localhost [Seed = 1545453699] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0847 geometric_solution 4.76458494 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 1 0132 0132 3201 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 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.221201846312 0.188468640783 0 0 4 3 0132 2310 0132 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 -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.056908254100 1.695383070609 0 0 2 2 2310 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5.463769286430 2.297089940378 5 4 1 4 0132 2031 0132 3012 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.637540792644 0.666727667342 3 5 3 1 1302 3201 1230 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 1 -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.637540792644 0.666727667342 3 6 4 6 0132 0132 2310 2310 0 0 0 0 0 -1 1 0 0 0 -1 1 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 1 0 0 0 -1 1 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.511551964970 1.041735932938 5 5 6 6 3201 0132 2031 1302 0 0 0 0 0 1 0 -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 1 0 -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.480994769036 0.145256832572 ==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' : 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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0101_0']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_5'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0101_5'], 'c_1100_2' : d['c_0101_2'], 'c_0101_6' : negation(d['c_0101_0']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : 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' : negation(d['c_0011_3']), 'c_0011_4' : 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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0101_0'], '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_0']), 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(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_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 246569954630382529769948031897446300336813399057210/489098482083401\ 4609364834708224339739144609441291*c_0110_6^22 - 303558261331571248699923616686585144727836317195101/489098482083401\ 4609364834708224339739144609441291*c_0110_6^21 + 14649919488369004501850904335985111671956108672626245/4890984820834\ 014609364834708224339739144609441291*c_0110_6^20 + 794424910538640049328612524824541065544192031109727/444634983712183\ 146305894064384030885376782676481*c_0110_6^19 - 160748833230179121407851609541321279221645583160001844/489098482083\ 4014609364834708224339739144609441291*c_0110_6^18 + 225042919128049578854110754738702747453148229797294299/489098482083\ 4014609364834708224339739144609441291*c_0110_6^17 + 36440676990177694515980935441804663982402704095896652/4446349837121\ 83146305894064384030885376782676481*c_0110_6^16 - 113544470067113266998295813245839271079267489515372830/444634983712\ 183146305894064384030885376782676481*c_0110_6^15 + 34562669683202432682186302765297988907856520886612468/4890984820834\ 014609364834708224339739144609441291*c_0110_6^14 + 2455380899638788765749250480259670999476937223087214396/48909848208\ 34014609364834708224339739144609441291*c_0110_6^13 - 1311674134136962779672956383959526774824413284194552985/48909848208\ 34014609364834708224339739144609441291*c_0110_6^12 - 2483230255319913689430531129765666940771256459056585184/48909848208\ 34014609364834708224339739144609441291*c_0110_6^11 + 1968166050208453508270727391741505990017511994573141147/48909848208\ 34014609364834708224339739144609441291*c_0110_6^10 + 1545607395424204480527671912503034679960866487259128689/48909848208\ 34014609364834708224339739144609441291*c_0110_6^9 - 1238792779842414713132115560320992411765668614294131274/48909848208\ 34014609364834708224339739144609441291*c_0110_6^8 - 743662978086031193259611333493274529981913973922688348/489098482083\ 4014609364834708224339739144609441291*c_0110_6^7 + 33470901101664673027331295026831707046473952882180190/4446349837121\ 83146305894064384030885376782676481*c_0110_6^6 + 240221235352719702235279145239615921228858269010880497/489098482083\ 4014609364834708224339739144609441291*c_0110_6^5 - 40163595233521596357787442576558701893010957489563514/4890984820834\ 014609364834708224339739144609441291*c_0110_6^4 - 35175489090758082538696054451807564524936834623429886/4890984820834\ 014609364834708224339739144609441291*c_0110_6^3 - 2582292700409106239790855256837271904603534529697024/48909848208340\ 14609364834708224339739144609441291*c_0110_6^2 + 1597405971596920127968010332206981210509471242370122/48909848208340\ 14609364834708224339739144609441291*c_0110_6 + 605288227197835608454404302703121694754394462204243/489098482083401\ 4609364834708224339739144609441291, c_0011_0 - 1, c_0011_3 + 2986471916851952784007340791400817142663541264465/4446349837\ 12183146305894064384030885376782676481*c_0110_6^22 + 3424904007370498497065425250056132066749409910189/44463498371218314\ 6305894064384030885376782676481*c_0110_6^21 - 177519799288809930994989478580954725106220330489249/444634983712183\ 146305894064384030885376782676481*c_0110_6^20 - 90050271221755357996886375705826617986322544879327/4446349837121831\ 46305894064384030885376782676481*c_0110_6^19 + 1942985985767519028990222302896930927729889338126715/44463498371218\ 3146305894064384030885376782676481*c_0110_6^18 - 2930014217070398190746904172027226181292327205647000/44463498371218\ 3146305894064384030885376782676481*c_0110_6^17 - 4499899517299985514002383323709059989657515126185266/44463498371218\ 3146305894064384030885376782676481*c_0110_6^16 + 15653203808370351324536309365636258001714488746019792/4446349837121\ 83146305894064384030885376782676481*c_0110_6^15 - 2529967200030769590129683437823485754320789663880022/44463498371218\ 3146305894064384030885376782676481*c_0110_6^14 - 29268975028356361526177812636892573137359448620464979/4446349837121\ 83146305894064384030885376782676481*c_0110_6^13 + 20717507652675494382051281822735540214725176622688599/4446349837121\ 83146305894064384030885376782676481*c_0110_6^12 + 26117306359447936052449708151698369096645097719824254/4446349837121\ 83146305894064384030885376782676481*c_0110_6^11 - 28993379683782848123808799745719480863346643783421015/4446349837121\ 83146305894064384030885376782676481*c_0110_6^10 - 11781682728992075386850020547126104144909556818475334/4446349837121\ 83146305894064384030885376782676481*c_0110_6^9 + 17480420755118476870409355255487002126081134982016805/4446349837121\ 83146305894064384030885376782676481*c_0110_6^8 + 3434683787439160880785690554931798145740178393574347/44463498371218\ 3146305894064384030885376782676481*c_0110_6^7 - 4805485344438622789821859041552842350073690585313244/44463498371218\ 3146305894064384030885376782676481*c_0110_6^6 - 903848031954161804968321406330117002574326140399792/444634983712183\ 146305894064384030885376782676481*c_0110_6^5 + 478909534627240379391224870956556247011159443319156/444634983712183\ 146305894064384030885376782676481*c_0110_6^4 + 155619774614371336412860350265371992407242382373297/444634983712183\ 146305894064384030885376782676481*c_0110_6^3 + 6338676236330203026121392138526969735588843481449/44463498371218314\ 6305894064384030885376782676481*c_0110_6^2 - 9590520339957083539924911440951090208055975310007/44463498371218314\ 6305894064384030885376782676481*c_0110_6 - 1793749096264599377772355858927331094155329457846/44463498371218314\ 6305894064384030885376782676481, c_0101_0 + 1832377273930676376154487332196628951034089993355/4446349837\ 12183146305894064384030885376782676481*c_0110_6^22 + 2121855536735057399807240090615905859372248420013/44463498371218314\ 6305894064384030885376782676481*c_0110_6^21 - 108898716894279233842830479539993879315642669134640/444634983712183\ 146305894064384030885376782676481*c_0110_6^20 - 56492097409823346513029800926051130528571540915132/4446349837121831\ 46305894064384030885376782676481*c_0110_6^19 + 1191707365598539212791027141255351311516129542498341/44463498371218\ 3146305894064384030885376782676481*c_0110_6^18 - 1783107195159714205028093020609356577936842472561922/44463498371218\ 3146305894064384030885376782676481*c_0110_6^17 - 2783467486375713581856258356704651078313925618372173/44463498371218\ 3146305894064384030885376782676481*c_0110_6^16 + 9563252782785848456136954260534644297217952757182214/44463498371218\ 3146305894064384030885376782676481*c_0110_6^15 - 1411125471680499150711347938276093359233926405731439/44463498371218\ 3146305894064384030885376782676481*c_0110_6^14 - 17980729294230596397713828171187530795556430021101608/4446349837121\ 83146305894064384030885376782676481*c_0110_6^13 + 12397571444341811760560764890436514495138753168764176/4446349837121\ 83146305894064384030885376782676481*c_0110_6^12 + 16289804522703314098068006107721770507825305800935859/4446349837121\ 83146305894064384030885376782676481*c_0110_6^11 - 17489059116095370132571541901037862730520742422274818/4446349837121\ 83146305894064384030885376782676481*c_0110_6^10 - 7681686655941984261898141431214134546662455141159890/44463498371218\ 3146305894064384030885376782676481*c_0110_6^9 + 10639401178647723766657071384464279040131723144233637/4446349837121\ 83146305894064384030885376782676481*c_0110_6^8 + 2443254094320140930634312889573903588578483105073449/44463498371218\ 3146305894064384030885376782676481*c_0110_6^7 - 2984661316001103730742739632189862096968092205742591/44463498371218\ 3146305894064384030885376782676481*c_0110_6^6 - 659815552536652259649962481769993633365532461346094/444634983712183\ 146305894064384030885376782676481*c_0110_6^5 + 304496850529896696401177330448139756512178946743412/444634983712183\ 146305894064384030885376782676481*c_0110_6^4 + 107193508251231728079113585537194240418882732521089/444634983712183\ 146305894064384030885376782676481*c_0110_6^3 + 5998764926272154738072877018707842373802492298253/44463498371218314\ 6305894064384030885376782676481*c_0110_6^2 - 6054739708670787626904064782186563839107733957294/44463498371218314\ 6305894064384030885376782676481*c_0110_6 - 1297926464938209028028162300650523866439187383231/44463498371218314\ 6305894064384030885376782676481, c_0101_1 - 975553069711658284369151027775535557890999344980/44463498371\ 2183146305894064384030885376782676481*c_0110_6^22 - 1051635701999216366458628535158537381273399551028/44463498371218314\ 6305894064384030885376782676481*c_0110_6^21 + 58019555587024913664117460408993310934017306900971/4446349837121831\ 46305894064384030885376782676481*c_0110_6^20 + 25436593791670352963423463048809761923007502629610/4446349837121831\ 46305894064384030885376782676481*c_0110_6^19 - 633953732054827996949847189875827337631072015274153/444634983712183\ 146305894064384030885376782676481*c_0110_6^18 + 998358945838719552111153741291857252642789468848652/444634983712183\ 146305894064384030885376782676481*c_0110_6^17 + 1373777958098048286914933114108915708114139337294058/44463498371218\ 3146305894064384030885376782676481*c_0110_6^16 - 5128438207338876418494826223164399449561233632379526/44463498371218\ 3146305894064384030885376782676481*c_0110_6^15 + 1170050461785128603846364088564926327502907560467786/44463498371218\ 3146305894064384030885376782676481*c_0110_6^14 + 9200547515800979989622516423434922977974147326602156/44463498371218\ 3146305894064384030885376782676481*c_0110_6^13 - 7038484299364104802010539023100589764339006810946327/44463498371218\ 3146305894064384030885376782676481*c_0110_6^12 - 7803579580454114760685447849507418397516807294446346/44463498371218\ 3146305894064384030885376782676481*c_0110_6^11 + 9221095091163954682871793267022371176046260880002827/44463498371218\ 3146305894064384030885376782676481*c_0110_6^10 + 3410457592388102022961388945007799089394506730783086/44463498371218\ 3146305894064384030885376782676481*c_0110_6^9 - 5255562404082690625716879990881396032187714534028398/44463498371218\ 3146305894064384030885376782676481*c_0110_6^8 - 1210073929212089516142349499760873741677794668802462/44463498371218\ 3146305894064384030885376782676481*c_0110_6^7 + 1410851315867264065444861172154426676793081153679744/44463498371218\ 3146305894064384030885376782676481*c_0110_6^6 + 432401757540453219227456938556502302949527755536009/444634983712183\ 146305894064384030885376782676481*c_0110_6^5 - 151730590065435303265801440819202783518861948947660/444634983712183\ 146305894064384030885376782676481*c_0110_6^4 - 81029817139964988190628750857212609754912243423688/4446349837121831\ 46305894064384030885376782676481*c_0110_6^3 - 1439284382829643218163144306871772127616687969041/44463498371218314\ 6305894064384030885376782676481*c_0110_6^2 + 4004301725805872220939587872841477063909912746423/44463498371218314\ 6305894064384030885376782676481*c_0110_6 + 906795237586839625343634681684906639364872915061/444634983712183146\ 305894064384030885376782676481, c_0101_2 + 4979420548109398775995455084190488164982507728700/4446349837\ 12183146305894064384030885376782676481*c_0110_6^22 + 4999406795503206086708693969174186316345125372260/44463498371218314\ 6305894064384030885376782676481*c_0110_6^21 - 296733836151362863258988165189497131918292892116881/444634983712183\ 146305894064384030885376782676481*c_0110_6^20 - 107886850557696258769475219702403625960847876190523/444634983712183\ 146305894064384030885376782676481*c_0110_6^19 + 3257088999488543299839280516871953994563473804714670/44463498371218\ 3146305894064384030885376782676481*c_0110_6^18 - 5344955956382977649178635520980708093423597877820992/44463498371218\ 3146305894064384030885376782676481*c_0110_6^17 - 6761075598031820018768287623774946190456104759083749/44463498371218\ 3146305894064384030885376782676481*c_0110_6^16 + 27054297448329847712172525781949566683928866508643049/4446349837121\ 83146305894064384030885376782676481*c_0110_6^15 - 7956030806427329962922318544911094486549995624836705/44463498371218\ 3146305894064384030885376782676481*c_0110_6^14 - 47757471295681598128480334374557654243014998425831901/4446349837121\ 83146305894064384030885376782676481*c_0110_6^13 + 41036675541758363165035807092279656528554647833190927/4446349837121\ 83146305894064384030885376782676481*c_0110_6^12 + 38118475116828685390589357614641642434507516582653131/4446349837121\ 83146305894064384030885376782676481*c_0110_6^11 - 53424845724834170880516292860700237223970471780089861/4446349837121\ 83146305894064384030885376782676481*c_0110_6^10 - 12785527601949126771076734662784261230046067415068694/4446349837121\ 83146305894064384030885376782676481*c_0110_6^9 + 30839478667705752628650226109588341624847501326984593/4446349837121\ 83146305894064384030885376782676481*c_0110_6^8 + 2016028289339778518479712216830424148312181004244615/44463498371218\ 3146305894064384030885376782676481*c_0110_6^7 - 8325171962281123041604006844338330762968421528885626/44463498371218\ 3146305894064384030885376782676481*c_0110_6^6 - 622232360477921092775457948561708913683423584149874/444634983712183\ 146305894064384030885376782676481*c_0110_6^5 + 888977705961746101015221749275377867940553360891733/444634983712183\ 146305894064384030885376782676481*c_0110_6^4 + 190748190630652635329373460671716416512235460275166/444634983712183\ 146305894064384030885376782676481*c_0110_6^3 - 8428760030283604821330970080013390889625698540778/44463498371218314\ 6305894064384030885376782676481*c_0110_6^2 - 17206347369469064683890717189157406224454160704491/4446349837121831\ 46305894064384030885376782676481*c_0110_6 - 2212541948220239187950078907869684758447232895221/44463498371218314\ 6305894064384030885376782676481, c_0101_5 + 2212111149578085519027422574106711711778904722240/4446349837\ 12183146305894064384030885376782676481*c_0110_6^22 + 2335313840652978777517583314787813053972721456769/44463498371218314\ 6305894064384030885376782676481*c_0110_6^21 - 131640788928333856388675027823724481314624634864190/444634983712183\ 146305894064384030885376782676481*c_0110_6^20 - 54673335625984073056233236987208364164614758657691/4446349837121831\ 46305894064384030885376782676481*c_0110_6^19 + 1440408258534625593976093275174572413230477273049744/44463498371218\ 3146305894064384030885376782676481*c_0110_6^18 - 2301158712523023253828224152886681701778185811753980/44463498371218\ 3146305894064384030885376782676481*c_0110_6^17 - 3082169584420905063300458265982080455617451889710118/44463498371218\ 3146305894064384030885376782676481*c_0110_6^16 + 11789459582619726436354093577631164999359960743962288/4446349837121\ 83146305894064384030885376782676481*c_0110_6^15 - 2997472681380510688600151149409657074793777934547279/44463498371218\ 3146305894064384030885376782676481*c_0110_6^14 - 21040683281392910033584664261051407202225250209374808/4446349837121\ 83146305894064384030885376782676481*c_0110_6^13 + 17007256600401060106833577718314990478496093533705538/4446349837121\ 83146305894064384030885376782676481*c_0110_6^12 + 17290988498078044039382398220503430746686135476927962/4446349837121\ 83146305894064384030885376782676481*c_0110_6^11 - 22323429271328607904984463817761299734895835824796802/4446349837121\ 83146305894064384030885376782676481*c_0110_6^10 - 6498997247237925297606465852517563214885667227351993/44463498371218\ 3146305894064384030885376782676481*c_0110_6^9 + 12792414781174405651871394238899071369953404294558073/4446349837121\ 83146305894064384030885376782676481*c_0110_6^8 + 1501766169008443169674348777161654499949040041379689/44463498371218\ 3146305894064384030885376782676481*c_0110_6^7 - 3368695666827583763653476457160586415074939043853091/44463498371218\ 3146305894064384030885376782676481*c_0110_6^6 - 446700285740234735081869467288946754794104373133914/444634983712183\ 146305894064384030885376782676481*c_0110_6^5 + 334864374161100543306307539673373290731129876494405/444634983712183\ 146305894064384030885376782676481*c_0110_6^4 + 92095909676456594133814117955226032254647796246649/4446349837121831\ 46305894064384030885376782676481*c_0110_6^3 - 398777151675673736596286900810503015103209291686/444634983712183146\ 305894064384030885376782676481*c_0110_6^2 - 5589894888748988140557027030400725507235063977782/44463498371218314\ 6305894064384030885376782676481*c_0110_6 - 902613444916506434700597812130862375232655385995/444634983712183146\ 305894064384030885376782676481, c_0110_6^23 + 3/5*c_0110_6^22 - 60*c_0110_6^21 + 12/5*c_0110_6^20 + 663*c_0110_6^19 - 6686/5*c_0110_6^18 - 4629/5*c_0110_6^17 + 29898/5*c_0110_6^16 - 18894/5*c_0110_6^15 - 44774/5*c_0110_6^14 + 60383/5*c_0110_6^13 + 21937/5*c_0110_6^12 - 68951/5*c_0110_6^11 + 1651*c_0110_6^10 + 36271/5*c_0110_6^9 - 1999*c_0110_6^8 - 9432/5*c_0110_6^7 + 515*c_0110_6^6 + 253*c_0110_6^5 - 146/5*c_0110_6^4 - 102/5*c_0110_6^3 - 3*c_0110_6^2 + c_0110_6 + 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB