Magma V2.19-8 Tue Aug 20 2013 16:16:40 on localhost [Seed = 3297073166] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0964 geometric_solution 4.85879130 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 0213 0132 0132 0 0 0 0 0 -1 1 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 1 -1 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.602110703192 1.253676645516 0 3 0 2 0132 3120 0213 2031 0 0 0 0 0 -1 1 0 0 0 1 -1 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 1 -1 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.688709805076 0.648148663169 4 1 4 0 0132 1302 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0.661130989072 0.474318691928 5 1 0 5 0132 3120 0132 3201 0 0 0 0 0 -1 0 1 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 -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.418208261192 0.654213529811 2 2 4 4 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.481169799986 0.165799457904 3 3 6 6 0132 2310 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 2.284297224781 1.121973484933 5 6 6 5 3201 3201 2310 0132 0 0 0 0 0 1 -1 0 1 0 -1 0 0 1 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 -0.610581712934 0.141855359762 ==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' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(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_6' : negation(d['1']), 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0101_2'], 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_1001_0']), 'c_1100_0' : negation(d['c_0011_2']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : negation(d['c_0011_0']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_0']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0011_0'], 'c_1001_1' : d['c_1001_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_1001_0']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_0']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_2'], 'c_1010_0' : negation(d['c_1001_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_2, c_0011_6, c_0101_0, c_0101_2, c_0101_5, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 180507752330003879778424162619233747/416682896219813334493507307476\ 896*c_1001_0^25 - 140370449844332477985264602140488563/416682896219\ 813334493507307476896*c_1001_0^24 + 2201606287423502040819111076131079639/41668289621981333449350730747\ 6896*c_1001_0^23 + 90249394376654597913283670679288353/198420426771\ 33968309214633689376*c_1001_0^22 - 115695845806324381865350063451765933/578726244749740742352093482606\ 8*c_1001_0^21 - 4597411572098569387869605732723128247/4166828962198\ 13334493507307476896*c_1001_0^20 + 306426257342368308884989642156184285/595261280314019049276439010681\ 28*c_1001_0^19 + 7042041340697332279451792855653318483/694471493699\ 68889082251217912816*c_1001_0^18 + 27105047266022369701350710586507410663/1388942987399377781645024358\ 25632*c_1001_0^17 + 337546759095297295489981281342935249/3472357468\ 4984444541125608956408*c_1001_0^16 - 46130962263125635896379262334203052739/1388942987399377781645024358\ 25632*c_1001_0^15 - 20925926849296196850321006354633169/35696298828\ 048773622334216352*c_1001_0^14 - 1085488862138653433734273694573390\ 203/59526128031401904927643901068128*c_1001_0^13 + 10261158331709286069034903352955404417/4629809957997925938816747860\ 8544*c_1001_0^12 + 35096013178434040649508975644563857421/416682896\ 219813334493507307476896*c_1001_0^11 + 262475549164204504242571810595313659141/416682896219813334493507307\ 476896*c_1001_0^10 + 2488832808436819557224789677269374161/14881532\ 007850476231910975267032*c_1001_0^9 - 7543795631477883687643684462148011661/26042681013738333405844206717\ 306*c_1001_0^8 - 128998520176608639028764763327376432375/4166828962\ 19813334493507307476896*c_1001_0^7 - 1345465912032835753089897487887788327/86808936712461111352814022391\ 02*c_1001_0^6 + 5861741404626788866826840854005278803/3472357468498\ 4444541125608956408*c_1001_0^5 + 2248797721611261128242820520877126\ 28/1860191500981309528988871908379*c_1001_0^4 - 7552919785267762017916569176307460915/20834144810990666724675365373\ 8448*c_1001_0^3 - 1747401530619794949193572221904330721/69447149369\ 968889082251217912816*c_1001_0^2 + 546396049261084228945985835841278955/208341448109906667246753653738\ 448*c_1001_0 + 695230405685842911930874998451197011/416682896219813\ 334493507307476896, c_0011_0 - 1, c_0011_2 - 201092089268609634171302138203076/12607964617762209029813465\ 156791*c_1001_0^25 + 57442647847832445255197259547717/1260796461776\ 2209029813465156791*c_1001_0^24 - 244956383278569078931666061905674\ 3/12607964617762209029813465156791*c_1001_0^23 - 3323832393428535527748868285354775/12607964617762209029813465156791\ *c_1001_0^22 + 7341162684390750960634919207982422/12607964617762209\ 029813465156791*c_1001_0^21 + 8138424942437028876276677119556575/12\ 607964617762209029813465156791*c_1001_0^20 + 2278920186509341521606477168262088/12607964617762209029813465156791\ *c_1001_0^19 - 44460163381773853064448908625322067/1260796461776220\ 9029813465156791*c_1001_0^18 - 111586170217126224209276741023338361\ /12607964617762209029813465156791*c_1001_0^17 - 64653265503546740549970514687068852/1260796461776220902981346515679\ 1*c_1001_0^16 + 105306450013241178330858319645841316/12607964617762\ 209029813465156791*c_1001_0^15 + 237135573640060215345781192050347/\ 9720867091566853531082085703*c_1001_0^14 + 166949405113415579675222057568765461/126079646177622090298134651567\ 91*c_1001_0^13 + 23384863982377344454040776672380712/12607964617762\ 209029813465156791*c_1001_0^12 + 1524661900441396865731584678481709\ 2/12607964617762209029813465156791*c_1001_0^11 - 266731865609015735980683230817100706/126079646177622090298134651567\ 91*c_1001_0^10 - 200151440332374120721718518981638049/1260796461776\ 2209029813465156791*c_1001_0^9 + 98376698677053229303906685618322/2\ 06687944553478836554319100931*c_1001_0^8 + 103601835025949403035690248938053855/126079646177622090298134651567\ 91*c_1001_0^7 + 108215941595889295792396403695025592/12607964617762\ 209029813465156791*c_1001_0^6 - 272553917417893022182099655044922/2\ 06687944553478836554319100931*c_1001_0^5 - 45320889857670877803286040072005595/1260796461776220902981346515679\ 1*c_1001_0^4 + 434652696547427921268813353692248/126079646177622090\ 29813465156791*c_1001_0^3 + 6792987755089753337918732044001264/1260\ 7964617762209029813465156791*c_1001_0^2 + 76867245227046457878102951623270/12607964617762209029813465156791*c\ _1001_0 - 345029216528394479799874469893342/12607964617762209029813\ 465156791, c_0011_6 + 774779239061126606472041594103561/12607964617762209029813465\ 156791*c_1001_0^25 - 423668006382718324976194153204511/126079646177\ 62209029813465156791*c_1001_0^24 + 9430197327526033697997433706157167/12607964617762209029813465156791\ *c_1001_0^23 + 10334950895477857101075683247700514/1260796461776220\ 9029813465156791*c_1001_0^22 - 32426547642745228092398141931140586/\ 12607964617762209029813465156791*c_1001_0^21 - 25357508154272382334901606767490520/1260796461776220902981346515679\ 1*c_1001_0^20 + 1289325133878259186266265892002679/1260796461776220\ 9029813465156791*c_1001_0^19 + 176989111574835446335888567785994407\ /12607964617762209029813465156791*c_1001_0^18 + 387164418962253644883131474483680221/126079646177622090298134651567\ 91*c_1001_0^17 + 123051107074409237572101717381022634/1260796461776\ 2209029813465156791*c_1001_0^16 - 512411128426752009151938289642490\ 525/12607964617762209029813465156791*c_1001_0^15 - 860158932557458368649416506777570/9720867091566853531082085703*c_10\ 01_0^14 - 312518832476421073681135308168737267/12607964617762209029\ 813465156791*c_1001_0^13 + 186700096936768679960181746398241716/126\ 07964617762209029813465156791*c_1001_0^12 + 60060226144438549676524721798435682/1260796461776220902981346515679\ 1*c_1001_0^11 + 1084520442397801672141831539936797031/1260796461776\ 2209029813465156791*c_1001_0^10 + 522216126581932262769874719195181\ 887/12607964617762209029813465156791*c_1001_0^9 - 4994532994373825417896838138441561/206687944553478836554319100931*c\ _1001_0^8 - 489439407021126360148485253506835641/126079646177622090\ 29813465156791*c_1001_0^7 - 345303095634838010245429064133108072/12\ 607964617762209029813465156791*c_1001_0^6 + 3203817739046972554547782740163324/206687944553478836554319100931*c\ _1001_0^5 + 202209243837081979722123148346692494/126079646177622090\ 29813465156791*c_1001_0^4 - 36325048527584255725958465793892576/126\ 07964617762209029813465156791*c_1001_0^3 - 37123917626651393550822365181385718/1260796461776220902981346515679\ 1*c_1001_0^2 + 2482396642319776047236591632305251/12607964617762209\ 029813465156791*c_1001_0 + 2233484663652492901466901248900266/12607\ 964617762209029813465156791, c_0101_0 - 345029216528394479799874469893342/12607964617762209029813465\ 156791*c_1001_0^25 + 201092089268609634171302138203076/126079646177\ 62209029813465156791*c_1001_0^24 - 4197793246188566202853690898267821/12607964617762209029813465156791\ *c_1001_0^23 - 4451020497782198806680828778810097/12607964617762209\ 029813465156791*c_1001_0^22 + 14709796538865553361144725791835061/1\ 2607964617762209029813465156791*c_1001_0^21 + 10945385791614156468758427696364704/1260796461776220902981346515679\ 1*c_1001_0^20 - 1237840611869139280279187721689735/1260796461776220\ 9029813465156791*c_1001_0^19 - 79220435472341310516978483954477354/\ 12607964617762209029813465156791*c_1001_0^18 - 169802980082359118891273137178443315/126079646177622090298134651567\ 91*c_1001_0^17 - 46782240169406842018865640657705617/12607964617762\ 209029813465156791*c_1001_0^16 + 2354427276851020080509083772842731\ 42/12607964617762209029813465156791*c_1001_0^15 + 380088058170389244134251357863696/9720867091566853531082085703*c_10\ 01_0^14 + 118201214184880688769566889759083969/12607964617762209029\ 813465156791*c_1001_0^13 - 102083912406077417472845657228817165/126\ 07964617762209029813465156791*c_1001_0^12 - 35115857344342756767236508648754340/1260796461776220902981346515679\ 1*c_1001_0^11 - 486556528782200828063944372659122264/12607964617762\ 209029813465156791*c_1001_0^10 - 2173441251803217191785406504432581\ 20/12607964617762209029813465156791*c_1001_0^9 + 2534550553288951629313689982880605/206687944553478836554319100931*c\ _1001_0^8 + 224823567238195659998577712535928156/126079646177622090\ 29813465156791*c_1001_0^7 + 149304580689363750657617737493765831/12\ 607964617762209029813465156791*c_1001_0^6 - 1570408029522411385567228242276480/206687944553478836554319100931*c\ _1001_0^5 - 92403443460481181263652253528555830/1260796461776220902\ 9813465156791*c_1001_0^4 + 18408610968456108378895831420324919/1260\ 7964617762209029813465156791*c_1001_0^3 + 17506866562929085028324659080761536/1260796461776220902981346515679\ 1*c_1001_0^2 - 1272520290635441661120740525707792/12607964617762209\ 029813465156791*c_1001_0 - 1099346930194467688247912896146505/12607\ 964617762209029813465156791, c_0101_2 - 1388662511339867882883823554094924/1260796461776220902981346\ 5156791*c_1001_0^25 + 438012659667938109709143479441554/12607964617\ 762209029813465156791*c_1001_0^24 - 16932527738760402436698284367342407/1260796461776220902981346515679\ 1*c_1001_0^23 - 22437631659137677049690882639504430/126079646177622\ 09029813465156791*c_1001_0^22 + 51309675008948268302277908593643233\ /12607964617762209029813465156791*c_1001_0^21 + 54741323271563552467749031317587725/1260796461776220902981346515679\ 1*c_1001_0^20 + 14357892423813565504542149790352044/126079646177622\ 09029813465156791*c_1001_0^19 - 30771233661189086245179866861530283\ 4/12607964617762209029813465156791*c_1001_0^18 - 761599221818211257641524523254747565/126079646177622090298134651567\ 91*c_1001_0^17 - 424704107200351901566491180461749338/1260796461776\ 2209029813465156791*c_1001_0^16 + 740054556326300595964401835314703\ 216/12607964617762209029813465156791*c_1001_0^15 + 1623303370109318804045846250756855/9720867091566853531082085703*c_1\ 001_0^14 + 1093696179061267605530971099891446650/126079646177622090\ 29813465156791*c_1001_0^13 + 129030497377610833233822465020611218/1\ 2607964617762209029813465156791*c_1001_0^12 + 91074411478775419450922324441630607/1260796461776220902981346515679\ 1*c_1001_0^11 - 1847895593181462632700282017375964590/1260796461776\ 2209029813465156791*c_1001_0^10 - 132795125763986287661411661835587\ 7127/12607964617762209029813465156791*c_1001_0^9 + 1245022095357285988816317541724284/206687944553478836554319100931*c\ _1001_0^8 + 723982581514762163987311186625875694/126079646177622090\ 29813465156791*c_1001_0^7 + 730622775150947387547085105355407162/12\ 607964617762209029813465156791*c_1001_0^6 - 2208674014440696085712350223228852/206687944553478836554319100931*c\ _1001_0^5 - 311770972242874365114544143484586775/126079646177622090\ 29813465156791*c_1001_0^4 + 7854804043729420838589817291996618/1260\ 7964617762209029813465156791*c_1001_0^3 + 47439185876341823662334288791227472/1260796461776220902981346515679\ 1*c_1001_0^2 + 63461438164758350697914746686468/1260796461776220902\ 9813465156791*c_1001_0 - 2449837597239435244119675397839757/1260796\ 4617762209029813465156791, c_0101_5 + 322421131855880991776/5002346942222477077*c_1001_0^25 - 91737592998502347533/5002346942222477077*c_1001_0^24 + 3930345036831035125128/5002346942222477077*c_1001_0^23 + 5332945174794778055283/5002346942222477077*c_1001_0^22 - 11728021726447718361491/5002346942222477077*c_1001_0^21 - 13012606239697294533421/5002346942222477077*c_1001_0^20 - 3766073315178128132113/5002346942222477077*c_1001_0^19 + 71168090893598736533462/5002346942222477077*c_1001_0^18 + 178931654455981018913115/5002346942222477077*c_1001_0^17 + 104492338024878774603494/5002346942222477077*c_1001_0^16 - 167085806522603729861719/5002346942222477077*c_1001_0^15 - 379480276497044080801/3856859631628741*c_1001_0^14 - 269405650855891476158402/5002346942222477077*c_1001_0^13 - 42146849704586422721361/5002346942222477077*c_1001_0^12 - 27352121310052422643973/5002346942222477077*c_1001_0^11 + 426316746089297507452411/5002346942222477077*c_1001_0^10 + 320695243093791984762050/5002346942222477077*c_1001_0^9 - 92095266621665839648/82005687577417657*c_1001_0^8 - 163208796764995648033955/5002346942222477077*c_1001_0^7 - 172871054166297491383935/5002346942222477077*c_1001_0^6 + 416175898397147984997/82005687577417657*c_1001_0^5 + 71184895872144207054167/5002346942222477077*c_1001_0^4 - 651075509920352682381/5002346942222477077*c_1001_0^3 - 10502502855122780683593/5002346942222477077*c_1001_0^2 - 57774725099595539439/5002346942222477077*c_1001_0 + 524305014218721985688/5002346942222477077, c_1001_0^26 + 12*c_1001_0^24 + 20*c_1001_0^23 - 33*c_1001_0^22 - 53*c_1001_0^21 - 20*c_1001_0^20 + 223*c_1001_0^19 + 621*c_1001_0^18 + 459*c_1001_0^17 - 495*c_1001_0^16 - 1734*c_1001_0^15 - 1234*c_1001_0^14 - 188*c_1001_0^13 + 34*c_1001_0^12 + 1366*c_1001_0^11 + 1403*c_1001_0^10 + 132*c_1001_0^9 - 669*c_1001_0^8 - 733*c_1001_0^7 - 36*c_1001_0^6 + 316*c_1001_0^5 + 78*c_1001_0^4 - 52*c_1001_0^3 - 16*c_1001_0^2 + 3*c_1001_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB