Magma V2.19-8 Tue Aug 20 2013 16:14:53 on localhost [Seed = 3482211239] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s867 geometric_solution 5.51929067 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 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 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.454455420495 0.313072050762 2 0 3 0 0132 2310 0132 0132 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 0 0 0 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.053294980226 0.714931183935 1 3 4 5 0132 0213 0132 0132 0 0 0 0 0 0 0 0 -1 0 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 0 0 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.488224624141 0.621248774548 5 4 2 1 1023 3201 0213 0132 0 0 0 0 0 0 0 0 0 0 -1 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 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.488224624141 0.621248774548 4 4 3 2 1302 2031 2310 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.658134434019 1.102541097394 5 3 2 5 3012 1023 0132 1230 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 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.313784158902 0.988226477804 ==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_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_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' : d['1'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], '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_3'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_1']), '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_3'], 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_1']), 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0101_0'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_1']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_4, c_0101_0, c_0101_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 23386387793751268974343541607121682743359030342648121/1291111411131\ 673809608954925370247694381939377960044*c_0101_1^23 + 240860602529462898807564032500077823715352940614608017/387333423339\ 5021428826864776110743083145818133880132*c_0101_1^22 + 141542760057195999797954188676455055617057863469895047/387333423339\ 5021428826864776110743083145818133880132*c_0101_1^21 + 65494039195553191553558950380711975735240111617310496/9683335583487\ 55357206716194027685770786454533470033*c_0101_1^20 - 2564035802031159607265018326707360091287014645614041046/96833355834\ 8755357206716194027685770786454533470033*c_0101_1^19 - 12292553187661751585951130312285210343738127382182237085/6455557055\ 65836904804477462685123847190969688980022*c_0101_1^18 - 1008113308282241453610308101663501815544147918705740454/29343441162\ 083495672930793758414720326862258590001*c_0101_1^17 + 222268960440130478023998193417919537102512464517157088265/387333423\ 3395021428826864776110743083145818133880132*c_0101_1^16 + 11179505083591308219669239076690463683570757249680947522/2934344116\ 2083495672930793758414720326862258590001*c_0101_1^15 + 1459300739586341862933753085515448736277317073133798602985/19366671\ 16697510714413432388055371541572909066940066*c_0101_1^14 + 38212052825867728132152047516476339157679452730874320817/8803032348\ 6250487018792381275244160980586775770003*c_0101_1^13 - 1081085533319961605464088551787125147493610892608256790620/96833355\ 8348755357206716194027685770786454533470033*c_0101_1^12 - 3241588765397387004588571941317207897403425773889558374687/12911114\ 11131673809608954925370247694381939377960044*c_0101_1^11 - 1810902065364597670345791505175556074990891361039292353866/96833355\ 8348755357206716194027685770786454533470033*c_0101_1^10 - 1031075477632360931133939155927123376876626341174572368201/38733342\ 33395021428826864776110743083145818133880132*c_0101_1^9 + 1027923531355458607000087452234942507751733861177133057503/19366671\ 16697510714413432388055371541572909066940066*c_0101_1^8 + 1153088743597660056089815334837562464920637059694265397843/19366671\ 16697510714413432388055371541572909066940066*c_0101_1^7 + 1369480577969869296796615476119749118798554498895316308489/38733342\ 33395021428826864776110743083145818133880132*c_0101_1^6 + 207915441950966802843359394909002627440219809791328422847/129111141\ 1131673809608954925370247694381939377960044*c_0101_1^5 + 66953623737387663847679010005254502939975544461696270740/9683335583\ 48755357206716194027685770786454533470033*c_0101_1^4 - 44367510424380757150878918108507156462794655395540533751/3873334233\ 395021428826864776110743083145818133880132*c_0101_1^3 - 28632746277684230525910485506851296545082848599257158113/1291111411\ 131673809608954925370247694381939377960044*c_0101_1^2 - 6179307083945248611615117360298876077762574141170001947/12911114111\ 31673809608954925370247694381939377960044*c_0101_1 - 262781649677787740438177563890724996411393716944024363/387333423339\ 5021428826864776110743083145818133880132, c_0011_0 - 1, c_0011_1 - 129274974887174842024356601273653356473222/14930873259732040\ 236849690821175364095475617*c_0101_1^23 - 416556430395221284067006406163071519688249/149308732597320402368496\ 90821175364095475617*c_0101_1^22 - 193291583026435633428033544911320011916728/149308732597320402368496\ 90821175364095475617*c_0101_1^21 - 496357436619187148785203328167283951419812/149308732597320402368496\ 90821175364095475617*c_0101_1^20 + 6333942683285852455724331179741763489331017/49769577532440134122832\ 30273725121365158539*c_0101_1^19 + 43939446414284836511516493988354577477816574/4976957753244013412283\ 230273725121365158539*c_0101_1^18 + 220433234559157045460080758586680060881322341/149308732597320402368\ 49690821175364095475617*c_0101_1^17 - 145655061999731547098215399232513398451854285/497695775324401341228\ 3230273725121365158539*c_0101_1^16 - 2602736953431999539804198042796633291621498626/14930873259732040236\ 849690821175364095475617*c_0101_1^15 - 4911014311880717099485166609652611026218265514/14930873259732040236\ 849690821175364095475617*c_0101_1^14 - 2427160604180122530630238614319585016197649276/14930873259732040236\ 849690821175364095475617*c_0101_1^13 + 2635597444261692153641641008255390008623613240/49769577532440134122\ 83230273725121365158539*c_0101_1^12 + 16184166924668782143114924701019420144355307447/1493087325973204023\ 6849690821175364095475617*c_0101_1^11 + 11217512693801145968868891829086052925448410696/1493087325973204023\ 6849690821175364095475617*c_0101_1^10 + 1380982106910180284044960515074787769931181083/14930873259732040236\ 849690821175364095475617*c_0101_1^9 - 3328596073886791356840509508569250839240808125/14930873259732040236\ 849690821175364095475617*c_0101_1^8 - 3750805064992236702503331060813076347171514790/14930873259732040236\ 849690821175364095475617*c_0101_1^7 - 715130162603307949558541700319479657395403355/497695775324401341228\ 3230273725121365158539*c_0101_1^6 - 1055429618374133887114414855905250487393011621/14930873259732040236\ 849690821175364095475617*c_0101_1^5 - 409295943097769189364391138191007312706900548/149308732597320402368\ 49690821175364095475617*c_0101_1^4 + 26613926437928792261797378856903670133115723/4976957753244013412283\ 230273725121365158539*c_0101_1^3 + 41919453770443314792472276236201561878196401/4976957753244013412283\ 230273725121365158539*c_0101_1^2 + 23348901865290650157494779183060264602211805/1493087325973204023684\ 9690821175364095475617*c_0101_1 - 257661201154395914613811307519370\ 5995172541/4976957753244013412283230273725121365158539, c_0011_3 - 74839234773373869201170662086777478877538847481771/900775403\ 11512126251787552932807978677809724043724*c_0101_1^23 - 264220273474316893822658985261442885835546422016735/900775403115121\ 26251787552932807978677809724043724*c_0101_1^22 - 175028221816029183739929731412048160130325497864495/900775403115121\ 26251787552932807978677809724043724*c_0101_1^21 - 145608372869312408732113832163412879747084252177481/450387701557560\ 63125893776466403989338904862021862*c_0101_1^20 + 1818965678270620152949632297925893491140720123873933/15012923385252\ 021041964592155467996446301620673954*c_0101_1^19 + 6645404283385898898569709902581362016071122349651327/75064616926260\ 10520982296077733998223150810336977*c_0101_1^18 + 74733587128098667414314901671173367727111862726852561/4503877015575\ 6063125893776466403989338904862021862*c_0101_1^17 - 6795109083331152204373554527649519655001678323945483/27296224336821\ 85643993562210085090262963931031628*c_0101_1^16 - 399670591236910372806041875074807363083177996864659132/225193850778\ 78031562946888233201994669452431010931*c_0101_1^15 - 1631468720669171184943624189282332986481605259945170813/45038770155\ 756063125893776466403989338904862021862*c_0101_1^14 - 519431497124742082942711253275779895431582610505163400/225193850778\ 78031562946888233201994669452431010931*c_0101_1^13 + 372578214774388283286063992502071975855679723476722831/750646169262\ 6010520982296077733998223150810336977*c_0101_1^12 + 10832693648100913694764271054853102953531548850216437345/9007754031\ 1512126251787552932807978677809724043724*c_0101_1^11 + 4336365520937456647264542677216474496422750109666993815/45038770155\ 756063125893776466403989338904862021862*c_0101_1^10 + 1742966142552336445755928768819363230269917187834651887/90077540311\ 512126251787552932807978677809724043724*c_0101_1^9 - 1071545679918441942149220831168270511768470438892609295/45038770155\ 756063125893776466403989338904862021862*c_0101_1^8 - 1331891030059878626743037707968475276692432337673160419/45038770155\ 756063125893776466403989338904862021862*c_0101_1^7 - 557271324483445514485329568835138673701053088346369023/300258467705\ 04042083929184310935992892603241347908*c_0101_1^6 - 784425199986901223653912002409711838160313393272864563/900775403115\ 12126251787552932807978677809724043724*c_0101_1^5 - 85028685909908617483206120159592274477938442930864195/2251938507787\ 8031562946888233201994669452431010931*c_0101_1^4 + 7900334281975819178093953170517893968069978158104585/30025846770504\ 042083929184310935992892603241347908*c_0101_1^3 + 32579727318670773119685811052745522511223614990687883/3002584677050\ 4042083929184310935992892603241347908*c_0101_1^2 + 27273730602109008424326002938330511777128471167052117/9007754031151\ 2126251787552932807978677809724043724*c_0101_1 + 453873480703551367690172031415542472236229811072151/300258467705040\ 42083929184310935992892603241347908, c_0011_4 + 2758788051384110635913333599341995996927837971188079/1291111\ 411131673809608954925370247694381939377960044*c_0101_1^23 + 889901889045650456250054891356502642431313109362153/117373764648333\ 982691723175033658881307449034360004*c_0101_1^22 + 6615600007010216580444450605419146076077860221214783/12911114111316\ 73809608954925370247694381939377960044*c_0101_1^21 + 5406471167087426918408798440073564501212481348987075/64555570556583\ 6904804477462685123847190969688980022*c_0101_1^20 - 201073536913506913380690333726907539614462958969950409/645555705565\ 836904804477462685123847190969688980022*c_0101_1^19 - 736698521846699611130757084861240631735095833566860889/322777852782\ 918452402238731342561923595484844490011*c_0101_1^18 - 2780324591472031128358073969715392557832195023098859465/64555570556\ 5836904804477462685123847190969688980022*c_0101_1^17 + 8178815976233264576382667910328243416023438448622198815/12911114111\ 31673809608954925370247694381939377960044*c_0101_1^16 + 14774950999987427452974164408888835974031669359297633596/3227778527\ 82918452402238731342561923595484844490011*c_0101_1^15 + 60649064025986584679210627116303450092264936883071754525/6455557055\ 65836904804477462685123847190969688980022*c_0101_1^14 + 19627099442343407260546467851115109399228130071994015253/3227778527\ 82918452402238731342561923595484844490011*c_0101_1^13 - 40973274004254349275925744799571746614332931854006100450/3227778527\ 82918452402238731342561923595484844490011*c_0101_1^12 - 402510619159577976897967573511820930445560755101869692865/129111141\ 1131673809608954925370247694381939377960044*c_0101_1^11 - 163063145106024871956406629279396235977451179113795034551/645555705\ 565836904804477462685123847190969688980022*c_0101_1^10 - 68415614460186662078453487814957325466917003680540771387/1291111411\ 131673809608954925370247694381939377960044*c_0101_1^9 + 39442938265241461992285455319483056813759210123497286981/6455557055\ 65836904804477462685123847190969688980022*c_0101_1^8 + 4528122272495534721128634867696174406237429758819693305/58686882324\ 166991345861587516829440653724517180002*c_0101_1^7 + 63050562864547141168260868454434445131305526488703108897/1291111411\ 131673809608954925370247694381939377960044*c_0101_1^6 + 29681395277317331959207520342792715377116693155868561123/1291111411\ 131673809608954925370247694381939377960044*c_0101_1^5 + 3217621482554151471420153188364283731330930121698766365/32277785278\ 2918452402238731342561923595484844490011*c_0101_1^4 - 66061559990944337084907056470824608762909846631724145/1173737646483\ 33982691723175033658881307449034360004*c_0101_1^3 - 3656892448368504844181972420634705285668800983621485561/12911114111\ 31673809608954925370247694381939377960044*c_0101_1^2 - 1055143622077756041005728089924292228335357180465225801/12911114111\ 31673809608954925370247694381939377960044*c_0101_1 - 55789479927630538835957534103883648720638395240299457/1291111411131\ 673809608954925370247694381939377960044, c_0101_0 + 725421670711695376850835594130177504959755884679/43786278921\ 4901811985854033021788727463917944142*c_0101_1^23 + 2576470747229937360660387208115468913956729420279/43786278921490181\ 1985854033021788727463917944142*c_0101_1^22 + 1747657671950381867762861785856452541921492700977/43786278921490181\ 1985854033021788727463917944142*c_0101_1^21 + 1423705959926907052130367369086291860552822930343/21893139460745090\ 5992927016510894363731958972071*c_0101_1^20 - 17622476153796210483937335512609559050791308305800/7297713153581696\ 8664309005503631454577319657357*c_0101_1^19 - 129203759143968135977155607553241051448633983071178/729771315358169\ 68664309005503631454577319657357*c_0101_1^18 - 732355507355022810387703907257238159634271561148051/218931394607450\ 905992927016510894363731958972071*c_0101_1^17 + 715420965323579795518340116039690763283810071191633/145954263071633\ 937328618011007262909154639314714*c_0101_1^16 + 7774217948851526623858782994545747032565936060368102/21893139460745\ 0905992927016510894363731958972071*c_0101_1^15 + 15972882505473607645344117477674185491185734186860617/2189313946074\ 50905992927016510894363731958972071*c_0101_1^14 + 10370266059043717563139453594766148787863493296465785/2189313946074\ 50905992927016510894363731958972071*c_0101_1^13 - 652202166058646313725080870766933452221844173787242/663428468507426\ 9878573545954875586779756332487*c_0101_1^12 - 105992488201985254057958391481602527070793314047172949/437862789214\ 901811985854033021788727463917944142*c_0101_1^11 - 43038256801448222064796302179322378421103443543443314/2189313946074\ 50905992927016510894363731958972071*c_0101_1^10 - 18217599099414457193168800096406602780566069095547079/4378627892149\ 01811985854033021788727463917944142*c_0101_1^9 + 10360656333167834274358323104638869046126839201829418/2189313946074\ 50905992927016510894363731958972071*c_0101_1^8 + 13133019571429617820142785159843610183512240230378743/2189313946074\ 50905992927016510894363731958972071*c_0101_1^7 + 5550156478728213979452310826852687728193585268722801/14595426307163\ 3937328618011007262909154639314714*c_0101_1^6 + 7845394120447350402609826054433190417746425993944083/43786278921490\ 1811985854033021788727463917944142*c_0101_1^5 + 1700706811162055800734406591817194996714579111902283/21893139460745\ 0905992927016510894363731958972071*c_0101_1^4 - 60389386750670373804446185030796444386089156471615/1459542630716339\ 37328618011007262909154639314714*c_0101_1^3 - 320968380172991664257752543259697849220084853454331/145954263071633\ 937328618011007262909154639314714*c_0101_1^2 - 279950133372157043399070538655602494784375069841029/437862789214901\ 811985854033021788727463917944142*c_0101_1 - 4990896362887144008670321156278224155567870261899/14595426307163393\ 7328618011007262909154639314714, c_0101_1^24 + 4*c_0101_1^23 + 4*c_0101_1^22 + 5*c_0101_1^21 - 144*c_0101_1^20 - 1134*c_0101_1^19 - 2498*c_0101_1^18 + 2055*c_0101_1^17 + 22763*c_0101_1^16 + 53642*c_0101_1^15 + 48302*c_0101_1^14 - 46584*c_0101_1^13 - 172751*c_0101_1^12 - 184067*c_0101_1^11 - 78095*c_0101_1^10 + 17459*c_0101_1^9 + 49028*c_0101_1^8 + 39141*c_0101_1^7 + 21058*c_0101_1^6 + 9511*c_0101_1^5 + 1839*c_0101_1^4 - 1446*c_0101_1^3 - 980*c_0101_1^2 - 192*c_0101_1 - 9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB