Magma V2.19-8 Tue Aug 20 2013 16:17:06 on localhost [Seed = 1259001754] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1342 geometric_solution 5.21781018 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.590954591681 0.191115621155 2 0 2 0 0132 2310 1023 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.877092728190 0.304320224786 1 3 1 4 0132 0132 1023 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 -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.344600331895 0.507089032448 4 2 6 5 3120 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 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.461983820992 0.435233467867 5 6 2 3 3201 0132 0132 3120 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.461983820992 0.435233467867 5 5 3 4 1230 3012 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.853231876475 1.080366550867 6 4 6 3 2310 0132 3201 0132 0 0 0 0 0 1 -1 0 1 0 -1 0 1 0 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 1 0 -1 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.478105739400 1.254799912957 ==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' : d['c_0011_4'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['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_6' : d['c_0011_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : negation(d['c_0011_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_5']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(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' : negation(d['c_0011_5']), 'c_1001_4' : d['c_1001_3'], 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0011_1']), 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : d['c_1001_3'], '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0011_5, c_0101_0, c_0101_5, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 44901516429960935423525556144890632050297/8247852334906775742054543\ 33251159705644*c_1001_3^21 - 12087540151204417973188798274975606834\ 2427/412392616745338787102727166625579852822*c_1001_3^20 + 317153538730306498536341734313061474243591/412392616745338787102727\ 166625579852822*c_1001_3^19 + 4461642204645864715324859605988526767\ 828927/824785233490677574205454333251159705644*c_1001_3^18 - 719460108607109243893289629373283476074291/206196308372669393551363\ 583312789926411*c_1001_3^17 - 8824541459275003763684068871828097024\ 763554/206196308372669393551363583312789926411*c_1001_3^16 - 10640763111964400940871744429967266294943761/8247852334906775742054\ 54333251159705644*c_1001_3^15 + 77329185466679575542208722641792310\ 675415659/412392616745338787102727166625579852822*c_1001_3^14 + 34694460590270521030558251058447226579859383/2061963083726693935513\ 63583312789926411*c_1001_3^13 - 10927693587653189379585295790354905\ 2599813373/206196308372669393551363583312789926411*c_1001_3^12 - 76207374137983530068118854520067781866482531/2061963083726693935513\ 63583312789926411*c_1001_3^11 + 60678898812375550256617755413737825\ 1190339253/824785233490677574205454333251159705644*c_1001_3^10 + 65500961651873709826143108931444932887837123/2061963083726693935513\ 63583312789926411*c_1001_3^9 - 527652261416830101834672187739523741\ 969224495/824785233490677574205454333251159705644*c_1001_3^8 - 2211069715979756070537750107216145989373021/82478523349067757420545\ 4333251159705644*c_1001_3^7 + 1847529353894615710649721718145522972\ 87152263/412392616745338787102727166625579852822*c_1001_3^6 - 58395693964109006787501398973147896452481833/8247852334906775742054\ 54333251159705644*c_1001_3^5 - 347327278391009983430429040472587821\ 62500496/206196308372669393551363583312789926411*c_1001_3^4 + 16291263955874455371941782752451546609199081/8247852334906775742054\ 54333251159705644*c_1001_3^3 + 502009925903580269350027967545705832\ 6541512/206196308372669393551363583312789926411*c_1001_3^2 - 1669117709969267684602495875467318699084469/82478523349067757420545\ 4333251159705644*c_1001_3 - 719793532314170002844076069811960742518\ 249/824785233490677574205454333251159705644, c_0011_0 - 1, c_0011_1 + 643719093635402399135908998631251459989/82478523349067757420\ 5454333251159705644*c_1001_3^21 + 840363746320472821209427713103360\ 461683/206196308372669393551363583312789926411*c_1001_3^20 - 2383780098875556600337555889517900045224/20619630837266939355136358\ 3312789926411*c_1001_3^19 - 618853890144455916309757428375910536772\ 61/824785233490677574205454333251159705644*c_1001_3^18 + 12431020224085018769472068289524010114522/2061963083726693935513635\ 83312789926411*c_1001_3^17 + 12204563081633676533397848945241300656\ 4180/206196308372669393551363583312789926411*c_1001_3^16 + 82040882549876044948699501402118354550157/8247852334906775742054543\ 33251159705644*c_1001_3^15 - 53829179870673587855985644768288614843\ 0620/206196308372669393551363583312789926411*c_1001_3^14 - 816304836568907630548249641484539936894715/412392616745338787102727\ 166625579852822*c_1001_3^13 + 3094014072520264790933709173071764812\ 788351/412392616745338787102727166625579852822*c_1001_3^12 + 1565121650258659512606306861644416158761519/41239261674533878710272\ 7166625579852822*c_1001_3^11 - 820972852472106517385837333252722754\ 3825303/824785233490677574205454333251159705644*c_1001_3^10 - 501326912027441287704130338211715718710267/206196308372669393551363\ 583312789926411*c_1001_3^9 + 65798776402450214522930283074918486742\ 80119/824785233490677574205454333251159705644*c_1001_3^8 - 1242046916014294787695487844312355606337965/82478523349067757420545\ 4333251159705644*c_1001_3^7 - 2037228296894509265270456066720776836\ 235005/412392616745338787102727166625579852822*c_1001_3^6 + 1212779878734469086645751282784126709554957/82478523349067757420545\ 4333251159705644*c_1001_3^5 + 6001717184660913624912299061334005976\ 36419/412392616745338787102727166625579852822*c_1001_3^4 - 199697040480008661997893605127098421666683/824785233490677574205454\ 333251159705644*c_1001_3^3 - 25848711757934566734556350912663477174\ 715/206196308372669393551363583312789926411*c_1001_3^2 + 5129364139610538978825977553938416508805/82478523349067757420545433\ 3251159705644*c_1001_3 + 1432887737993242501106067824381984110595/8\ 24785233490677574205454333251159705644, c_0011_4 - 172683276451005999640715216352081024713/41239261674533878710\ 2727166625579852822*c_1001_3^21 - 927408535166387456206597328186567\ 325119/412392616745338787102727166625579852822*c_1001_3^20 + 2427543920067389407552500742748647480771/41239261674533878710272716\ 6625579852822*c_1001_3^19 + 850099602312463141644154819030907118155\ 8/206196308372669393551363583312789926411*c_1001_3^18 - 5460096062538402439201564319770055744040/20619630837266939355136358\ 3312789926411*c_1001_3^17 - 666572727837395892732067391865404124222\ 99/206196308372669393551363583312789926411*c_1001_3^16 - 41295028328723312490399959275837310033771/4123926167453387871027271\ 66625579852822*c_1001_3^15 + 57722653089804291240811820090335284182\ 6281/412392616745338787102727166625579852822*c_1001_3^14 + 525113451815747036553952953699941480774493/412392616745338787102727\ 166625579852822*c_1001_3^13 - 1607121346011401365567841952810602330\ 567233/412392616745338787102727166625579852822*c_1001_3^12 - 1099371280357174008829208155742914774988197/41239261674533878710272\ 7166625579852822*c_1001_3^11 + 105518681717948982067818726998646391\ 1390406/206196308372669393551363583312789926411*c_1001_3^10 + 446532990034532626556416332125583750054983/206196308372669393551363\ 583312789926411*c_1001_3^9 - 17280097384727496290142926622082013976\ 73211/412392616745338787102727166625579852822*c_1001_3^8 + 23880509385283889873376193200532881252953/2061963083726693935513635\ 83312789926411*c_1001_3^7 + 589523612119634122687260883797926806048\ 066/206196308372669393551363583312789926411*c_1001_3^6 - 161844402118619569306946691561107562747179/412392616745338787102727\ 166625579852822*c_1001_3^5 - 39753927988280530596175153112782787440\ 6775/412392616745338787102727166625579852822*c_1001_3^4 + 3963177354967695078623921095130521843456/20619630837266939355136358\ 3312789926411*c_1001_3^3 + 2216000997307347224793462564407242025677\ 7/206196308372669393551363583312789926411*c_1001_3^2 + 2088876933975867248591729203027696526355/41239261674533878710272716\ 6625579852822*c_1001_3 - 544490409662678303356198321294969280829/20\ 6196308372669393551363583312789926411, c_0011_5 - 520168179006081543791833389053700207927/82478523349067757420\ 5454333251159705644*c_1001_3^21 - 138289165451804620813843245886371\ 3089061/412392616745338787102727166625579852822*c_1001_3^20 + 3722703885128185349905133742414967822089/41239261674533878710272716\ 6625579852822*c_1001_3^19 + 507396452585650615850702417693270882977\ 77/824785233490677574205454333251159705644*c_1001_3^18 - 8845636162971645163490079706506331112118/20619630837266939355136358\ 3312789926411*c_1001_3^17 - 995694999319473622480281401669062292692\ 66/206196308372669393551363583312789926411*c_1001_3^16 - 104331157211441513866350117374275256698295/824785233490677574205454\ 333251159705644*c_1001_3^15 + 8666298253730947528949745672846901680\ 17081/412392616745338787102727166625579852822*c_1001_3^14 + 371974978187400240714972256944265033476573/206196308372669393551363\ 583312789926411*c_1001_3^13 - 1217922999740806976484851783312656684\ 020000/206196308372669393551363583312789926411*c_1001_3^12 - 754223652928761326540740928821269730398962/206196308372669393551363\ 583312789926411*c_1001_3^11 + 6376834382499109262151390615755722724\ 338479/824785233490677574205454333251159705644*c_1001_3^10 + 572375004428308731088870254406940514098431/206196308372669393551363\ 583312789926411*c_1001_3^9 - 51466487104064845567241557022834828202\ 57693/824785233490677574205454333251159705644*c_1001_3^8 + 451792704930343717988046930223537543615089/824785233490677574205454\ 333251159705644*c_1001_3^7 + 16937795368333046086556012339605578903\ 77239/412392616745338787102727166625579852822*c_1001_3^6 - 632442512859204289558254216692592624942307/824785233490677574205454\ 333251159705644*c_1001_3^5 - 27036723358924319594566391379365128312\ 2120/206196308372669393551363583312789926411*c_1001_3^4 + 54518408542143115265068662142479833495007/8247852334906775742054543\ 33251159705644*c_1001_3^3 + 270479272831378016140810576777546324060\ 11/206196308372669393551363583312789926411*c_1001_3^2 + 3719997076445497486832855239007792060745/82478523349067757420545433\ 3251159705644*c_1001_3 - 2489423955340953420865420801079893831475/8\ 24785233490677574205454333251159705644, c_0101_0 - 615608444228340886832834719129174739339/82478523349067757420\ 5454333251159705644*c_1001_3^21 - 161324850377566020665227381013005\ 8989801/412392616745338787102727166625579852822*c_1001_3^20 + 4531712193241843550948899350376156173729/41239261674533878710272716\ 6625579852822*c_1001_3^19 + 593917919956412671035508669882359497855\ 89/824785233490677574205454333251159705644*c_1001_3^18 - 11627969066871929893715411638709161875281/2061963083726693935513635\ 83312789926411*c_1001_3^17 - 11709821492411246198155754832604582575\ 1263/206196308372669393551363583312789926411*c_1001_3^16 - 86910841759030636474389781004882062661739/8247852334906775742054543\ 33251159705644*c_1001_3^15 + 10312239465621516872747847383139496862\ 41921/412392616745338787102727166625579852822*c_1001_3^14 + 400373079770239554538106742111119798119309/206196308372669393551363\ 583312789926411*c_1001_3^13 - 1477233664432171413080510997405382442\ 753137/206196308372669393551363583312789926411*c_1001_3^12 - 780541242638221794603034465770402555953296/206196308372669393551363\ 583312789926411*c_1001_3^11 + 7854632722719536170994585452865472964\ 740999/824785233490677574205454333251159705644*c_1001_3^10 + 523368051340400754815103201083254921809083/206196308372669393551363\ 583312789926411*c_1001_3^9 - 63354502028385108141205069616443146964\ 27189/824785233490677574205454333251159705644*c_1001_3^8 + 1058309400281833618828668663823058590698257/82478523349067757420545\ 4333251159705644*c_1001_3^7 + 1991465606593794900463827749356976500\ 844953/412392616745338787102727166625579852822*c_1001_3^6 - 1106519254301386815880105634920899646333823/82478523349067757420545\ 4333251159705644*c_1001_3^5 - 3018047396039667192348698980849413796\ 48571/206196308372669393551363583312789926411*c_1001_3^4 + 183942098350991410350893224624762641062935/824785233490677574205454\ 333251159705644*c_1001_3^3 + 27472870820662231164752491108545015315\ 093/206196308372669393551363583312789926411*c_1001_3^2 - 6823228187992098571121888495941430272167/82478523349067757420545433\ 3251159705644*c_1001_3 - 1637411304403516143095673076392599859343/8\ 24785233490677574205454333251159705644, c_0101_5 + 6595969738046836568468726231961987973/8247852334906775742054\ 54333251159705644*c_1001_3^21 + 37719123087238137379438852774700664\ 553/412392616745338787102727166625579852822*c_1001_3^20 + 56694937484523607769393555045134503833/4123926167453387871027271666\ 25579852822*c_1001_3^19 - 1253285553281066656261295150592676665275/\ 824785233490677574205454333251159705644*c_1001_3^18 - 842018266242590066323343774171936138167/206196308372669393551363583\ 312789926411*c_1001_3^17 + 2101256529772136630880922820759717396172\ /206196308372669393551363583312789926411*c_1001_3^16 + 31348630296903674968062586925467547048501/8247852334906775742054543\ 33251159705644*c_1001_3^15 - 94369165196148101226881865159265896026\ 59/412392616745338787102727166625579852822*c_1001_3^14 - 37879341483480452128501182224340102421727/2061963083726693935513635\ 83312789926411*c_1001_3^13 - 74396081313549900644185156183736793450\ 81/206196308372669393551363583312789926411*c_1001_3^12 + 105544477000687996239742065046640487392970/206196308372669393551363\ 583312789926411*c_1001_3^11 + 7621288343499738170681001667399666232\ 9651/824785233490677574205454333251159705644*c_1001_3^10 - 131553452919786054399548562422176245076453/206196308372669393551363\ 583312789926411*c_1001_3^9 - 29463465823910065476136548475301069574\ 65/824785233490677574205454333251159705644*c_1001_3^8 + 375701392777735072501768444963462809837493/824785233490677574205454\ 333251159705644*c_1001_3^7 - 81263033393197895739464032596720926795\ 709/412392616745338787102727166625579852822*c_1001_3^6 - 210480750144061107502777039302190874517091/824785233490677574205454\ 333251159705644*c_1001_3^5 + 25490030780105761804530773824879720345\ 705/206196308372669393551363583312789926411*c_1001_3^4 + 48797203403323598006411820659129089348735/8247852334906775742054543\ 33251159705644*c_1001_3^3 - 363925444446652495528919836624628417953\ 5/206196308372669393551363583312789926411*c_1001_3^2 - 1721182706838704182194654530213111712307/82478523349067757420545433\ 3251159705644*c_1001_3 + 478834328692466919331071170308816064933/82\ 4785233490677574205454333251159705644, c_1001_3^22 + 5*c_1001_3^21 - 16*c_1001_3^20 - 93*c_1001_3^19 + 99*c_1001_3^18 + 744*c_1001_3^17 - 43*c_1001_3^16 - 3395*c_1001_3^15 - 1798*c_1001_3^14 + 10272*c_1001_3^13 + 2804*c_1001_3^12 - 14109*c_1001_3^11 - 431*c_1001_3^10 + 11287*c_1001_3^9 - 4106*c_1001_3^8 - 6207*c_1001_3^7 + 3347*c_1001_3^6 + 1639*c_1001_3^5 - 785*c_1001_3^4 - 147*c_1001_3^3 + 57*c_1001_3^2 + 4*c_1001_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB