Magma V2.19-8 Tue Aug 20 2013 16:17:42 on localhost [Seed = 458917878] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1939 geometric_solution 5.52752315 oriented_manifold CS_known 0.0000000000000002 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 -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.526409830730 0.247698896597 2 0 3 0 0132 2310 0132 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 -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.918290762283 0.484137639309 1 4 3 5 0132 0132 3012 0132 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 -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.773932396204 0.464543168067 6 2 4 1 0132 1230 2103 0132 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 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.189115564644 1.504006606223 3 2 6 6 2103 0132 1230 2031 0 0 0 0 0 0 0 0 -1 0 0 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 1 0 0 -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 1.987024137300 0.750644528262 5 5 2 6 1230 3012 0132 3012 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 0.529319342004 0.667577708153 3 4 5 4 0132 1302 1230 3012 0 0 0 0 0 -1 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 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.184392619203 1.114863238109 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(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' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : 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' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0101_3'], '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' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_3'], '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' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), '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_0011_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_1'], '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' : d['c_0011_1'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_3']), '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_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 1483229598990653724325656369511560974313828545031754/41755654154802\ 9423084784172405055244413380691705*c_0101_3^21 - 7107201166359501874399595950915300321065550927449367/41755654154802\ 9423084784172405055244413380691705*c_0101_3^20 + 7716850596982459926274487786442381510269104766594488/83511308309605\ 884616956834481011048882676138341*c_0101_3^19 + 76316779068934160886249369857880865222626847487929298/1391855138493\ 43141028261390801685081471126897235*c_0101_3^18 + 321077552711052438447782086809925923529341224610116497/417556541548\ 029423084784172405055244413380691705*c_0101_3^17 - 2812458354719622322825033528783476951503910161499405424/41755654154\ 8029423084784172405055244413380691705*c_0101_3^16 - 246303751315695563347170213406494838978110731222504486/134695658563\ 88045905960779755001782077850990055*c_0101_3^15 + 6825296662110015409572069618490532983732680774296887578/13918551384\ 9343141028261390801685081471126897235*c_0101_3^14 + 183465811158962014299967876404891531597415939982546892/278371027698\ 68628205652278160337016294225379447*c_0101_3^13 - 30523395462382406287274493306123160480374885321658598566/4175565415\ 48029423084784172405055244413380691705*c_0101_3^12 + 25442685991853586552605356416758944248596524292775783836/4175565415\ 48029423084784172405055244413380691705*c_0101_3^11 + 5223526336258154393005948144987251808501158450052167292/13918551384\ 9343141028261390801685081471126897235*c_0101_3^10 - 3454608980149785814857480860741183922146329986657526180/83511308309\ 605884616956834481011048882676138341*c_0101_3^9 + 8380678264907209631811791463274455790589724639960477139/41755654154\ 8029423084784172405055244413380691705*c_0101_3^8 + 1524431827719014041519802678754966404183614125233494729/83511308309\ 605884616956834481011048882676138341*c_0101_3^7 - 3910280242559599266022738164095209296363514252644241567/41755654154\ 8029423084784172405055244413380691705*c_0101_3^6 - 856016706385321004192455884914485841382694737971918537/417556541548\ 029423084784172405055244413380691705*c_0101_3^5 - 44913725000758784374986852018003349258514360589474839/4175565415480\ 29423084784172405055244413380691705*c_0101_3^4 - 150981603134919065676921255816231133391775625737129708/139185513849\ 343141028261390801685081471126897235*c_0101_3^3 - 67685326965931234015877220923676830444689541153677106/4175565415480\ 29423084784172405055244413380691705*c_0101_3^2 + 10928299861681606263517078421324760740191438718352031/1391855138493\ 43141028261390801685081471126897235*c_0101_3 + 1939591723841893034584572248389170155927135903287966/13918551384934\ 3141028261390801685081471126897235, c_0011_0 - 1, c_0011_1 + 111490300646268388698624772136941990834500258262/41755654154\ 8029423084784172405055244413380691705*c_0101_3^21 - 618868153385974605959147570942639302588282689457/417556541548029423\ 084784172405055244413380691705*c_0101_3^20 + 3316763993598557010489724513102209421997278725782/41755654154802942\ 3084784172405055244413380691705*c_0101_3^19 + 14955068817086883581425247707993406734207320958129/4175565415480294\ 23084784172405055244413380691705*c_0101_3^18 + 11354294949876622359563528785620865213815287288552/4175565415480294\ 23084784172405055244413380691705*c_0101_3^17 - 76014315668687901781746876034261376567390322428603/1391855138493431\ 41028261390801685081471126897235*c_0101_3^16 - 4421230339830887449277958501488211103086054582373/44898552854626819\ 68653593251667260692616996685*c_0101_3^15 + 390770284584185143742882832456630581018704905632776/835113083096058\ 84616956834481011048882676138341*c_0101_3^14 - 339094555395803141327290197794850579434540878175616/139185513849343\ 141028261390801685081471126897235*c_0101_3^13 - 765349979423466381048282168559510562051589509056077/139185513849343\ 141028261390801685081471126897235*c_0101_3^12 + 3674464788336876058674465911289024197795298371436829/41755654154802\ 9423084784172405055244413380691705*c_0101_3^11 - 104213247593920544921856926278393731005303985510274/835113083096058\ 84616956834481011048882676138341*c_0101_3^10 - 1985492808698168220356187279574574561900196123576127/41755654154802\ 9423084784172405055244413380691705*c_0101_3^9 + 348731292140200494989673674674383205839674867749960/835113083096058\ 84616956834481011048882676138341*c_0101_3^8 - 72302525713320173132782475348717418421033513776458/4175565415480294\ 23084784172405055244413380691705*c_0101_3^7 - 652300426180925677682841878681430891692139579938309/417556541548029\ 423084784172405055244413380691705*c_0101_3^6 + 73782652732895505745812467830230647721070474084173/1391855138493431\ 41028261390801685081471126897235*c_0101_3^5 + 620367892443036136752599662273283589654385558426/417556541548029423\ 084784172405055244413380691705*c_0101_3^4 - 33923252661931085072740830905876523830491965901648/4175565415480294\ 23084784172405055244413380691705*c_0101_3^3 + 7351111988631725894990698633717554031393776229714/13918551384934314\ 1028261390801685081471126897235*c_0101_3^2 + 2210399127516614752696686435414441628353030895343/41755654154802942\ 3084784172405055244413380691705*c_0101_3 - 1162088130348965643773002915039932478865160754544/41755654154802942\ 3084784172405055244413380691705, c_0011_3 + 49593332741501373488035239640253221176478685312/139185513849\ 343141028261390801685081471126897235*c_0101_3^21 - 48227645137618620843010918781778085071118194871/2783710276986862820\ 5652278160337016294225379447*c_0101_3^20 + 1311524914197274082863309959204476044045902244263/13918551384934314\ 1028261390801685081471126897235*c_0101_3^19 + 1507990876547989867876910836365929737677389723164/27837102769868628\ 205652278160337016294225379447*c_0101_3^18 + 2065176660440229386933228860066588868037965373238/27837102769868628\ 205652278160337016294225379447*c_0101_3^17 - 18826690498000081219995970524395552326689247859097/2783710276986862\ 8205652278160337016294225379447*c_0101_3^16 - 7997504291237260610808192371631899115332459728042/44898552854626819\ 68653593251667260692616996685*c_0101_3^15 + 693570719220070998892868146010430072224869671018084/139185513849343\ 141028261390801685081471126897235*c_0101_3^14 + 23538193786659655363259673100656101280128698858893/1391855138493431\ 41028261390801685081471126897235*c_0101_3^13 - 190991828227147560149870349870317602964686815721534/278371027698686\ 28205652278160337016294225379447*c_0101_3^12 + 901191947312743332414825250895063290077885601192592/139185513849343\ 141028261390801685081471126897235*c_0101_3^11 + 379262346149963510235006708209612525950345529664991/139185513849343\ 141028261390801685081471126897235*c_0101_3^10 - 500895622513505878559286300717204600555359034036378/139185513849343\ 141028261390801685081471126897235*c_0101_3^9 + 321155746607558713036962802956950757027270026938894/139185513849343\ 141028261390801685081471126897235*c_0101_3^8 + 184146833681511106374351042933824841255012360736268/139185513849343\ 141028261390801685081471126897235*c_0101_3^7 - 102085699760912494158433371279076294099522097444458/139185513849343\ 141028261390801685081471126897235*c_0101_3^6 - 16019589414558955163588948421833910442429783363176/1391855138493431\ 41028261390801685081471126897235*c_0101_3^5 - 2370424234820268986174306920640057374583678856701/27837102769868628\ 205652278160337016294225379447*c_0101_3^4 - 12728149059893863614635766713027165713886715675136/1391855138493431\ 41028261390801685081471126897235*c_0101_3^3 - 2766585054364104203416092445056920651540613722193/13918551384934314\ 1028261390801685081471126897235*c_0101_3^2 + 83517207180669127600346692166255307617612084830/2783710276986862820\ 5652278160337016294225379447*c_0101_3 + 263056220767457194436188550100492608368145800882/139185513849343141\ 028261390801685081471126897235, c_0011_5 + 63916996510270534745492010852754351108663434317/417556541548\ 029423084784172405055244413380691705*c_0101_3^21 - 360941456225755057927986599691965429403069132611/417556541548029423\ 084784172405055244413380691705*c_0101_3^20 + 387513772614736582748794288889940213212304467477/835113083096058846\ 16956834481011048882676138341*c_0101_3^19 + 8377907054300367055833972863124174104960744619797/41755654154802942\ 3084784172405055244413380691705*c_0101_3^18 + 5754795072755972391441616771542874108531709842621/41755654154802942\ 3084784172405055244413380691705*c_0101_3^17 - 43720616010270981056518128563220714481808570486454/1391855138493431\ 41028261390801685081471126897235*c_0101_3^16 - 2400165692350277311411935833063643440704590379226/44898552854626819\ 68653593251667260692616996685*c_0101_3^15 + 1138593279754655356031324515287780363473445473975452/41755654154802\ 9423084784172405055244413380691705*c_0101_3^14 - 46270505589451114439997164351783474063217174962028/2783710276986862\ 8205652278160337016294225379447*c_0101_3^13 - 406300021312103642534566823792181552887547610102411/139185513849343\ 141028261390801685081471126897235*c_0101_3^12 + 2180149048721425053539202945846003174561919790204918/41755654154802\ 9423084784172405055244413380691705*c_0101_3^11 - 516339687636248203787315692461526122250951406524912/417556541548029\ 423084784172405055244413380691705*c_0101_3^10 - 203555000387189698445301831568559630076799105388461/835113083096058\ 84616956834481011048882676138341*c_0101_3^9 + 1036947825180799117309223390822374942573125677903392/41755654154802\ 9423084784172405055244413380691705*c_0101_3^8 - 29178381443697542524982001694414296529425908730944/8351130830960588\ 4616956834481011048882676138341*c_0101_3^7 - 325850224964038453424033922047934574937306198176186/417556541548029\ 423084784172405055244413380691705*c_0101_3^6 + 44640048617012230916393927402941015144349235889668/1391855138493431\ 41028261390801685081471126897235*c_0101_3^5 - 14813767071423105207002747906486530748704364860072/4175565415480294\ 23084784172405055244413380691705*c_0101_3^4 - 11898259594941391577441144578652574640136667581822/4175565415480294\ 23084784172405055244413380691705*c_0101_3^3 + 3768082041705036762558819877704679845454008070189/13918551384934314\ 1028261390801685081471126897235*c_0101_3^2 + 683513974755003616468101714749241744911289905389/417556541548029423\ 084784172405055244413380691705*c_0101_3 - 517030636990353417181905238272984038337160802821/417556541548029423\ 084784172405055244413380691705, c_0101_0 + 452580707095267142653759115751323108991931179356/41755654154\ 8029423084784172405055244413380691705*c_0101_3^21 - 2326989782378851997050194197776813633205142792638/41755654154802942\ 3084784172405055244413380691705*c_0101_3^20 + 2514123888802203959733558150282425524615965799877/83511308309605884\ 616956834481011048882676138341*c_0101_3^19 + 65544283703097631260304393377522227708850038370596/4175565415480294\ 23084784172405055244413380691705*c_0101_3^18 + 74589540402419702480060318169193019479806068005018/4175565415480294\ 23084784172405055244413380691705*c_0101_3^17 - 295608386274327750385897366426727747813325037496357/139185513849343\ 141028261390801685081471126897235*c_0101_3^16 - 21751610675872850369253735454909442943716131111953/4489855285462681\ 968653593251667260692616996685*c_0101_3^15 + 6987955533534385961560538707081461054776124874888456/41755654154802\ 9423084784172405055244413380691705*c_0101_3^14 - 101466033837126532374017719253751093168674019606892/278371027698686\ 28205652278160337016294225379447*c_0101_3^13 - 3007480269248560522692742319736821688364366588730668/13918551384934\ 3141028261390801685081471126897235*c_0101_3^12 + 10916178462135794435042056730371049506680342389331254/4175565415480\ 29423084784172405055244413380691705*c_0101_3^11 + 1307453174294838260610447960975087513325694973970349/41755654154802\ 9423084784172405055244413380691705*c_0101_3^10 - 1211549858679590006319468368672267615353220755321480/83511308309605\ 884616956834481011048882676138341*c_0101_3^9 + 4539716005052987236591433010316563218848568710498111/41755654154802\ 9423084784172405055244413380691705*c_0101_3^8 + 189415486513565969184780259121569547553937327930117/835113083096058\ 84616956834481011048882676138341*c_0101_3^7 - 1650324424927206137447213170560115300560911603260813/41755654154802\ 9423084784172405055244413380691705*c_0101_3^6 + 82466238086587593257486352374687421488317205366999/1391855138493431\ 41028261390801685081471126897235*c_0101_3^5 - 48500011997607372151625449488281169845974220249161/4175565415480294\ 23084784172405055244413380691705*c_0101_3^4 - 121591326562036033547198403015734236069145554103336/417556541548029\ 423084784172405055244413380691705*c_0101_3^3 + 7752897110315473564474099935990352618514855309437/13918551384934314\ 1028261390801685081471126897235*c_0101_3^2 + 7170376484919606000992946211861160380843470163372/41755654154802942\ 3084784172405055244413380691705*c_0101_3 - 906800274991246888180443953478490100124954549148/417556541548029423\ 084784172405055244413380691705, c_0101_1 - 56878919442638166310420950913280379147379387079/139185513849\ 343141028261390801685081471126897235*c_0101_3^21 + 52947895870528417511189569926576196000725335009/2783710276986862820\ 5652278160337016294225379447*c_0101_3^20 - 1442790725913660795463264546608412477422282917096/13918551384934314\ 1028261390801685081471126897235*c_0101_3^19 - 1795951096836992997568231914376084244588899440812/27837102769868628\ 205652278160337016294225379447*c_0101_3^18 - 2707027845402752239470509764349602494195467680497/27837102769868628\ 205652278160337016294225379447*c_0101_3^17 + 21217281884364010232446755879501643099512309500474/2783710276986862\ 8205652278160337016294225379447*c_0101_3^16 + 9920381505639909428465730143367375297533596256854/44898552854626819\ 68653593251667260692616996685*c_0101_3^15 - 743912839109827056036756221880536002928684831424173/139185513849343\ 141028261390801685081471126897235*c_0101_3^14 - 211198204015102472406505572888818037989825553229061/139185513849343\ 141028261390801685081471126897235*c_0101_3^13 + 229397480037176216607730567574900198894543381526274/278371027698686\ 28205652278160337016294225379447*c_0101_3^12 - 808519310316535819829329676632853231226900749073484/139185513849343\ 141028261390801685081471126897235*c_0101_3^11 - 729518316678025109391527598148588482531107701530572/139185513849343\ 141028261390801685081471126897235*c_0101_3^10 + 563879599759412291022110006266072108866901802129206/139185513849343\ 141028261390801685081471126897235*c_0101_3^9 - 221241803759162249168441506256256607514011037210368/139185513849343\ 141028261390801685081471126897235*c_0101_3^8 - 336840574426629251346279486571295132451662191962326/139185513849343\ 141028261390801685081471126897235*c_0101_3^7 + 101927197913410055947989599773856785250267528331571/139185513849343\ 141028261390801685081471126897235*c_0101_3^6 + 57601926632886563401174188049154251725347017919892/1391855138493431\ 41028261390801685081471126897235*c_0101_3^5 + 1008459893463817901310822877218728789183736915197/27837102769868628\ 205652278160337016294225379447*c_0101_3^4 + 16715420793965747336267282279326928195997148199867/1391855138493431\ 41028261390801685081471126897235*c_0101_3^3 + 5684509913544803959415248605969703705508195954726/13918551384934314\ 1028261390801685081471126897235*c_0101_3^2 - 193434188970761443995469409848779933448918771057/278371027698686282\ 05652278160337016294225379447*c_0101_3 - 405303053018007248198487958558410279638904283084/139185513849343141\ 028261390801685081471126897235, c_0101_3^22 - 5*c_0101_3^21 + 27*c_0101_3^20 + 149*c_0101_3^19 + 184*c_0101_3^18 - 1943*c_0101_3^17 - 4755*c_0101_3^16 + 14900*c_0101_3^15 - 965*c_0101_3^14 - 21141*c_0101_3^13 + 21460*c_0101_3^12 + 7230*c_0101_3^11 - 14105*c_0101_3^10 + 8013*c_0101_3^9 + 4115*c_0101_3^8 - 3810*c_0101_3^7 - 64*c_0101_3^6 + 130*c_0101_3^5 - 302*c_0101_3^4 + 19*c_0101_3^3 + 35*c_0101_3^2 - c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB