Magma V2.19-8 Tue Aug 20 2013 16:18:12 on localhost [Seed = 4071845839] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2410 geometric_solution 5.76542689 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 0 0 -1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0.519779877244 0.200593859070 2 0 3 0 0132 2310 0132 0132 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 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.805720193191 0.445630470862 1 4 3 5 0132 0132 3012 0132 0 0 0 0 0 0 0 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 -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.698644095513 0.968720543610 5 2 4 1 3201 1230 0132 0132 0 0 0 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 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.698644095513 0.968720543610 6 2 6 3 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.204402432064 1.660185725922 5 5 2 3 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 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.078581037941 1.215716312968 4 6 4 6 0132 2310 1023 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.502271828249 0.317046680586 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_1'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(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' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_5']), '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_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), '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_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), '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_5'], 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_5']), '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 40 Groebner basis: [ t - 206146145082593499710099388584220568307631510559/398801650904544280\ 09174129285191714085415863*c_0101_4^39 + 10474667795698481773105276005318564514486804136667/3988016509045442\ 8009174129285191714085415863*c_0101_4^37 - 191197236869560415445200956523942622639688968242830/398801650904544\ 28009174129285191714085415863*c_0101_4^35 + 2027593906378942884226060324723689003711291439288713/39880165090454\ 428009174129285191714085415863*c_0101_4^33 - 14966038185817990085799708627618110091274440995556119/3988016509045\ 4428009174129285191714085415863*c_0101_4^31 + 80065931781017125126180950570824200512989053152091745/3988016509045\ 4428009174129285191714085415863*c_0101_4^29 - 308020323043840624134624898563960301586154359058712859/398801650904\ 54428009174129285191714085415863*c_0101_4^27 + 843540445262021860513825364504035305970208255338034328/398801650904\ 54428009174129285191714085415863*c_0101_4^25 - 1645781267026975040952456055965105942062626720850305607/39880165090\ 454428009174129285191714085415863*c_0101_4^23 + 2315217669176479394476227621371186473749723067079376802/39880165090\ 454428009174129285191714085415863*c_0101_4^21 - 2395242568921918579165490591959235630003584344030803925/39880165090\ 454428009174129285191714085415863*c_0101_4^19 + 1862612404265156477053157450122195407910429611429601084/39880165090\ 454428009174129285191714085415863*c_0101_4^17 - 1107393378076646088691017962265788160298669083177321754/39880165090\ 454428009174129285191714085415863*c_0101_4^15 + 506220381474172931681130619458280946758281798618543576/398801650904\ 54428009174129285191714085415863*c_0101_4^13 - 176091700596462049447923865122906750691923926403186425/398801650904\ 54428009174129285191714085415863*c_0101_4^11 + 45329085191156090230444472450193512993131533802474331/3988016509045\ 4428009174129285191714085415863*c_0101_4^9 - 8248888358421128162573750007392433137797382698583431/39880165090454\ 428009174129285191714085415863*c_0101_4^7 + 990958692648711450694263609347711009036546191762461/398801650904544\ 28009174129285191714085415863*c_0101_4^5 - 69845771609188561137082633796255333849308971793438/3988016509045442\ 8009174129285191714085415863*c_0101_4^3 + 2136161652327132068677317311971265781670054402495/39880165090454428\ 009174129285191714085415863*c_0101_4, c_0011_0 - 1, c_0011_1 + 176975175568666735080894090604879348026829103/39880165090454\ 428009174129285191714085415863*c_0101_4^38 - 8971379230724695931726787551834108634547004840/39880165090454428009\ 174129285191714085415863*c_0101_4^36 + 163077240370250992975878375812083455682881697095/398801650904544280\ 09174129285191714085415863*c_0101_4^34 - 1721429362475562096122115825370164733537705636102/39880165090454428\ 009174129285191714085415863*c_0101_4^32 + 12646290425199300013138211155478805345996872029282/3988016509045442\ 8009174129285191714085415863*c_0101_4^30 - 67261834124482793034389995351070803339981724495205/3988016509045442\ 8009174129285191714085415863*c_0101_4^28 + 256655462966353448278080713013103996731487290511633/398801650904544\ 28009174129285191714085415863*c_0101_4^26 - 694841410520091511638789230434586478256884648705342/398801650904544\ 28009174129285191714085415863*c_0101_4^24 + 1334853952024777436314480448652707433065639013388275/39880165090454\ 428009174129285191714085415863*c_0101_4^22 - 1841429161004479341393391393581276031844259225870336/39880165090454\ 428009174129285191714085415863*c_0101_4^20 + 1861640956126200431250639568500427300415545058527034/39880165090454\ 428009174129285191714085415863*c_0101_4^18 - 1411156009109864667277410999784112877511433830692492/39880165090454\ 428009174129285191714085415863*c_0101_4^16 + 816218907351618112351554572868118635078812271694051/398801650904544\ 28009174129285191714085415863*c_0101_4^14 - 361980336823489150146687258190969258099638202958984/398801650904544\ 28009174129285191714085415863*c_0101_4^12 + 121573904889382367643920704042812078085002520750083/398801650904544\ 28009174129285191714085415863*c_0101_4^10 - 30006721487281656921939200621178917666045128880283/3988016509045442\ 8009174129285191714085415863*c_0101_4^8 + 5190112692206048442898465640763727360091045549407/39880165090454428\ 009174129285191714085415863*c_0101_4^6 - 584937835188846139231969377418778111031042267564/398801650904544280\ 09174129285191714085415863*c_0101_4^4 + 37635387249174164340778092091300367644436109647/3988016509045442800\ 9174129285191714085415863*c_0101_4^2 - 1001668086210946375655902293239854507956356118/39880165090454428009\ 174129285191714085415863, c_0011_3 + 952077720596850359355353766855810029012132039/39880165090454\ 428009174129285191714085415863*c_0101_4^39 - 48542600371832199029334394046662560228692872591/3988016509045442800\ 9174129285191714085415863*c_0101_4^37 + 891373686332179418957562500360320210638056478041/398801650904544280\ 09174129285191714085415863*c_0101_4^35 - 9513776044066016617564329804587203222551592076397/39880165090454428\ 009174129285191714085415863*c_0101_4^33 + 70672669752287524441912071461322613598415677914522/3988016509045442\ 8009174129285191714085415863*c_0101_4^31 - 381005045533812681320683704007110580793291160264048/398801650904544\ 28009174129285191714085415863*c_0101_4^29 + 1481084656782916766687813852551226867155063139559279/39880165090454\ 428009174129285191714085415863*c_0101_4^27 - 4112795550378883311738708579848272162261157399017501/39880165090454\ 428009174129285191714085415863*c_0101_4^25 + 8164676003105746397827665383996903076581690706837556/39880165090454\ 428009174129285191714085415863*c_0101_4^23 - 11716068412205443015952008165764325043822274403981218/3988016509045\ 4428009174129285191714085415863*c_0101_4^21 + 12373360628190133150318638098788230472062921628763998/3988016509045\ 4428009174129285191714085415863*c_0101_4^19 - 9812538411470118301794788709721288104134724678349166/39880165090454\ 428009174129285191714085415863*c_0101_4^17 + 5938904659893467884719933037175201362762328890117352/39880165090454\ 428009174129285191714085415863*c_0101_4^15 - 2759197688308349220043494629590348555585849040991938/39880165090454\ 428009174129285191714085415863*c_0101_4^13 + 973992883966769356143234398641328204522665041001739/398801650904544\ 28009174129285191714085415863*c_0101_4^11 - 253702023148111429748454706750089183354057433699032/398801650904544\ 28009174129285191714085415863*c_0101_4^9 + 46429850361093496525837026871656390473048400621096/3988016509045442\ 8009174129285191714085415863*c_0101_4^7 - 5554591373031698555333218807924128811351741765162/39880165090454428\ 009174129285191714085415863*c_0101_4^5 + 386034466561825286691067492843671741507690645250/398801650904544280\ 09174129285191714085415863*c_0101_4^3 - 11409557883390621655564645710164103958923855047/3988016509045442800\ 9174129285191714085415863*c_0101_4, c_0011_5 + 784562283774798415149631689983453043910317140/39880165090454\ 428009174129285191714085415863*c_0101_4^39 - 39821187266371285677507281545661069700317367209/3988016509045442800\ 9174129285191714085415863*c_0101_4^37 + 725436611322545343355018406634983773361708354400/398801650904544280\ 09174129285191714085415863*c_0101_4^35 - 7675898801742742307158740743871448625407944348955/39880165090454428\ 009174129285191714085415863*c_0101_4^33 + 56524880897796778378366954106511132585703876934831/3988016509045442\ 8009174129285191714085415863*c_0101_4^31 - 301514915580985958223876376214961455227722393315717/398801650904544\ 28009174129285191714085415863*c_0101_4^29 + 1155124806577876480855649883853982908261316090749145/39880165090454\ 428009174129285191714085415863*c_0101_4^27 - 3144384630382652267296584506170411022758716131397208/39880165090454\ 428009174129285191714085415863*c_0101_4^25 + 6083179337116202186872768516994030350098681421791402/39880165090454\ 428009174129285191714085415863*c_0101_4^23 - 8461643612787645188698113757453782418749426726319140/39880165090454\ 428009174129285191714085415863*c_0101_4^21 + 8631119314592646740289088994833830121814389722496568/39880165090454\ 428009174129285191714085415863*c_0101_4^19 - 6600336235831320856649074491802601240894243936793605/39880165090454\ 428009174129285191714085415863*c_0101_4^17 + 3849664659109691488094151396500401505976185132412079/39880165090454\ 428009174129285191714085415863*c_0101_4^15 - 1721190600190644877515510458343506492553298180813811/39880165090454\ 428009174129285191714085415863*c_0101_4^13 + 582860277400354470416598266667035771455546103135475/398801650904544\ 28009174129285191714085415863*c_0101_4^11 - 145064978471827465375869505548687871327967470149365/398801650904544\ 28009174129285191714085415863*c_0101_4^9 + 25311607572328880103221488728152835195352432326533/3988016509045442\ 8009174129285191714085415863*c_0101_4^7 - 2892300644451229176500497268842057047530138995255/39880165090454428\ 009174129285191714085415863*c_0101_4^5 + 192410822844656376937102003351966293201815278111/398801650904544280\ 09174129285191714085415863*c_0101_4^3 - 5421478534747639806868118122580842248636627438/39880165090454428009\ 174129285191714085415863*c_0101_4, c_0101_0 + 498835449211806175838577885826392523785006266/39880165090454\ 428009174129285191714085415863*c_0101_4^38 - 25370536293202455614293851859121944492516049814/3988016509045442800\ 9174129285191714085415863*c_0101_4^36 + 463848462552166280587865929173491128014068997622/398801650904544280\ 09174129285191714085415863*c_0101_4^34 - 4927364233902213798347969547820729051798250339419/39880165090454428\ 009174129285191714085415863*c_0101_4^32 + 36429423208193944588572457460348819934496631670824/3988016509045442\ 8009174129285191714085415863*c_0101_4^30 - 195269356799438382402860363731659600544098409602775/398801650904544\ 28009174129285191714085415863*c_0101_4^28 + 753136544595412111633740152604764695908100403129753/398801650904544\ 28009174129285191714085415863*c_0101_4^26 - 2069222379821769720414640582856609594177463766517770/39880165090454\ 428009174129285191714085415863*c_0101_4^24 + 4052142704360437971547290455486818207611137190484301/39880165090454\ 428009174129285191714085415863*c_0101_4^22 - 5721252819352321247663807159937219167015550337340968/39880165090454\ 428009174129285191714085415863*c_0101_4^20 + 5936213659424802676881987005411548041326955309396394/39880165090454\ 428009174129285191714085415863*c_0101_4^18 - 4623819571008430978057357327297025333659142564882129/39880165090454\ 428009174129285191714085415863*c_0101_4^16 + 2749883001874449026605294173037622561413923317094385/39880165090454\ 428009174129285191714085415863*c_0101_4^14 - 1255768428944567792163511237144467798466854930189614/39880165090454\ 428009174129285191714085415863*c_0101_4^12 + 435658318207309795109096970749806547059183177847410/398801650904544\ 28009174129285191714085415863*c_0101_4^10 - 111569767734812040416060451668455630650784167184027/398801650904544\ 28009174129285191714085415863*c_0101_4^8 + 20132977715326272307372458770119012971110805287936/3988016509045442\ 8009174129285191714085415863*c_0101_4^6 - 2390784888499118323144212664637514122422314170740/39880165090454428\ 009174129285191714085415863*c_0101_4^4 + 166037118418095111963956511885797187254487928507/398801650904544280\ 09174129285191714085415863*c_0101_4^2 - 4934663113185247199939502108367390358630851187/39880165090454428009\ 174129285191714085415863, c_0101_1 - 368464381712100230204828734099914887135636034/39880165090454\ 428009174129285191714085415863*c_0101_4^38 + 18669627805165467571913274431345837416805810620/3988016509045442800\ 9174129285191714085415863*c_0101_4^36 - 339077774645691224634651585295032893729391285260/398801650904544280\ 09174129285191714085415863*c_0101_4^34 + 3575828000361533789039255770527773145200527088671/39880165090454428\ 009174129285191714085415863*c_0101_4^32 - 26242970499523377249959906905471430674414254823165/3988016509045442\ 8009174129285191714085415863*c_0101_4^30 + 139401917500158904649609026292434037717125695382440/398801650904544\ 28009174129285191714085415863*c_0101_4^28 - 530962540580480309873673963992780423612826491124565/398801650904544\ 28009174129285191714085415863*c_0101_4^26 + 1433690036379407227969067636304374884462901163870140/39880165090454\ 428009174129285191714085415863*c_0101_4^24 - 2744019877281584674146352124229292878399865768965435/39880165090454\ 428009174129285191714085415863*c_0101_4^22 + 3766385896471977405765751835813581033880462567397388/39880165090454\ 428009174129285191714085415863*c_0101_4^20 - 3783282227077158169031661314201601715265634811467489/39880165090454\ 428009174129285191714085415863*c_0101_4^18 + 2845407707941428258639492937253979955392043281463673/39880165090454\ 428009174129285191714085415863*c_0101_4^16 - 1630635538035649862797760032589884448813170297717740/39880165090454\ 428009174129285191714085415863*c_0101_4^14 + 715219763746751633967456892796000502532643085097369/398801650904544\ 28009174129285191714085415863*c_0101_4^12 - 236929469833207515007083594982021759075230529198058/398801650904544\ 28009174129285191714085415863*c_0101_4^10 + 57453004687389096245454694885963382408441972633050/3988016509045442\ 8009174129285191714085415863*c_0101_4^8 - 9720555814548187072128633790855119560996417015692/39880165090454428\ 009174129285191714085415863*c_0101_4^6 + 1069604263241840794568999522522531794723830681273/39880165090454428\ 009174129285191714085415863*c_0101_4^4 - 67559091649382907643652574147260104085849169372/3988016509045442800\ 9174129285191714085415863*c_0101_4^2 + 1826110535076199218814708112508499265952089121/39880165090454428009\ 174129285191714085415863, c_0101_4^40 - 51*c_0101_4^38 + 937*c_0101_4^36 - 10008*c_0101_4^34 + 74410*c_0101_4^32 - 401640*c_0101_4^30 + 1564267*c_0101_4^28 - 4357451*c_0101_4^26 + 8695330*c_0101_4^24 - 12581295*c_0101_4^22 + 13454733*c_0101_4^20 - 10862079*c_0101_4^18 + 6734859*c_0101_4^16 - 3231875*c_0101_4^14 + 1193149*c_0101_4^12 - 331931*c_0101_4^10 + 67245*c_0101_4^8 - 9461*c_0101_4^6 + 863*c_0101_4^4 - 45*c_0101_4^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB