Magma V2.19-8 Tue Aug 20 2013 16:14:24 on localhost [Seed = 357861655] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s389 geometric_solution 4.61804665 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 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 -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.585651764877 0.117809416018 2 0 2 0 0132 2310 1023 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 -1 1 1 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.773255935285 0.212311889970 1 3 1 4 0132 0132 1023 0132 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 -1 1 0 -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.932298854860 0.805836898096 4 2 4 5 3120 0132 3012 0132 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 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.741327153151 0.780207610057 5 3 2 3 1023 1230 0132 3120 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 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.741327153151 0.780207610057 5 4 3 5 3201 1023 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.956321444182 0.531376090351 ==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_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_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_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_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_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_1']), '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_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' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : d['c_0101_1'], '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_1'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0101_5'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0011_4']), '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: 24 Groebner basis: [ t + 927418961906055322043720195981412987962207136/763485077923108602067\ 94779847658723823733*c_0101_5^23 - 4956040652932601994963192775331124793155835046/76348507792310860206\ 794779847658723823733*c_0101_5^22 - 435033546183573237895958244906412379395049793/694077343566462365516\ 3161804332611256703*c_0101_5^21 + 572798932966086513354696359047668\ 70138783857748/76348507792310860206794779847658723823733*c_0101_5^2\ 0 - 145841408570672133198973224510515377286693184662/76348507792310\ 860206794779847658723823733*c_0101_5^19 + 59558486559881406038679747371049938689995983447/7634850779231086020\ 6794779847658723823733*c_0101_5^18 + 489289551603693634780736060111418549371030251807/763485077923108602\ 06794779847658723823733*c_0101_5^17 - 125315931656579705463641475151461188725874199263/694077343566462365\ 5163161804332611256703*c_0101_5^16 + 1222688415125185845192392059028495084291669769777/76348507792310860\ 206794779847658723823733*c_0101_5^15 + 842521813557948183274872553290347467871049821324/763485077923108602\ 06794779847658723823733*c_0101_5^14 - 1826098596571181591447312803500209105791027762053/76348507792310860\ 206794779847658723823733*c_0101_5^13 - 1949866674498469050861644963827551420624760672742/76348507792310860\ 206794779847658723823733*c_0101_5^12 + 4899855497915013684985939386882763054639316949906/76348507792310860\ 206794779847658723823733*c_0101_5^11 + 4190482189995357041133546953110157873848000737643/76348507792310860\ 206794779847658723823733*c_0101_5^10 - 13883799294897711327079268525640290418520521958155/7634850779231086\ 0206794779847658723823733*c_0101_5^9 + 9544942708651584909040196401014493552668506935466/76348507792310860\ 206794779847658723823733*c_0101_5^8 + 4053592738207386633136090904888847159532210329094/76348507792310860\ 206794779847658723823733*c_0101_5^7 - 359305533985103624436222150894495810443724315355/694077343566462365\ 5163161804332611256703*c_0101_5^6 - 682571977190047946968493397129105333724794610256/763485077923108602\ 06794779847658723823733*c_0101_5^5 + 356153011380577662325507104265612813238822055272/763485077923108602\ 06794779847658723823733*c_0101_5^4 + 92365460101534159637971467283560210025408331516/7634850779231086020\ 6794779847658723823733*c_0101_5^3 + 19055383499522656783562685303700317772021273186/7634850779231086020\ 6794779847658723823733*c_0101_5^2 - 5544890733154546915158730482547676972985279517/76348507792310860206\ 794779847658723823733*c_0101_5 - 2666782161768178369696975971619325\ 491067882942/76348507792310860206794779847658723823733, c_0011_0 - 1, c_0011_1 + 134338668122449746607996240750848654780049/69407734356646236\ 55163161804332611256703*c_0101_5^23 - 686798782122313243959392590780931958741489/694077343566462365516316\ 1804332611256703*c_0101_5^22 - 870454630754870084986110018259332061\ 083119/6940773435664623655163161804332611256703*c_0101_5^21 + 8200142283463131126012538833014187345720458/69407734356646236551631\ 61804332611256703*c_0101_5^20 - 19170767354501638527988563433230509\ 555969395/6940773435664623655163161804332611256703*c_0101_5^19 + 3038211996147425606346187781604696534577175/69407734356646236551631\ 61804332611256703*c_0101_5^18 + 74875058377736129119727952408752908\ 809153436/6940773435664623655163161804332611256703*c_0101_5^17 - 184714991681272894697769250385086708561239324/694077343566462365516\ 3161804332611256703*c_0101_5^16 + 125551543554602975799776835513067\ 060538786713/6940773435664623655163161804332611256703*c_0101_5^15 + 181511129849876463983536274558021920754882094/694077343566462365516\ 3161804332611256703*c_0101_5^14 - 257663116553990284231452477562787\ 844398265994/6940773435664623655163161804332611256703*c_0101_5^13 - 345975927949580680174077182365974348090712154/694077343566462365516\ 3161804332611256703*c_0101_5^12 + 667136346576254645958680353553994\ 238366875429/6940773435664623655163161804332611256703*c_0101_5^11 + 786353381999293362865709724515333265434484733/694077343566462365516\ 3161804332611256703*c_0101_5^10 - 193487099859856228266453662529847\ 6086822843154/6940773435664623655163161804332611256703*c_0101_5^9 + 890327934513629611778462254544520893791318112/694077343566462365516\ 3161804332611256703*c_0101_5^8 + 1083486780477241843023144105326062\ 224281706592/6940773435664623655163161804332611256703*c_0101_5^7 - 615355449380294929837488197117739804931237473/694077343566462365516\ 3161804332611256703*c_0101_5^6 - 2149260785728645072602049349311141\ 33376088027/6940773435664623655163161804332611256703*c_0101_5^5 + 70270860546310443450704626585565546980278520/6940773435664623655163\ 161804332611256703*c_0101_5^4 + 18353838293897788657017534725968356\ 266678737/6940773435664623655163161804332611256703*c_0101_5^3 + 4054668319306804723678629166616819965531079/69407734356646236551631\ 61804332611256703*c_0101_5^2 - 616157664874959063687687992426149415\ 875968/6940773435664623655163161804332611256703*c_0101_5 - 628185351263485166771714477679968548521229/694077343566462365516316\ 1804332611256703, c_0011_4 - 928326638314450234275220187985343887020394/69407734356646236\ 55163161804332611256703*c_0101_5^23 + 4998325908621388859430971112705779559971600/69407734356646236551631\ 61804332611256703*c_0101_5^22 + 45788067913396892227656872664508754\ 19565691/6940773435664623655163161804332611256703*c_0101_5^21 - 57464267112073336709984231138103004774594162/6940773435664623655163\ 161804332611256703*c_0101_5^20 + 1483257708306112402941052700218766\ 84213588842/6940773435664623655163161804332611256703*c_0101_5^19 - 66212418939868346087414059157081245609573372/6940773435664623655163\ 161804332611256703*c_0101_5^18 - 4852905082802262890582901451865970\ 36554764227/6940773435664623655163161804332611256703*c_0101_5^17 + 1397974257431305334583056021164404700240897384/69407734356646236551\ 63161804332611256703*c_0101_5^16 - 1284837572823362085356144960432737847081929923/69407734356646236551\ 63161804332611256703*c_0101_5^15 - 774922511257201709407224486141666531748495033/694077343566462365516\ 3161804332611256703*c_0101_5^14 + 183898971711251733318334694546379\ 0348148709296/6940773435664623655163161804332611256703*c_0101_5^13 + 1877021539707480041544385966079957225187251031/69407734356646236551\ 63161804332611256703*c_0101_5^12 - 4959810032050655327218819695302935952920350063/69407734356646236551\ 63161804332611256703*c_0101_5^11 - 3983238440843981409582090818104491187970659016/69407734356646236551\ 63161804332611256703*c_0101_5^10 + 13999976599179724126898571163909270915508810172/6940773435664623655\ 163161804332611256703*c_0101_5^9 - 10137073763655501860202901154339489549508645807/6940773435664623655\ 163161804332611256703*c_0101_5^8 - 3490874084376387817280370558614103406192208382/69407734356646236551\ 63161804332611256703*c_0101_5^7 + 392676858056774448781023991460669\ 5720197179584/6940773435664623655163161804332611256703*c_0101_5^6 + 550341214721113457381653138577156049915805550/694077343566462365516\ 3161804332611256703*c_0101_5^5 - 3401734251135336430821624061574002\ 57170009068/6940773435664623655163161804332611256703*c_0101_5^4 - 87534793348127523741953473008175796783438234/6940773435664623655163\ 161804332611256703*c_0101_5^3 - 17501135447873847127715404938291412\ 901489846/6940773435664623655163161804332611256703*c_0101_5^2 + 5855095253405405552386703170579582864693909/69407734356646236551631\ 61804332611256703*c_0101_5 + 24265271661530342970199942547584377149\ 18180/6940773435664623655163161804332611256703, c_0101_0 + 1681078156506867604361183229718507767583770/6940773435664623\ 655163161804332611256703*c_0101_5^23 - 9028452920292405396624885758217009700614606/69407734356646236551631\ 61804332611256703*c_0101_5^22 - 84196181812235313686797860686933522\ 81952165/6940773435664623655163161804332611256703*c_0101_5^21 + 103976279380732005919316124740110791874878512/694077343566462365516\ 3161804332611256703*c_0101_5^20 - 267172331405512411996571656871499\ 812939266102/6940773435664623655163161804332611256703*c_0101_5^19 + 115936474205690515421276357676419024973021231/694077343566462365516\ 3161804332611256703*c_0101_5^18 + 881358598636614227368800020285740\ 449353313883/6940773435664623655163161804332611256703*c_0101_5^17 - 2520350705057806543266952750297691683762154587/69407734356646236551\ 63161804332611256703*c_0101_5^16 + 2289930790912940580926487516449865749967583955/69407734356646236551\ 63161804332611256703*c_0101_5^15 + 1443472930697503336435930703096373708830946471/69407734356646236551\ 63161804332611256703*c_0101_5^14 - 3321618309567425790977715201758981873690791765/69407734356646236551\ 63161804332611256703*c_0101_5^13 - 3444413257646241960715060472031736023671815092/69407734356646236551\ 63161804332611256703*c_0101_5^12 + 8946069791084473862926885342411945649615693757/69407734356646236551\ 63161804332611256703*c_0101_5^11 + 7340566715877393399512563944740473206405277529/69407734356646236551\ 63161804332611256703*c_0101_5^10 - 25284061281983635624682204410126068396535280367/6940773435664623655\ 163161804332611256703*c_0101_5^9 + 18004061440061493730631769550563321053895606212/6940773435664623655\ 163161804332611256703*c_0101_5^8 + 6652609086946768437014221262092264237190179988/69407734356646236551\ 63161804332611256703*c_0101_5^7 - 711447634985415908593261326983904\ 7426222723298/6940773435664623655163161804332611256703*c_0101_5^6 - 1078893295112667906792600295523877539774134227/69407734356646236551\ 63161804332611256703*c_0101_5^5 + 623850066927881309278886125125813\ 010869305425/6940773435664623655163161804332611256703*c_0101_5^4 + 161494600157930161777846810827612783286752497/694077343566462365516\ 3161804332611256703*c_0101_5^3 + 3259798439816099757079447311634194\ 3233770608/6940773435664623655163161804332611256703*c_0101_5^2 - 10347196864865285541099132194742067428434925/6940773435664623655163\ 161804332611256703*c_0101_5 - 4533279114465897326336679846998688452\ 976684/6940773435664623655163161804332611256703, c_0101_1 - 18187748603671238565690261035460919113625/694077343566462365\ 5163161804332611256703*c_0101_5^23 + 83114928383543047020655975834301926460796/6940773435664623655163161\ 804332611256703*c_0101_5^22 + 1731924910802738621342258837318283309\ 97599/6940773435664623655163161804332611256703*c_0101_5^21 - 1074531211403938813764916491960033524138514/69407734356646236551631\ 61804332611256703*c_0101_5^20 + 19800081387097793152934377456754965\ 65397351/6940773435664623655163161804332611256703*c_0101_5^19 + 1306251413158094658670989774192457243851395/69407734356646236551631\ 61804332611256703*c_0101_5^18 - 11263982196260514072880136892392405\ 565779935/6940773435664623655163161804332611256703*c_0101_5^17 + 20202154758255990656964930054801806206905805/6940773435664623655163\ 161804332611256703*c_0101_5^16 - 1109972607912561216044846754166700\ 263532592/6940773435664623655163161804332611256703*c_0101_5^15 - 42106859453652676330988861492352328282331233/6940773435664623655163\ 161804332611256703*c_0101_5^14 + 3151215772013674300075118003652969\ 2371317358/6940773435664623655163161804332611256703*c_0101_5^13 + 66242074838143135729965185816238423444542184/6940773435664623655163\ 161804332611256703*c_0101_5^12 - 7513573686755057574609581892886476\ 2114254382/6940773435664623655163161804332611256703*c_0101_5^11 - 161441979115046714545604658145612730243877931/694077343566462365516\ 3161804332611256703*c_0101_5^10 + 233153181376986832658736279758215\ 199078512741/6940773435664623655163161804332611256703*c_0101_5^9 + 31498928817362522957076189039807812036341800/6940773435664623655163\ 161804332611256703*c_0101_5^8 - 29107145307611507543944930317884276\ 5943664902/6940773435664623655163161804332611256703*c_0101_5^7 + 87639667647521306146433840145808101010720796/6940773435664623655163\ 161804332611256703*c_0101_5^6 + 62759445889862793451139619527355582\ 394887454/6940773435664623655163161804332611256703*c_0101_5^5 - 12589938712383711181656340165801475166533884/6940773435664623655163\ 161804332611256703*c_0101_5^4 - 35803964462006370994548649400715164\ 56117008/6940773435664623655163161804332611256703*c_0101_5^3 - 993552121052299401412585264380502586887696/694077343566462365516316\ 1804332611256703*c_0101_5^2 - 2159330097627347778473501911067451112\ 0982/6940773435664623655163161804332611256703*c_0101_5 + 141420484284673290548469618378074855791136/694077343566462365516316\ 1804332611256703, c_0101_5^24 - 5*c_0101_5^23 - 7*c_0101_5^22 + 60*c_0101_5^21 - 136*c_0101_5^20 + 10*c_0101_5^19 + 550*c_0101_5^18 - 1305*c_0101_5^17 + 806*c_0101_5^16 + 1365*c_0101_5^15 - 1659*c_0101_5^14 - 2782*c_0101_5^13 + 4564*c_0101_5^12 + 6341*c_0101_5^11 - 13427*c_0101_5^10 + 5131*c_0101_5^9 + 7941*c_0101_5^8 - 2776*c_0101_5^7 - 2213*c_0101_5^6 + 136*c_0101_5^5 + 234*c_0101_5^4 + 55*c_0101_5^3 + c_0101_5^2 - 5*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB