Magma V2.19-8 Tue Aug 20 2013 16:14:17 on localhost [Seed = 2345277355] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s268 geometric_solution 4.43573894 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 -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 0 0 0 0 0.596659377314 0.108109823384 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 -1 1 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 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.780617296874 0.185914437064 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 1 -1 -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 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.838614602814 0.718572030984 5 2 4 4 0132 0132 3012 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 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.168645455504 1.232100607166 3 3 2 5 3012 1230 0132 0132 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 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 1.168645455504 1.232100607166 3 5 4 5 0132 2310 0132 3201 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 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.230009182991 0.821744393404 ==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_1'], 'c_1100_4' : d['c_0011_1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), '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_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_4'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0011_4']), '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_4, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 4397168430687503472262015471085647/40549383952926324966934723778389\ *c_0101_3^22 + 4723671644834219245432650431521953/40549383952926324\ 966934723778389*c_0101_3^21 - 116498617502195369505993803175769265/\ 40549383952926324966934723778389*c_0101_3^20 + 1355241097298155657647390066551274/3686307632084211360630429434399*\ c_0101_3^19 + 1213277663979917007433954451989872700/405493839529263\ 24966934723778389*c_0101_3^18 - 38866657219578396472784807747181880\ 0/40549383952926324966934723778389*c_0101_3^17 - 5673192780189227545525355787688043614/40549383952926324966934723778\ 389*c_0101_3^16 + 103863177275696910644846027175550715/405493839529\ 26324966934723778389*c_0101_3^15 + 17838543791927006905600009120578807918/4054938395292632496693472377\ 8389*c_0101_3^14 + 16224619992942823118500084278771522486/405493839\ 52926324966934723778389*c_0101_3^13 - 18369941127501588410888403605406800366/4054938395292632496693472377\ 8389*c_0101_3^12 - 37220693341850785683622233759842200708/405493839\ 52926324966934723778389*c_0101_3^11 - 738775278339657531942725831959056410/405493839529263249669347237783\ 89*c_0101_3^10 + 3019038121559202848878789330075251465/368630763208\ 4211360630429434399*c_0101_3^9 + 1307368366099027804776514745148602\ 2908/40549383952926324966934723778389*c_0101_3^8 - 14241747858197067741009389047140224049/4054938395292632496693472377\ 8389*c_0101_3^7 - 9863806828854318397500193342247763147/40549383952\ 926324966934723778389*c_0101_3^6 + 2456827067389212072181149787537115699/40549383952926324966934723778\ 389*c_0101_3^5 + 3334763281885540702481188250662060454/405493839529\ 26324966934723778389*c_0101_3^4 + 159230474807901459824607098809197\ 982/40549383952926324966934723778389*c_0101_3^3 - 42832846331180788365766584553681625/3686307632084211360630429434399\ *c_0101_3^2 - 77305957207890703789821078324788286/40549383952926324\ 966934723778389*c_0101_3 + 10177898989650809283162727168055345/4054\ 9383952926324966934723778389, c_0011_0 - 1, c_0011_1 - 8528625535938156244033518353694/3686307632084211360630429434\ 399*c_0101_3^22 - 6212649356944718481639564311430/36863076320842113\ 60630429434399*c_0101_3^21 + 227406720279528768025967667920334/3686\ 307632084211360630429434399*c_0101_3^20 - 107477840922406944815124974746311/3686307632084211360630429434399*c\ _0101_3^19 - 2297097548947486899615761988142600/3686307632084211360\ 630429434399*c_0101_3^18 + 1523877267439026516375214276729255/36863\ 07632084211360630429434399*c_0101_3^17 + 10298196681863673265984235405945983/3686307632084211360630429434399\ *c_0101_3^16 - 3485211101705318035108601513626157/36863076320842113\ 60630429434399*c_0101_3^15 - 32676516322336205565746107952270451/36\ 86307632084211360630429434399*c_0101_3^14 - 21107500752019216169790906802403286/3686307632084211360630429434399\ *c_0101_3^13 + 40570150026914852766122197875502343/3686307632084211\ 360630429434399*c_0101_3^12 + 58481591449153412000395668246133395/3\ 686307632084211360630429434399*c_0101_3^11 - 14303950657388809986360532437081032/3686307632084211360630429434399\ *c_0101_3^10 - 57201752881240008855397526415037884/3686307632084211\ 360630429434399*c_0101_3^9 - 9998795479959360747588665986362370/368\ 6307632084211360630429434399*c_0101_3^8 + 27467633898513083141993036797296590/3686307632084211360630429434399\ *c_0101_3^7 + 11797624765372177162881738524205637/36863076320842113\ 60630429434399*c_0101_3^6 - 6385700692730905717339459613767348/3686\ 307632084211360630429434399*c_0101_3^5 - 4631247715295805371290349967687316/3686307632084211360630429434399*\ c_0101_3^4 + 394317637225527433756797684673902/36863076320842113606\ 30429434399*c_0101_3^3 + 706911860882645598017954701874921/36863076\ 32084211360630429434399*c_0101_3^2 + 66479181514538607382217511670765/3686307632084211360630429434399*c_\ 0101_3 - 18907416801893630038329328711188/3686307632084211360630429\ 434399, c_0011_4 + 3374473722871900522319362830842/3686307632084211360630429434\ 399*c_0101_3^22 + 3387067525777033343100611662378/36863076320842113\ 60630429434399*c_0101_3^21 - 89844419869678599489069344185068/36863\ 07632084211360630429434399*c_0101_3^20 + 17723167753049343447225980134744/3686307632084211360630429434399*c_\ 0101_3^19 + 935047259046056998876234448486408/368630763208421136063\ 0429434399*c_0101_3^18 - 369279280310290099149119240452700/36863076\ 32084211360630429434399*c_0101_3^17 - 4374246377242898425490128356448098/3686307632084211360630429434399*\ c_0101_3^16 + 441738639182850604046585347832797/3686307632084211360\ 630429434399*c_0101_3^15 + 13825831148727365751006481208749111/3686\ 307632084211360630429434399*c_0101_3^14 + 11364293474455821191276620195232402/3686307632084211360630429434399\ *c_0101_3^13 - 15417719914540139492741777836993945/3686307632084211\ 360630429434399*c_0101_3^12 - 27839626802190362263928726873893985/3\ 686307632084211360630429434399*c_0101_3^11 + 1895511626323541685025043821611813/3686307632084211360630429434399*\ c_0101_3^10 + 26068360436833352393891478671172217/36863076320842113\ 60630429434399*c_0101_3^9 + 8172582397722232696747379723661060/3686\ 307632084211360630429434399*c_0101_3^8 - 11903388141581656580055669406177024/3686307632084211360630429434399\ *c_0101_3^7 - 6912571771691800513846545614031981/368630763208421136\ 0630429434399*c_0101_3^6 + 2426666240866041453392698046815445/36863\ 07632084211360630429434399*c_0101_3^5 + 2493240958048387548385917896632757/3686307632084211360630429434399*\ c_0101_3^4 - 11042803873512356705954081665755/368630763208421136063\ 0429434399*c_0101_3^3 - 375272676907982333357215795423862/368630763\ 2084211360630429434399*c_0101_3^2 - 50511410794895426743964603186978/3686307632084211360630429434399*c_\ 0101_3 + 9397768463788351850434316198672/36863076320842113606304294\ 34399, c_0101_0 - 1946730616449782767854194662722/3686307632084211360630429434\ 399*c_0101_3^22 - 1890290177579203873078572208375/36863076320842113\ 60630429434399*c_0101_3^21 + 52392351225070723890019510083236/36863\ 07632084211360630429434399*c_0101_3^20 - 11733255602971464566978534753617/3686307632084211360630429434399*c_\ 0101_3^19 - 552159717639418490448764253121155/368630763208421136063\ 0429434399*c_0101_3^18 + 241707795762143974286743924857537/36863076\ 32084211360630429434399*c_0101_3^17 + 2639807015277963927107181371656356/3686307632084211360630429434399*\ c_0101_3^16 - 465497772730900890874878675057385/3686307632084211360\ 630429434399*c_0101_3^15 - 8457430190975519235180546624409018/36863\ 07632084211360630429434399*c_0101_3^14 - 5971263497835733114683097074114914/3686307632084211360630429434399*\ c_0101_3^13 + 10626742442583204760230808831150497/36863076320842113\ 60630429434399*c_0101_3^12 + 16576306063297986404906612338957511/36\ 86307632084211360630429434399*c_0101_3^11 - 3425092049340403736050281664513274/3686307632084211360630429434399*\ c_0101_3^10 - 17170235081046430540876174592237480/36863076320842113\ 60630429434399*c_0101_3^9 - 3516265203946171284411515620399254/3686\ 307632084211360630429434399*c_0101_3^8 + 8694771770176879634523930433020734/3686307632084211360630429434399*\ c_0101_3^7 + 3882798865157665339745216397621118/3686307632084211360\ 630429434399*c_0101_3^6 - 2115997686483000092825734705360755/368630\ 7632084211360630429434399*c_0101_3^5 - 1558081398111938370895153421725599/3686307632084211360630429434399*\ c_0101_3^4 + 134461061650347051137229462639433/36863076320842113606\ 30429434399*c_0101_3^3 + 246929631359236912326438194893653/36863076\ 32084211360630429434399*c_0101_3^2 + 24512207582152261002008765685842/3686307632084211360630429434399*c_\ 0101_3 - 3264417329499562843889097831027/36863076320842113606304294\ 34399, c_0101_1 - 5141558010161122900932906691316/3686307632084211360630429434\ 399*c_0101_3^22 - 4946278709082003868086112063764/36863076320842113\ 60630429434399*c_0101_3^21 + 137146728900677294758974037468134/3686\ 307632084211360630429434399*c_0101_3^20 - 32921381208684579130328048124613/3686307632084211360630429434399*c_\ 0101_3^19 - 1424570499240917606551355706845444/36863076320842113606\ 30429434399*c_0101_3^18 + 628713298477057529396348998879259/3686307\ 632084211360630429434399*c_0101_3^17 + 6643324221480036635935114277136592/3686307632084211360630429434399*\ c_0101_3^16 - 1011109556719025641184456867829534/368630763208421136\ 0630429434399*c_0101_3^15 - 20995022317930425725371467650938901/368\ 6307632084211360630429434399*c_0101_3^14 - 16244633592099233523393314026036811/3686307632084211360630429434399\ *c_0101_3^13 + 24109248618248539063454362467207582/3686307632084211\ 360630429434399*c_0101_3^12 + 40987377063855013284173653241727076/3\ 686307632084211360630429434399*c_0101_3^11 - 4898741464096902371682067424606611/3686307632084211360630429434399*\ c_0101_3^10 - 39071098527322797717285706977562082/36863076320842113\ 60630429434399*c_0101_3^9 - 10327738752090398536088920882751334/368\ 6307632084211360630429434399*c_0101_3^8 + 18277292363882749775580921272446259/3686307632084211360630429434399\ *c_0101_3^7 + 9533772531446276890250522236150702/368630763208421136\ 0630429434399*c_0101_3^6 - 3966698156585699980444567699413115/36863\ 07632084211360630429434399*c_0101_3^5 - 3542212085513078157720191766498579/3686307632084211360630429434399*\ c_0101_3^4 + 143900488063805419725398313991194/36863076320842113606\ 30429434399*c_0101_3^3 + 531233088432277541109862607343232/36863076\ 32084211360630429434399*c_0101_3^2 + 59004581363967456621055013715227/3686307632084211360630429434399*c_\ 0101_3 - 11846635446937518155379536445947/3686307632084211360630429\ 434399, c_0101_3^23 - 27*c_0101_3^21 + 32*c_0101_3^20 + 255*c_0101_3^19 - 368*c_0101_3^18 - 1031*c_0101_3^17 + 1214*c_0101_3^16 + 3364*c_0101_3^15 - 94*c_0101_3^14 - 6010*c_0101_3^13 - 3372*c_0101_3^12 + 5746*c_0101_3^11 + 4938*c_0101_3^10 - 2951*c_0101_3^9 - 3430*c_0101_3^8 + 675*c_0101_3^7 + 1390*c_0101_3^6 + 22*c_0101_3^5 - 326*c_0101_3^4 - 37*c_0101_3^3 + 36*c_0101_3^2 + 5*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB