Magma V2.19-8 Tue Aug 20 2013 16:14:40 on localhost [Seed = 1292685652] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s642 geometric_solution 5.13415674 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 1 2 0 0 0132 0132 2031 1302 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 1 -1 -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.495388833019 0.355133670442 0 3 2 4 0132 0132 1230 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 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.666625019058 0.955868036369 3 0 4 1 3201 0132 0132 3012 0 0 0 0 0 1 -1 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 -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.666625019058 0.955868036369 3 1 3 2 2031 0132 1302 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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.320828506639 1.286102634939 5 5 1 2 0132 2310 0132 0132 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 -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.261458514055 1.394898526052 4 5 5 4 0132 3201 2310 3201 0 0 0 0 0 -1 1 0 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 -1 1 0 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.645926006970 0.536103065375 ==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' : negation(d['1']), 's_2_0' : negation(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_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0110_2'], 'c_1100_1' : d['c_0110_2'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0110_2'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], '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' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0110_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_2'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0110_2']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 63912101709999381225288655/487689696456634609197271514*c_0110_2^18 - 2738096432501066721986408071/487689696456634609197271514*c_0110_2^1\ 7 + 10113012164500413297164946832/243844848228317304598635757*c_011\ 0_2^16 - 53298376930721151848355351193/487689696456634609197271514*\ c_0110_2^15 - 23677072733362011531772186139/48768969645663460919727\ 1514*c_0110_2^14 + 364891728333331136327172300233/48768969645663460\ 9197271514*c_0110_2^13 - 405926979799700048558676312111/48768969645\ 6634609197271514*c_0110_2^12 - 614665038181852636695685657351/24384\ 4848228317304598635757*c_0110_2^11 + 1319421337163481570454784842088/243844848228317304598635757*c_0110_\ 2^10 + 5041017391021550106938228889735/487689696456634609197271514*\ c_0110_2^9 - 2444650798276390094961831811228/2438448482283173045986\ 35757*c_0110_2^8 - 14335091039340743254484015918739/487689696456634\ 609197271514*c_0110_2^7 - 2192351246619710586662475250564/243844848\ 228317304598635757*c_0110_2^6 + 12038628536703903427947156448995/48\ 7689696456634609197271514*c_0110_2^5 + 6560789026511490011904131521805/243844848228317304598635757*c_0110_\ 2^4 + 1937339532096223509235926270086/243844848228317304598635757*c\ _0110_2^3 - 1004021604986817751025396774435/48768969645663460919727\ 1514*c_0110_2^2 - 749282067196942673434465798233/487689696456634609\ 197271514*c_0110_2 - 56044657037151804358324124008/2438448482283173\ 04598635757, c_0011_0 - 1, c_0011_4 + 92493656172434393775/853711801771939490033*c_0110_2^18 - 748527119268338684631/853711801771939490033*c_0110_2^17 + 1903906517013691905362/853711801771939490033*c_0110_2^16 + 1816054135829446317393/853711801771939490033*c_0110_2^15 - 15637857806848484238306/853711801771939490033*c_0110_2^14 + 12722297523956973793594/853711801771939490033*c_0110_2^13 + 61556422371046151873805/853711801771939490033*c_0110_2^12 - 107300396448079026815623/853711801771939490033*c_0110_2^11 - 267411750481157224394044/853711801771939490033*c_0110_2^10 + 190643318405358158257943/853711801771939490033*c_0110_2^9 + 753347637076881880261212/853711801771939490033*c_0110_2^8 + 309906974580784023489879/853711801771939490033*c_0110_2^7 - 629553050719981651256055/853711801771939490033*c_0110_2^6 - 755139884325860873118070/853711801771939490033*c_0110_2^5 - 207479370595182194122353/853711801771939490033*c_0110_2^4 + 100105127035535275716181/853711801771939490033*c_0110_2^3 + 57104035332633629608399/853711801771939490033*c_0110_2^2 + 1049222641657004298305/853711801771939490033*c_0110_2 - 1252703278479251908330/853711801771939490033, c_0101_0 - 7975880614578418631183704/243844848228317304598635757*c_0110\ _2^18 + 68624354472935696961431132/243844848228317304598635757*c_01\ 10_2^17 - 202787679029068279888707287/243844848228317304598635757*c\ _0110_2^16 - 21249353201103540307789773/243844848228317304598635757\ *c_0110_2^15 + 1258764637349756844438898143/24384484822831730459863\ 5757*c_0110_2^14 - 1722706255297213176165165529/2438448482283173045\ 98635757*c_0110_2^13 - 3835910193799068407782959064/243844848228317\ 304598635757*c_0110_2^12 + 10180813445327304711936874579/2438448482\ 28317304598635757*c_0110_2^11 + 16414827176723501323698140661/24384\ 4848228317304598635757*c_0110_2^10 - 19338444523965237804839859409/243844848228317304598635757*c_0110_2^\ 9 - 49870309054625118334430441696/243844848228317304598635757*c_011\ 0_2^8 - 13505140856137742909390801656/243844848228317304598635757*c\ _0110_2^7 + 43873873927043801680846082285/2438448482283173045986357\ 57*c_0110_2^6 + 47396049256016455126889248788/243844848228317304598\ 635757*c_0110_2^5 + 12864995821457536950365032846/24384484822831730\ 4598635757*c_0110_2^4 - 5776678556049658603718230799/24384484822831\ 7304598635757*c_0110_2^3 - 3302767930264653026039503562/24384484822\ 8317304598635757*c_0110_2^2 + 380970376520355112878463627/243844848\ 228317304598635757*c_0110_2 + 270322094867980172151947431/243844848\ 228317304598635757, c_0101_1 - 109101017727092467065222681/243844848228317304598635757*c_01\ 10_2^18 + 946456233660711723736305789/243844848228317304598635757*c\ _0110_2^17 - 2823586216681288694303001109/2438448482283173045986357\ 57*c_0110_2^16 - 249026021439869296562182914/2438448482283173045986\ 35757*c_0110_2^15 + 17737379777448963851334743656/24384484822831730\ 4598635757*c_0110_2^14 - 24835600825514492107627998948/243844848228\ 317304598635757*c_0110_2^13 - 54136704486664418521474207278/2438448\ 48228317304598635757*c_0110_2^12 + 149301219999291894133494358399/243844848228317304598635757*c_0110_2\ ^11 + 221337911838742870750468493880/243844848228317304598635757*c_\ 0110_2^10 - 312781773810288073795167547990/243844848228317304598635\ 757*c_0110_2^9 - 680526265154216475022297807219/2438448482283173045\ 98635757*c_0110_2^8 - 59882829622468278719806925069/243844848228317\ 304598635757*c_0110_2^7 + 675203674097125412413602739165/2438448482\ 28317304598635757*c_0110_2^6 + 542525456489385975717556723333/24384\ 4848228317304598635757*c_0110_2^5 + 50816102780791705883394085971/243844848228317304598635757*c_0110_2^\ 4 - 93193387506146216503841798432/243844848228317304598635757*c_011\ 0_2^3 - 23343504992982231721417662986/243844848228317304598635757*c\ _0110_2^2 + 3091598575512777115797078587/24384484822831730459863575\ 7*c_0110_2 + 208343732002103870965293614/24384484822831730459863575\ 7, c_0101_2 - 1688986901426363/3678239032383029*c_0110_2^18 + 14351716630054492/3678239032383029*c_0110_2^17 - 41009433697899614/3678239032383029*c_0110_2^16 - 12590807156794080/3678239032383029*c_0110_2^15 + 277577139960386182/3678239032383029*c_0110_2^14 - 339602532046457660/3678239032383029*c_0110_2^13 - 918770458374123420/3678239032383029*c_0110_2^12 + 2200922833546469992/3678239032383029*c_0110_2^11 + 3843485758930326952/3678239032383029*c_0110_2^10 - 4388330841127582275/3678239032383029*c_0110_2^9 - 11406757554699195498/3678239032383029*c_0110_2^8 - 2443647400848599589/3678239032383029*c_0110_2^7 + 10476685188774869351/3678239032383029*c_0110_2^6 + 9940354360270343009/3678239032383029*c_0110_2^5 + 1942609448029749409/3678239032383029*c_0110_2^4 - 1307842156146526364/3678239032383029*c_0110_2^3 - 508292732414094562/3678239032383029*c_0110_2^2 + 9866952680423062/3678239032383029*c_0110_2 + 5013525709044060/3678239032383029, c_0110_2^19 - 8*c_0110_2^18 + 20*c_0110_2^17 + 20*c_0110_2^16 - 162*c_0110_2^15 + 119*c_0110_2^14 + 653*c_0110_2^13 - 1044*c_0110_2^12 - 2953*c_0110_2^11 + 1539*c_0110_2^10 + 8169*c_0110_2^9 + 4660*c_0110_2^8 - 5851*c_0110_2^7 - 9042*c_0110_2^6 - 3739*c_0110_2^5 + 513*c_0110_2^4 + 745*c_0110_2^3 + 108*c_0110_2^2 - 18*c_0110_2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB