Magma V2.19-8 Tue Aug 20 2013 16:17:30 on localhost [Seed = 2648441156] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1742 geometric_solution 5.44017739 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.221772504486 0.265414993007 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.924378867410 1.953251481470 1 4 3 5 0132 0132 0213 0132 0 0 0 0 0 0 0 0 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 0 0 0 0 0 1 -1 -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.355977998304 0.423994429138 5 2 4 1 0132 0213 3201 0132 0 0 0 0 0 0 0 0 0 0 1 -1 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.355977998304 0.423994429138 3 2 6 6 2310 0132 2310 0132 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.331145277766 1.992801244610 3 5 2 5 0132 2310 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 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.808994364824 0.973819954137 6 4 4 6 3201 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.536732339384 0.454902982865 ==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_2_6' : d['1'], 's_1_6' : 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' : negation(d['1']), 's_0_6' : 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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_6'], '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' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_3'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_6'], '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' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0011_3'], '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_0101_3'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0011_3'])})} 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_6, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 1101109100301514040620927/314253374348984017995300*c_0101_4^15 + 2616424590550070954017831/251402699479187214396240*c_0101_4^14 - 46644727897250231109713669/628506748697968035990600*c_0101_4^13 - 12507068691865935340392571/83800899826395738132080*c_0101_4^12 + 1868382705323810520929237/5713697715436073054460*c_0101_4^11 + 439975722998634062291781/8380089982639573813208*c_0101_4^10 - 371121672643068712971499417/1257013497395936071981200*c_0101_4^9 - 14640152110325314005983039/16760179965279147626416*c_0101_4^8 - 465301317713059464657875611/628506748697968035990600*c_0101_4^7 + 1114403835081303923057555711/628506748697968035990600*c_0101_4^6 + 155316918308324794478434523/104751124782994672665100*c_0101_4^5 + 408742351098818627951235419/251402699479187214396240*c_0101_4^4 + 2615498324648878600139569/12570134973959360719812*c_0101_4^3 - 203036740270685899025852533/419004499131978690660400*c_0101_4^2 - 24399208759864913494181533/114273954308721461089200*c_0101_4 - 271554869644499844352654517/1257013497395936071981200, c_0011_0 - 1, c_0011_1 - 6455263983965796089/1523652724116286147856*c_0101_4^15 - 9005983075133799563/761826362058143073928*c_0101_4^14 + 142448328288657710139/1523652724116286147856*c_0101_4^13 + 63100444017412980309/380913181029071536964*c_0101_4^12 - 356123801941499391583/761826362058143073928*c_0101_4^11 + 19572881973739972655/1523652724116286147856*c_0101_4^10 + 930267574859133963415/1523652724116286147856*c_0101_4^9 + 510125863167276734455/761826362058143073928*c_0101_4^8 + 565206700570189967901/761826362058143073928*c_0101_4^7 - 872204282089031224421/380913181029071536964*c_0101_4^6 - 2440931082717507210113/1523652724116286147856*c_0101_4^5 - 88720585130694911489/380913181029071536964*c_0101_4^4 - 1015700609626383080847/1523652724116286147856*c_0101_4^3 + 1270013888286406152837/1523652724116286147856*c_0101_4^2 - 519526745123519680069/1523652724116286147856*c_0101_4 - 127262354676055990359/190456590514535768482, c_0011_3 - 119404259910617725007/7618263620581430739280*c_0101_4^15 - 192942660370034273029/3809131810290715369640*c_0101_4^14 + 2449201621720311296729/7618263620581430739280*c_0101_4^13 + 290236894006107039389/380913181029071536964*c_0101_4^12 - 1005087408483971796681/761826362058143073928*c_0101_4^11 - 1140321627356887359539/1523652724116286147856*c_0101_4^10 + 10475810673463306640833/7618263620581430739280*c_0101_4^9 + 17450056823288739173331/3809131810290715369640*c_0101_4^8 + 2978454857317878477213/761826362058143073928*c_0101_4^7 - 3581070395737273320154/476141476286339421205*c_0101_4^6 - 73494745191065192908627/7618263620581430739280*c_0101_4^5 - 3761115372147022339844/476141476286339421205*c_0101_4^4 - 4223329753694445054729/7618263620581430739280*c_0101_4^3 + 13613618126502268324927/7618263620581430739280*c_0101_4^2 + 14672668822696423553217/7618263620581430739280*c_0101_4 + 233719153595871988677/952282952572678842410, c_0011_6 + 30854868513544899461/3809131810290715369640*c_0101_4^15 + 95342210852975225609/3809131810290715369640*c_0101_4^14 - 162648455159000333193/952282952572678842410*c_0101_4^13 - 35103569391546427428/95228295257267884241*c_0101_4^12 + 292955044481171766567/380913181029071536964*c_0101_4^11 + 176841091227470465323/761826362058143073928*c_0101_4^10 - 1930897498224466911197/1904565905145357684820*c_0101_4^9 - 860257450696652309332/476141476286339421205*c_0101_4^8 - 602090285003336030047/380913181029071536964*c_0101_4^7 + 7744937213440461727731/1904565905145357684820*c_0101_4^6 + 12519834697168431061931/3809131810290715369640*c_0101_4^5 + 10677188391604356607837/3809131810290715369640*c_0101_4^4 + 4161730594020868339171/1904565905145357684820*c_0101_4^3 - 735423166656580158131/3809131810290715369640*c_0101_4^2 + 54057910443430024188/476141476286339421205*c_0101_4 - 284135853450939876561/476141476286339421205, c_0101_1 - 21780458747768551041/1523652724116286147856*c_0101_4^15 - 15736955617223813551/380913181029071536964*c_0101_4^14 + 476945263837845743293/1523652724116286147856*c_0101_4^13 + 227484176202409211345/380913181029071536964*c_0101_4^12 - 1181973177970334426051/761826362058143073928*c_0101_4^11 - 352296349305723050341/1523652724116286147856*c_0101_4^10 + 3372502803725024322101/1523652724116286147856*c_0101_4^9 + 2096555906576362258645/761826362058143073928*c_0101_4^8 + 1417819878882287647553/761826362058143073928*c_0101_4^7 - 749538529918444994525/95228295257267884241*c_0101_4^6 - 8028347747323450880389/1523652724116286147856*c_0101_4^5 - 1458990846410288100887/761826362058143073928*c_0101_4^4 - 1418661947227102987037/1523652724116286147856*c_0101_4^3 + 3227710121594830201057/1523652724116286147856*c_0101_4^2 - 921473765689967414371/1523652724116286147856*c_0101_4 - 28043629345424454213/190456590514535768482, c_0101_3 + 2377263484865332789/7618263620581430739280*c_0101_4^15 - 23700422234655191207/3809131810290715369640*c_0101_4^14 - 230423977629467567243/7618263620581430739280*c_0101_4^13 + 50418663219804250117/380913181029071536964*c_0101_4^12 + 298165041505929090435/761826362058143073928*c_0101_4^11 - 890103098784072641303/1523652724116286147856*c_0101_4^10 - 3684084812715964392871/7618263620581430739280*c_0101_4^9 + 2171681177884931701253/3809131810290715369640*c_0101_4^8 + 1769216696638880012635/761826362058143073928*c_0101_4^7 + 3503977165911653065657/1904565905145357684820*c_0101_4^6 - 27589974843134473182251/7618263620581430739280*c_0101_4^5 - 4472165602893390622019/952282952572678842410*c_0101_4^4 - 26038806390491222484697/7618263620581430739280*c_0101_4^3 + 551478412166329633111/7618263620581430739280*c_0101_4^2 + 6046948375482993670781/7618263620581430739280*c_0101_4 + 524030734452015347791/952282952572678842410, c_0101_4^16 + 3*c_0101_4^15 - 21*c_0101_4^14 - 43*c_0101_4^13 + 90*c_0101_4^12 + 15*c_0101_4^11 - 74*c_0101_4^10 - 257*c_0101_4^9 - 224*c_0101_4^8 + 482*c_0101_4^7 + 429*c_0101_4^6 + 521*c_0101_4^5 + 75*c_0101_4^4 - 98*c_0101_4^3 - 60*c_0101_4^2 - 47*c_0101_4 + 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB