Magma V2.19-8 Tue Aug 20 2013 16:14:50 on localhost [Seed = 4004475522] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s799 geometric_solution 5.34774059 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 2 1230 3012 0132 0132 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.327737928426 0.606740200007 3 2 4 0 0132 3012 0132 0132 0 0 0 0 0 0 1 -1 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 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 0.678970338992 1.042180149910 1 3 0 4 1230 0132 0132 2310 0 0 0 0 0 0 1 -1 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 1 0 -1 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.678970338992 1.042180149910 1 2 3 3 0132 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.961620156637 0.967376526688 2 5 5 1 3201 0132 3201 0132 0 0 0 0 0 1 0 -1 1 0 -1 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 1 0 0 -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.177340857439 0.540385737639 4 4 5 5 2310 0132 2031 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.190822794313 1.896477696031 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(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' : negation(d['1']), 's_1_2' : negation(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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_0011_4'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0011_1']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_0']), '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_0011_1'], 'c_0110_5' : d['c_0011_1'], 'c_0110_4' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_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_4, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t - 7320867114382519860930508362742915830516125064618783225/13123069453\ 9329274579066379417804757920487439567791602*c_0101_5^26 + 16065643988424328427095538390203657037932660581263813463/1312306945\ 39329274579066379417804757920487439567791602*c_0101_5^25 + 22634687016923882431892812300714976564686299032793765055/9373621038\ 523519612790455672700339851463388540556543*c_0101_5^24 + 57837063523601238223365730310230950060031127907680595940/6561534726\ 9664637289533189708902378960243719783895801*c_0101_5^23 - 1510435433016890672336264336580211731676230009244612528119/13123069\ 4539329274579066379417804757920487439567791602*c_0101_5^22 - 308209575248931144880877726965384136826038167858142301553/187472420\ 77047039225580911345400679702926777081113086*c_0101_5^21 + 2521888174259561640082993811174823174707198698251133664409/65615347\ 269664637289533189708902378960243719783895801*c_0101_5^20 + 1668785773360654948896615652229801074104538865291183576551/18747242\ 077047039225580911345400679702926777081113086*c_0101_5^19 - 17644194407911299878049423869450582099487937930772073113800/6561534\ 7269664637289533189708902378960243719783895801*c_0101_5^18 + 6218569283641395589650037509154608108328803875002629505051/65615347\ 269664637289533189708902378960243719783895801*c_0101_5^17 + 36320725265866007502408919644704663318618354687081903113951/6561534\ 7269664637289533189708902378960243719783895801*c_0101_5^16 - 129670616773278017636414058027782771522218585349086854055937/131230\ 694539329274579066379417804757920487439567791602*c_0101_5^15 + 5628669984074441020131126576099662750265310496604722286791/93736210\ 38523519612790455672700339851463388540556543*c_0101_5^14 + 91607702550275348206667993243952749151719054086764793401/5730598014\ 81787225236097726715304619740119823440138*c_0101_5^13 - 62664603636819776904660985422081194836207737061321580876093/1312306\ 94539329274579066379417804757920487439567791602*c_0101_5^12 + 15435769400460909260215673868078678139972998665496517991169/6561534\ 7269664637289533189708902378960243719783895801*c_0101_5^11 + 5945131800089147638502442109710882706252248632201905081431/13123069\ 4539329274579066379417804757920487439567791602*c_0101_5^10 - 9718451457787403214193630358954019068717857792510279669393/13123069\ 4539329274579066379417804757920487439567791602*c_0101_5^9 + 268764402933526054917022466828351472049331002692940185233/131230694\ 539329274579066379417804757920487439567791602*c_0101_5^8 + 338981249148383269948561954629278597585174235903417549815/187472420\ 77047039225580911345400679702926777081113086*c_0101_5^7 - 19308871216613808576933263917400448835151384742121380719/9373621038\ 523519612790455672700339851463388540556543*c_0101_5^6 - 547411842778218991067309544388798512286918747264227305793/131230694\ 539329274579066379417804757920487439567791602*c_0101_5^5 + 107422404922442777702301415440323180624702167140059356893/131230694\ 539329274579066379417804757920487439567791602*c_0101_5^4 + 1380560961816637546019160570202403803995329100311564593/93736210385\ 23519612790455672700339851463388540556543*c_0101_5^3 + 74262473020627670860742339719684962047201144701913387675/1312306945\ 39329274579066379417804757920487439567791602*c_0101_5^2 + 188003227839695632598454103427701373323691982682990727/937362103852\ 3519612790455672700339851463388540556543*c_0101_5 - 5538967035055545337510877834208093648577928430222124903/65615347269\ 664637289533189708902378960243719783895801, c_0011_0 - 1, c_0011_1 + 52207376399545753329507675018909226383666043772616024/656153\ 47269664637289533189708902378960243719783895801*c_0101_5^26 - 126318538355614893775000860089428306324127863153051635/656153472696\ 64637289533189708902378960243719783895801*c_0101_5^25 - 2222196732732975115750923642711835550426851574308964855/65615347269\ 664637289533189708902378960243719783895801*c_0101_5^24 - 347207183855743026597457848182836832264086574944709589/656153472696\ 64637289533189708902378960243719783895801*c_0101_5^23 + 1494310337211177081621286555756787470722713854132737960/93736210385\ 23519612790455672700339851463388540556543*c_0101_5^22 + 12976686637284526057524408014887533653913592219953814692/6561534726\ 9664637289533189708902378960243719783895801*c_0101_5^21 - 5299507915413028114550544160903005642946174068797014502/93736210385\ 23519612790455672700339851463388540556543*c_0101_5^20 - 72763121765182119888098213633307954230934977157898358651/6561534726\ 9664637289533189708902378960243719783895801*c_0101_5^19 + 261601933225440920838407330232315347927011665643203416956/656153472\ 69664637289533189708902378960243719783895801*c_0101_5^18 - 159806731521903588786659625505297481914494354948543772731/656153472\ 69664637289533189708902378960243719783895801*c_0101_5^17 - 436023953201532469147439700841604020511454906524936062895/656153472\ 69664637289533189708902378960243719783895801*c_0101_5^16 + 992108501667808798297320187684190567207350142350825976798/656153472\ 69664637289533189708902378960243719783895801*c_0101_5^15 - 857950605720955377068327448306021881354571799443076140380/656153472\ 69664637289533189708902378960243719783895801*c_0101_5^14 + 952758926757534289652373680658715458728828269121598442/286529900740\ 893612618048863357652309870059911720069*c_0101_5^13 + 237637574861170212178465411762523790626124098419430769200/656153472\ 69664637289533189708902378960243719783895801*c_0101_5^12 - 219962068047006984765087790457875647228247540203152936797/656153472\ 69664637289533189708902378960243719783895801*c_0101_5^11 + 33241456821501265267397142737141893503119229385744852528/6561534726\ 9664637289533189708902378960243719783895801*c_0101_5^10 + 34129004213528466456496932429330668638035371178215367323/6561534726\ 9664637289533189708902378960243719783895801*c_0101_5^9 - 7051392103487775119617124248548675804954538730307944151/65615347269\ 664637289533189708902378960243719783895801*c_0101_5^8 - 1601363244339286299141746888474543707359670590093976109/93736210385\ 23519612790455672700339851463388540556543*c_0101_5^7 + 860389497991349691303531769339836145343897590851770493/937362103852\ 3519612790455672700339851463388540556543*c_0101_5^6 - 36050084134176432295224578955229626700917251733911315/6561534726966\ 4637289533189708902378960243719783895801*c_0101_5^5 - 348297093463948270327304606860088595561415044226584720/656153472696\ 64637289533189708902378960243719783895801*c_0101_5^4 + 127747078621709973630553590402491404200634181758150684/656153472696\ 64637289533189708902378960243719783895801*c_0101_5^3 - 459309708380085292693042019951369699451118836548598945/656153472696\ 64637289533189708902378960243719783895801*c_0101_5^2 + 16891989233989214223170897702861210792440689303178488/6561534726966\ 4637289533189708902378960243719783895801*c_0101_5 + 1384123466238298095592555397515855763079509472875858/65615347269664\ 637289533189708902378960243719783895801, c_0011_4 - 3849358283272893076262509880296910858214997443981357/9373621\ 038523519612790455672700339851463388540556543*c_0101_5^26 + 55211610159367764530057023063993749497853538128930699/6561534726966\ 4637289533189708902378960243719783895801*c_0101_5^25 + 1166002750043204829360281993924304786770312279780272368/65615347269\ 664637289533189708902378960243719783895801*c_0101_5^24 + 613261032087191878083984253193894280359846717338171254/656153472696\ 64637289533189708902378960243719783895801*c_0101_5^23 - 5109809466410599631875461660163387166234198098167128002/65615347269\ 664637289533189708902378960243719783895801*c_0101_5^22 - 8522376131384916170199772720281405655446359358580540516/65615347269\ 664637289533189708902378960243719783895801*c_0101_5^21 + 15742055042192792637221963832740592810800786203211108739/6561534726\ 9664637289533189708902378960243719783895801*c_0101_5^20 + 42748407085713441711047065994961108365511265846905025779/6561534726\ 9664637289533189708902378960243719783895801*c_0101_5^19 - 118661702332563578875248722649193309924299877759189814859/656153472\ 69664637289533189708902378960243719783895801*c_0101_5^18 + 41387628386699541024924579890952329461711253872142038822/6561534726\ 9664637289533189708902378960243719783895801*c_0101_5^17 + 235963588296383098896157277640456841330870111754821436673/656153472\ 69664637289533189708902378960243719783895801*c_0101_5^16 - 426692603341258028711214996339235071115058409238798951494/656153472\ 69664637289533189708902378960243719783895801*c_0101_5^15 + 296422177448195039606204405209895615881613991640615468672/656153472\ 69664637289533189708902378960243719783895801*c_0101_5^14 - 59799320849968047840029883091849206849657266566862281/2865299007408\ 93612618048863357652309870059911720069*c_0101_5^13 - 125934255296205862749292169382714630797692176504358304189/656153472\ 69664637289533189708902378960243719783895801*c_0101_5^12 + 67424347948757494792904167903838259561380130582467135964/6561534726\ 9664637289533189708902378960243719783895801*c_0101_5^11 + 1706196905425848074381322088526453197355659359197653364/93736210385\ 23519612790455672700339851463388540556543*c_0101_5^10 - 19668765301289447361786664813779594596346570212986448605/6561534726\ 9664637289533189708902378960243719783895801*c_0101_5^9 + 455535191218533622987282598607848532733727683363153954/656153472696\ 64637289533189708902378960243719783895801*c_0101_5^8 + 601040632006114018704802946081125195489886937144564365/937362103852\ 3519612790455672700339851463388540556543*c_0101_5^7 - 60691152544695149704798123994309286314189514586667100/9373621038523\ 519612790455672700339851463388540556543*c_0101_5^6 - 67019508470929859498832310942402484829263706965230085/9373621038523\ 519612790455672700339851463388540556543*c_0101_5^5 - 341288516412707441149876489057214348351808566711647073/656153472696\ 64637289533189708902378960243719783895801*c_0101_5^4 + 10529795083512135309656206121104007245810840511398172/6561534726966\ 4637289533189708902378960243719783895801*c_0101_5^3 + 219975780185650945930379501668831920234109272715931721/656153472696\ 64637289533189708902378960243719783895801*c_0101_5^2 + 161969852954399955915547605386055785951984515055705541/656153472696\ 64637289533189708902378960243719783895801*c_0101_5 - 8847247211573735514220354778492790595878219023254219/65615347269664\ 637289533189708902378960243719783895801, c_0101_0 - 64111337281989582694819001653999386810599560207235877/656153\ 47269664637289533189708902378960243719783895801*c_0101_5^26 + 16568937275598695400753713456456646914419643651053050/9373621038523\ 519612790455672700339851463388540556543*c_0101_5^25 + 2824977383026244260093977994446207722160128192326817371/65615347269\ 664637289533189708902378960243719783895801*c_0101_5^24 + 298043277566504538329891149979809194236596205032859779/937362103852\ 3519612790455672700339851463388540556543*c_0101_5^23 - 12635988109666181845500629024711737258807478817244637355/6561534726\ 9664637289533189708902378960243719783895801*c_0101_5^22 - 23678437732504950125850612127939777478263666452399853147/6561534726\ 9664637289533189708902378960243719783895801*c_0101_5^21 + 36038135310768105947195364073414571109587177209499420397/6561534726\ 9664637289533189708902378960243719783895801*c_0101_5^20 + 116901929036182373834611233147250441250431749295838194936/656153472\ 69664637289533189708902378960243719783895801*c_0101_5^19 - 268044682791248342481809434126518375017325295498156329473/656153472\ 69664637289533189708902378960243719783895801*c_0101_5^18 + 788387309998253111340265970203136822922858609331583439/656153472696\ 64637289533189708902378960243719783895801*c_0101_5^17 + 95031532910349644403892708959173077060407283879515706029/9373621038\ 523519612790455672700339851463388540556543*c_0101_5^16 - 911989142090964429126663345359636307723272247506765601980/656153472\ 69664637289533189708902378960243719783895801*c_0101_5^15 + 312818018471768350382449618542169575436692324052978123460/656153472\ 69664637289533189708902378960243719783895801*c_0101_5^14 + 1844820761070240972942679686887805731186116535336836503/28652990074\ 0893612618048863357652309870059911720069*c_0101_5^13 - 541658666938907434908747569861373662219179767761333817294/656153472\ 69664637289533189708902378960243719783895801*c_0101_5^12 + 162869457220670880473810909295333759299385364891282244346/656153472\ 69664637289533189708902378960243719783895801*c_0101_5^11 + 101695584498136210348937153122827170488949589396784867355/656153472\ 69664637289533189708902378960243719783895801*c_0101_5^10 - 76595447090594045138640013303841578695523582464065797735/6561534726\ 9664637289533189708902378960243719783895801*c_0101_5^9 - 5795946105167013713308691805502325901304312796558842883/65615347269\ 664637289533189708902378960243719783895801*c_0101_5^8 + 2430081182515782696430582268326244844770914956884678804/93736210385\ 23519612790455672700339851463388540556543*c_0101_5^7 + 107166902511294878646043459396361757123947018396771213/937362103852\ 3519612790455672700339851463388540556543*c_0101_5^6 - 4483740472895297493562082961676674811820388401861598249/65615347269\ 664637289533189708902378960243719783895801*c_0101_5^5 + 77220740748647586122596743418664106368731036737537219/9373621038523\ 519612790455672700339851463388540556543*c_0101_5^4 + 74841942707697168251239044131705102242669712472381550/6561534726966\ 4637289533189708902378960243719783895801*c_0101_5^3 + 486613582356995053022902918079210589200020278037798827/656153472696\ 64637289533189708902378960243719783895801*c_0101_5^2 + 183802331041842905995191587563718855288294144347394289/656153472696\ 64637289533189708902378960243719783895801*c_0101_5 - 30934204991302803451867165444196703015466329938934258/6561534726966\ 4637289533189708902378960243719783895801, c_0101_1 + 47794643189875588321712865094300335916915697563651008/656153\ 47269664637289533189708902378960243719783895801*c_0101_5^26 - 88078960525139428821659303194632639354418463597067420/6561534726966\ 4637289533189708902378960243719783895801*c_0101_5^25 - 2097005681587613283124976985511111187792191699230551046/65615347269\ 664637289533189708902378960243719783895801*c_0101_5^24 - 1498622799676312991394427888577659072843377581466000696/65615347269\ 664637289533189708902378960243719783895801*c_0101_5^23 + 9215748831904679898128461584143844724130428281702322447/65615347269\ 664637289533189708902378960243719783895801*c_0101_5^22 + 17276228889068477552372051453388611856039483171205473944/6561534726\ 9664637289533189708902378960243719783895801*c_0101_5^21 - 26354502468830874957049088127972635884412828742552704583/6561534726\ 9664637289533189708902378960243719783895801*c_0101_5^20 - 84698071021397942091246118822321638380472717042096312909/6561534726\ 9664637289533189708902378960243719783895801*c_0101_5^19 + 28438150367801259758027749178177519728453383784978520981/9373621038\ 523519612790455672700339851463388540556543*c_0101_5^18 - 15278649363572497283869642257612975433187725990956102028/6561534726\ 9664637289533189708902378960243719783895801*c_0101_5^17 - 467755193391220370678070566762239238546852564168519997152/656153472\ 69664637289533189708902378960243719783895801*c_0101_5^16 + 675188005029096820337577179588335029274070573335312993982/656153472\ 69664637289533189708902378960243719783895801*c_0101_5^15 - 295085778896846877805029103931808661347485125991845538881/656153472\ 69664637289533189708902378960243719783895801*c_0101_5^14 - 123740015734860375863389387642478036233757259186715712/409328429629\ 84801802578409051093187124294273102867*c_0101_5^13 + 295840903618337422480646516145147801973062651283763491996/656153472\ 69664637289533189708902378960243719783895801*c_0101_5^12 - 71632299070721245381894950468799567131716198259530532584/6561534726\ 9664637289533189708902378960243719783895801*c_0101_5^11 - 71483973401141981797851494919579530364761932195241849998/6561534726\ 9664637289533189708902378960243719783895801*c_0101_5^10 + 39944678681976149889569192026477589409905800172137256370/6561534726\ 9664637289533189708902378960243719783895801*c_0101_5^9 + 8430149581801989888897702377145085509348406058139448649/65615347269\ 664637289533189708902378960243719783895801*c_0101_5^8 - 1203754075989322872691600624258666355564657777209610705/93736210385\ 23519612790455672700339851463388540556543*c_0101_5^7 - 341883472516992084833080548914830844218330149921272382/937362103852\ 3519612790455672700339851463388540556543*c_0101_5^6 + 1440653122001434729341173718360517472523425628463362979/65615347269\ 664637289533189708902378960243719783895801*c_0101_5^5 + 1023516226883175648048907227554780654692108570726325584/65615347269\ 664637289533189708902378960243719783895801*c_0101_5^4 + 35344892989928992095605212509784517358747042274406718/6561534726966\ 4637289533189708902378960243719783895801*c_0101_5^3 - 77420734518250541714187135453902010841511257690079389/9373621038523\ 519612790455672700339851463388540556543*c_0101_5^2 - 220614592709997377833753309115670795906418228090097404/656153472696\ 64637289533189708902378960243719783895801*c_0101_5 + 9633505144325792997425292068906268170955846960860828/65615347269664\ 637289533189708902378960243719783895801, c_0101_5^27 - 2*c_0101_5^26 - 131/3*c_0101_5^25 - 73/3*c_0101_5^24 + 604/3*c_0101_5^23 + 1004/3*c_0101_5^22 - 623*c_0101_5^21 - 5158/3*c_0101_5^20 + 13436/3*c_0101_5^19 - 2456/3*c_0101_5^18 - 30079/3*c_0101_5^17 + 46825/3*c_0101_5^16 - 22909/3*c_0101_5^15 - 12283/3*c_0101_5^14 + 7105*c_0101_5^13 - 6347/3*c_0101_5^12 - 4874/3*c_0101_5^11 + 1055*c_0101_5^10 + 256*c_0101_5^9 - 955/3*c_0101_5^8 - 28*c_0101_5^7 + 220/3*c_0101_5^6 + 5*c_0101_5^5 - 19/3*c_0101_5^4 - 10*c_0101_5^3 - 8/3*c_0101_5^2 + 4/3*c_0101_5 + 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB