Magma V2.19-8 Tue Aug 20 2013 16:17:23 on localhost [Seed = 492601809] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1620 geometric_solution 5.37586245 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 0 1 -1 0 0 1 -1 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 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 2.153685173309 0.592554985704 0 2 3 0 0132 0132 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 0 0 0 1 0 -1 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.010767115652 0.731239911379 4 1 5 3 0132 0132 0132 2031 0 0 0 0 0 1 -1 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.333619016943 0.592556069684 5 2 4 1 1023 1302 2310 0132 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 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.333619016943 0.592556069684 2 3 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 -1 1 0 0 -1 1 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.278543569044 1.281411926373 6 3 6 2 0132 1023 2310 0132 0 0 0 0 0 0 -1 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 0 0 0 0 0 0 0 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.038752066016 0.854842640009 5 5 6 6 0132 3201 2031 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.523018595095 0.213389409685 ==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' : negation(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' : 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' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_2'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0101_2'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : d['c_0101_1'], '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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 14406243371121016129725827965737193094312569128016484863/1257033310\ 050486937753953910378644277416314956289003*c_0101_5^20 + 66555726597590761134305115587549351861966945820258726594/1257033310\ 050486937753953910378644277416314956289003*c_0101_5^19 - 64849265755045898311147828556010232234884063198611459697/2514066620\ 100973875507907820757288554832629912578006*c_0101_5^18 - 196518658641334083493444262610420690139555480493898890195/125703331\ 0050486937753953910378644277416314956289003*c_0101_5^17 + 635361658201276791294091254958923571446184958908937363769/251406662\ 0100973875507907820757288554832629912578006*c_0101_5^16 - 460358866254755514991674890043937320565405640862268180129/251406662\ 0100973875507907820757288554832629912578006*c_0101_5^15 + 599385902818905142722253036680246613803572433938463187343/251406662\ 0100973875507907820757288554832629912578006*c_0101_5^14 - 214487029525160678825817057727904745553240960506705455561/125703331\ 0050486937753953910378644277416314956289003*c_0101_5^13 - 1987975651437673895721290234314875566552502448171844809263/25140666\ 20100973875507907820757288554832629912578006*c_0101_5^12 + 854604877711472408903312540303249211365345396516069563453/125703331\ 0050486937753953910378644277416314956289003*c_0101_5^11 - 848159127161730539176895781344041502662096449365283124525/251406662\ 0100973875507907820757288554832629912578006*c_0101_5^10 + 810826052281006737444687598232458775565737991285673398881/251406662\ 0100973875507907820757288554832629912578006*c_0101_5^9 + 1317382153564684880614403521353901321930810484254036254405/25140666\ 20100973875507907820757288554832629912578006*c_0101_5^8 - 577382061965946856791623037247575033769870109050071609783/125703331\ 0050486937753953910378644277416314956289003*c_0101_5^7 - 96564238876563162641189373526411437583357769787603240873/2514066620\ 100973875507907820757288554832629912578006*c_0101_5^6 + 274657640784063066409027519752962212009689611536692365913/251406662\ 0100973875507907820757288554832629912578006*c_0101_5^5 - 26294817933744859905137820804407625894869308936731609953/1257033310\ 050486937753953910378644277416314956289003*c_0101_5^4 - 7934637059076455561645181764768968626329403801070962465/12570333100\ 50486937753953910378644277416314956289003*c_0101_5^3 + 3159445233720665026120131294717299950649967338478686805/12570333100\ 50486937753953910378644277416314956289003*c_0101_5^2 - 362838042646460117502239807779850079893867248752279963/251406662010\ 0973875507907820757288554832629912578006*c_0101_5 - 24896198584612244894168658624061596989715345103492441/1257033310050\ 486937753953910378644277416314956289003, c_0011_0 - 1, c_0011_3 + 680909747902544418706218654699326960188123279074885407/12570\ 33310050486937753953910378644277416314956289003*c_0101_5^20 - 3066540983329326921519871363147292223341079076618661902/12570333100\ 50486937753953910378644277416314956289003*c_0101_5^19 + 1149730605229483409713908983518524259080284017491225446/12570333100\ 50486937753953910378644277416314956289003*c_0101_5^18 + 9525321809138351126484036089357360867371819848261991259/12570333100\ 50486937753953910378644277416314956289003*c_0101_5^17 - 13884108203197594003712669205452848382527704847277749173/1257033310\ 050486937753953910378644277416314956289003*c_0101_5^16 + 8859757942256571725910942677757239452589890398361765799/12570333100\ 50486937753953910378644277416314956289003*c_0101_5^15 - 12777360286640576037926306400284989219854243529341522792/1257033310\ 050486937753953910378644277416314956289003*c_0101_5^14 + 8625495885597122291661432884339382640130359708219660774/12570333100\ 50486937753953910378644277416314956289003*c_0101_5^13 + 48178325983198265640075923727043759798265850555873316768/1257033310\ 050486937753953910378644277416314956289003*c_0101_5^12 - 34714309713584058314407280127300411993492252048209853017/1257033310\ 050486937753953910378644277416314956289003*c_0101_5^11 + 13846169923518685799124514099524213232667429533392478521/1257033310\ 050486937753953910378644277416314956289003*c_0101_5^10 - 17091661814301604331702725045813643322320552664517212671/1257033310\ 050486937753953910378644277416314956289003*c_0101_5^9 - 32840518454103290837751127579580054984972735148709613096/1257033310\ 050486937753953910378644277416314956289003*c_0101_5^8 + 23409418987825853360769754902424520367513222088077868967/1257033310\ 050486937753953910378644277416314956289003*c_0101_5^7 + 6949838771594660152055895099575157249504193782863930617/12570333100\ 50486937753953910378644277416314956289003*c_0101_5^6 - 6134884040934479887202496897885772562504516294536509164/12570333100\ 50486937753953910378644277416314956289003*c_0101_5^5 - 167640977734514677733632014099263753646411596380585377/125703331005\ 0486937753953910378644277416314956289003*c_0101_5^4 + 703530486454772454631786826225149727900520985667469863/125703331005\ 0486937753953910378644277416314956289003*c_0101_5^3 - 78919228335017137107982890844226631314007975909705199/1257033310050\ 486937753953910378644277416314956289003*c_0101_5^2 - 32571066765819957952497799502758909278292220100328771/1257033310050\ 486937753953910378644277416314956289003*c_0101_5 + 6668257941371002831733106991395206046912448575351326/12570333100504\ 86937753953910378644277416314956289003, c_0101_0 - 431448325472690979570465851619734861098086292671884859/12570\ 33310050486937753953910378644277416314956289003*c_0101_5^20 + 2378253773255740566949056531619137835066786161056146987/12570333100\ 50486937753953910378644277416314956289003*c_0101_5^19 - 2886964378482775517927621172614867776168135802196198935/12570333100\ 50486937753953910378644277416314956289003*c_0101_5^18 - 4375929839888615364987521148195779040324411518605835280/12570333100\ 50486937753953910378644277416314956289003*c_0101_5^17 + 14397463742168204459307917383288154551822042138848342886/1257033310\ 050486937753953910378644277416314956289003*c_0101_5^16 - 17147351406031366773596098251271442414445119434293399764/1257033310\ 050486937753953910378644277416314956289003*c_0101_5^15 + 18211616812631202824298612598908458203727299697919109008/1257033310\ 050486937753953910378644277416314956289003*c_0101_5^14 - 17046925435910725374883364163585951786548416850854123817/1257033310\ 050486937753953910378644277416314956289003*c_0101_5^13 - 20589471795202485578274545443438046222510705584535105828/1257033310\ 050486937753953910378644277416314956289003*c_0101_5^12 + 49510499225342066228540507169641748347420217244174905213/1257033310\ 050486937753953910378644277416314956289003*c_0101_5^11 - 44358170199113610821060701761612431364503837893338131056/1257033310\ 050486937753953910378644277416314956289003*c_0101_5^10 + 31801946607619202444128705211762856076565355980750555922/1257033310\ 050486937753953910378644277416314956289003*c_0101_5^9 + 3227528212281558769860218448769316361923999306124186487/12570333100\ 50486937753953910378644277416314956289003*c_0101_5^8 - 29457561233666178474996113563723929210818482843961016850/1257033310\ 050486937753953910378644277416314956289003*c_0101_5^7 + 19074016568403404603563516630583568102321842083442931157/1257033310\ 050486937753953910378644277416314956289003*c_0101_5^6 + 347954812360327785647612704984076809520410836157439638/125703331005\ 0486937753953910378644277416314956289003*c_0101_5^5 - 4027599390116033108000997891714192993165837543046028553/12570333100\ 50486937753953910378644277416314956289003*c_0101_5^4 + 1015100497168337508016030203620240220383083498601087443/12570333100\ 50486937753953910378644277416314956289003*c_0101_5^3 + 134662208948806182944830924794654090415666140678346249/125703331005\ 0486937753953910378644277416314956289003*c_0101_5^2 - 87018167928622403051483557744173361731353982776717087/1257033310050\ 486937753953910378644277416314956289003*c_0101_5 + 9453807239424431343525934404461068028669741432637633/12570333100504\ 86937753953910378644277416314956289003, c_0101_1 + 37654118524726537249276417941763413501273621824100/608349857\ 25716833845712331722336750588797123181*c_0101_5^20 - 205719831956099995383306258599190129767177033190326/608349857257168\ 33845712331722336750588797123181*c_0101_5^19 + 235778739693147862219022188570346828282798583541017/608349857257168\ 33845712331722336750588797123181*c_0101_5^18 + 420363008123028286982078576787564180843220323139740/608349857257168\ 33845712331722336750588797123181*c_0101_5^17 - 1244111302275926899535013784427620122568627712128528/60834985725716\ 833845712331722336750588797123181*c_0101_5^16 + 1352147696032344154037551464558297655298080691609181/60834985725716\ 833845712331722336750588797123181*c_0101_5^15 - 1408507845309071200911670428392045982688473745197884/60834985725716\ 833845712331722336750588797123181*c_0101_5^14 + 1342399875550607693260001206781444627907667419168244/60834985725716\ 833845712331722336750588797123181*c_0101_5^13 + 1982718734971385679906906903666448295483808401860637/60834985725716\ 833845712331722336750588797123181*c_0101_5^12 - 4298162249593259403073301098379473501264099333173754/60834985725716\ 833845712331722336750588797123181*c_0101_5^11 + 3233346667503000621275080673723716600677655174216483/60834985725716\ 833845712331722336750588797123181*c_0101_5^10 - 2360090281638458834045540929448076250512824768492470/60834985725716\ 833845712331722336750588797123181*c_0101_5^9 - 540423708849302844774873059371125473727043079351235/608349857257168\ 33845712331722336750588797123181*c_0101_5^8 + 2715577421195356649180557660215918078177301353674925/60834985725716\ 833845712331722336750588797123181*c_0101_5^7 - 1235314199970608101278043778313348073765877236869834/60834985725716\ 833845712331722336750588797123181*c_0101_5^6 - 250327491066910997314645498233190650746108936933945/608349857257168\ 33845712331722336750588797123181*c_0101_5^5 + 291044172793772973310902614890479274585484013589437/608349857257168\ 33845712331722336750588797123181*c_0101_5^4 - 45276344341519340726013994765978462308885985663564/6083498572571683\ 3845712331722336750588797123181*c_0101_5^3 - 13658099805624174889332974917244431188018270116091/6083498572571683\ 3845712331722336750588797123181*c_0101_5^2 + 4968161203003968255798465076378237539020709968100/60834985725716833\ 845712331722336750588797123181*c_0101_5 - 428800707348885154055325085331759765015799071899/608349857257168338\ 45712331722336750588797123181, c_0101_2 + 178578959801073448277381263776770170244098327370883729/12570\ 33310050486937753953910378644277416314956289003*c_0101_5^20 - 654530290612233367118279763701465026731366213317151149/125703331005\ 0486937753953910378644277416314956289003*c_0101_5^19 - 424818735699246226041680982122656816652225375700211112/125703331005\ 0486937753953910378644277416314956289003*c_0101_5^18 + 2996504899919414688346304197271544430875403023910642574/12570333100\ 50486937753953910378644277416314956289003*c_0101_5^17 - 1687057293690942283554839254834499347357551616984161928/12570333100\ 50486937753953910378644277416314956289003*c_0101_5^16 - 1426992771622243178298636398916259957436032895429110979/12570333100\ 50486937753953910378644277416314956289003*c_0101_5^15 - 190166036718323817273098184836157268689764994290533846/125703331005\ 0486937753953910378644277416314956289003*c_0101_5^14 - 1490333403110811788316438993682828436981343709541914706/12570333100\ 50486937753953910378644277416314956289003*c_0101_5^13 + 15705621323280412087272939974636950928458213632455207112/1257033310\ 050486937753953910378644277416314956289003*c_0101_5^12 + 597644683362644119100824212339202774683903734949879767/125703331005\ 0486937753953910378644277416314956289003*c_0101_5^11 - 7508735200575825977165806771652153628303412175567766483/12570333100\ 50486937753953910378644277416314956289003*c_0101_5^10 + 1975019648869454040733946534369673028575643655088325467/12570333100\ 50486937753953910378644277416314956289003*c_0101_5^9 - 14206834313047378497427451758153971226888916852434187412/1257033310\ 050486937753953910378644277416314956289003*c_0101_5^8 + 572591847273119320838759880301157454171111726866189627/125703331005\ 0486937753953910378644277416314956289003*c_0101_5^7 + 9180210555906933456095192688922674852216252351860371643/12570333100\ 50486937753953910378644277416314956289003*c_0101_5^6 - 2366978808809256608173917583530496452422817359478975525/12570333100\ 50486937753953910378644277416314956289003*c_0101_5^5 - 1375057466551699611206306192587648024731331276182806520/12570333100\ 50486937753953910378644277416314956289003*c_0101_5^4 + 632685066408808068323285792446231797393479306693588724/125703331005\ 0486937753953910378644277416314956289003*c_0101_5^3 + 6156232180744480772463342073978158094782343297534399/12570333100504\ 86937753953910378644277416314956289003*c_0101_5^2 - 44040531797805407056304006795348311981092991790719797/1257033310050\ 486937753953910378644277416314956289003*c_0101_5 + 7051841665702442596706588950916844182566708845092693/12570333100504\ 86937753953910378644277416314956289003, c_0101_4 + 116802829361063603385894130334260232616309660801542097/12570\ 33310050486937753953910378644277416314956289003*c_0101_5^20 - 493964861554480973142239409234704499387797453165473348/125703331005\ 0486937753953910378644277416314956289003*c_0101_5^19 - 27002810905827764965074036566653273548113717399727974/1257033310050\ 486937753953910378644277416314956289003*c_0101_5^18 + 2055941577652090257759689033690487183694433156150439516/12570333100\ 50486937753953910378644277416314956289003*c_0101_5^17 - 2107521246499966838412598740459128820908868593963666710/12570333100\ 50486937753953910378644277416314956289003*c_0101_5^16 - 227713692292253127699934349748995052724088092147436697/125703331005\ 0486937753953910378644277416314956289003*c_0101_5^15 - 33888625572905426034681219792822215381247490730480802/1257033310050\ 486937753953910378644277416314956289003*c_0101_5^14 - 359412337846530774311343314587262511542046220232128301/125703331005\ 0486937753953910378644277416314956289003*c_0101_5^13 + 10321897198863432063787480173561703649081927525460088861/1257033310\ 050486937753953910378644277416314956289003*c_0101_5^12 - 4879740338568692504685903685398994650410430474794774722/12570333100\ 50486937753953910378644277416314956289003*c_0101_5^11 - 4773269236423030814217807931153513471808795249050195196/12570333100\ 50486937753953910378644277416314956289003*c_0101_5^10 + 2365518585333953820767518965816492034150825041729327175/12570333100\ 50486937753953910378644277416314956289003*c_0101_5^9 - 8629444898378743984375625152896840161382803294255020117/12570333100\ 50486937753953910378644277416314956289003*c_0101_5^8 + 4775062736573327112874048582067802385451091215723826148/12570333100\ 50486937753953910378644277416314956289003*c_0101_5^7 + 5907322893639606268196019477066527112462502532140690579/12570333100\ 50486937753953910378644277416314956289003*c_0101_5^6 - 3855619153346625097184507685532195569026290358160544687/12570333100\ 50486937753953910378644277416314956289003*c_0101_5^5 - 736774065849104003497742681753384992920140014450261357/125703331005\ 0486937753953910378644277416314956289003*c_0101_5^4 + 811371089233576159506123633891427022146470045575694813/125703331005\ 0486937753953910378644277416314956289003*c_0101_5^3 - 56963933657035765073596228190719126841655519114727182/1257033310050\ 486937753953910378644277416314956289003*c_0101_5^2 - 53303795104769799247883311101868679374412472286143856/1257033310050\ 486937753953910378644277416314956289003*c_0101_5 + 9725252738664328131785799261821859764046346983785440/12570333100504\ 86937753953910378644277416314956289003, c_0101_5^21 - 1802/377*c_0101_5^20 + 1083/377*c_0101_5^19 + 5209/377*c_0101_5^18 - 9227/377*c_0101_5^17 + 6745/377*c_0101_5^16 - 7853/377*c_0101_5^15 + 214/13*c_0101_5^14 + 1999/29*c_0101_5^13 - 27127/377*c_0101_5^12 + 11586/377*c_0101_5^11 - 9858/377*c_0101_5^10 - 16707/377*c_0101_5^9 + 19004/377*c_0101_5^8 + 955/377*c_0101_5^7 - 5534/377*c_0101_5^6 + 80/29*c_0101_5^5 + 542/377*c_0101_5^4 - 15/29*c_0101_5^3 - 7/377*c_0101_5^2 + 10/377*c_0101_5 - 1/377 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB