Magma V2.19-8 Tue Aug 20 2013 16:16:38 on localhost [Seed = 2193825368] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0931 geometric_solution 4.83344896 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 3201 0132 0132 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 0 0 0 0 0 1.013179999312 1.473130327716 0 1 0 1 0132 1302 2310 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.827815072090 0.629219617742 3 4 5 0 1302 0132 0132 0132 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 -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.815150019009 0.379053325526 4 2 0 5 0213 2031 0132 3012 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 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.147399719098 0.932190509228 3 2 5 6 0213 0132 3201 0132 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 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 2.872928649976 0.848269762887 4 6 3 2 2310 0132 1230 0132 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 -1 0 1 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.585908833620 0.871127768914 6 5 4 6 3012 0132 0132 1230 0 0 0 0 0 0 -1 1 -1 0 0 1 -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 -1 1 -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.134514205848 0.239008285963 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : negation(d['c_0101_6']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0101_6']), 'c_1100_3' : negation(d['c_0101_6']), 'c_1100_2' : negation(d['c_0101_6']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_2']), 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : negation(d['c_0011_2']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_2']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_5']), '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_2'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0011_2'], 'c_1001_6' : d['c_1001_2'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0011_2'], 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : d['c_1001_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_2']), 'c_0110_3' : negation(d['c_0101_6']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0011_5']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_1001_2'], 'c_1010_4' : d['c_1001_2'], 'c_1010_3' : d['c_0011_2'], 'c_1010_2' : d['c_0011_2'], '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_2, c_0011_3, c_0011_5, c_0101_0, c_0101_6, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t + 2468816807544198469695778591186553238/18757926669213995821175684250\ 79981*c_1001_2^12 - 4455583285324927876313995214653949983/562737800\ 0764198746352705275239943*c_1001_2^11 + 43209690415617000798274483182920731927/5627378000764198746352705275\ 239943*c_1001_2^10 - 33526718032882579913852120868453252439/5627378\ 000764198746352705275239943*c_1001_2^9 - 14051780985952850967252671406006178601/5627378000764198746352705275\ 239943*c_1001_2^8 - 96833977111425362451983921781216210730/56273780\ 00764198746352705275239943*c_1001_2^7 - 165037731318537514691767599278281574320/562737800076419874635270527\ 5239943*c_1001_2^6 + 169600503886152217539442313978695841077/562737\ 8000764198746352705275239943*c_1001_2^5 + 9700155220060221490049622330580693085/43287523082801528818097732886\ 4611*c_1001_2^4 + 110320542154527409083373498725376781741/562737800\ 0764198746352705275239943*c_1001_2^3 + 2101539273814925919166969260153942695/18757926669213995821175684250\ 79981*c_1001_2^2 - 25145353130317762007877470804354667418/562737800\ 0764198746352705275239943*c_1001_2 - 1595752863953725908607161598435537924/56273780007641987463527052752\ 39943, c_0011_0 - 1, c_0011_2 + 500922375697832017407476220246924/14429174360933842939365910\ 9621537*c_1001_2^12 - 188516366205086121105966216487567/14429174360\ 9338429393659109621537*c_1001_2^11 + 2872633435246853423488495361890133/14429174360933842939365910962153\ 7*c_1001_2^10 - 1617885595736087893636255773765800/1442917436093384\ 29393659109621537*c_1001_2^9 - 1356308379325937618025108366832053/1\ 44291743609338429393659109621537*c_1001_2^8 - 6839820102510538494307893975156198/14429174360933842939365910962153\ 7*c_1001_2^7 - 12680800650093632004042775295537636/1442917436093384\ 29393659109621537*c_1001_2^6 + 8653593470904273944519559150273289/1\ 44291743609338429393659109621537*c_1001_2^5 + 10644608422523517316724603876850221/1442917436093384293936591096215\ 37*c_1001_2^4 + 9661887870918183557393806872629691/1442917436093384\ 29393659109621537*c_1001_2^3 + 2445375429070684272083960209001321/1\ 44291743609338429393659109621537*c_1001_2^2 - 1105154355246474679617666800332782/14429174360933842939365910962153\ 7*c_1001_2 - 262489102783989118568133271913548/14429174360933842939\ 3659109621537, c_0011_3 - 127186728773873449747936164032682/14429174360933842939365910\ 9621537*c_1001_2^12 + 398720291229778062657936679351525/43287523082\ 8015288180977328864611*c_1001_2^11 - 2279098174597888957942724980770505/43287523082801528818097732886461\ 1*c_1001_2^10 + 2804270047485849200248980292079623/4328752308280152\ 88180977328864611*c_1001_2^9 + 292907734608042488757334140314747/43\ 2875230828015288180977328864611*c_1001_2^8 + 5258865709188760187702338726805395/43287523082801528818097732886461\ 1*c_1001_2^7 + 6534520850877031029842112745444810/43287523082801528\ 8180977328864611*c_1001_2^6 - 12637437183504251860783466986377097/4\ 32875230828015288180977328864611*c_1001_2^5 - 4500950983726386581486878215048614/43287523082801528818097732886461\ 1*c_1001_2^4 - 5119593193903781054826817992545624/43287523082801528\ 8180977328864611*c_1001_2^3 + 606392032782246794795273166108291/144\ 291743609338429393659109621537*c_1001_2^2 + 1081625583169313804675085009178795/43287523082801528818097732886461\ 1*c_1001_2 - 208813043300864100507277685082527/43287523082801528818\ 0977328864611, c_0011_5 - 99622327563413532095049039885426/144291743609338429393659109\ 621537*c_1001_2^12 + 13137569110993203334739549948783/4328752308280\ 15288180977328864611*c_1001_2^11 - 1592522665815247085995962208034891/43287523082801528818097732886461\ 1*c_1001_2^10 + 381945371210509500877834884929906/43287523082801528\ 8180977328864611*c_1001_2^9 + 1680758371558127485496835156300121/43\ 2875230828015288180977328864611*c_1001_2^8 + 4210441124101888733579309980928846/43287523082801528818097732886461\ 1*c_1001_2^7 + 9149730563833735637859095410179449/43287523082801528\ 8180977328864611*c_1001_2^6 - 3660244877420523736302800775994085/43\ 2875230828015288180977328864611*c_1001_2^5 - 10104071309708655688178230975679164/4328752308280152881809773288646\ 11*c_1001_2^4 - 7421858777862540883568856791541127/4328752308280152\ 88180977328864611*c_1001_2^3 - 1080624297450345009359348139695330/1\ 44291743609338429393659109621537*c_1001_2^2 + 1113653417617472567050418563440410/43287523082801528818097732886461\ 1*c_1001_2 + 414264449724469842183679707200579/43287523082801528818\ 0977328864611, c_0101_0 - 231615086959175848790892078676158/14429174360933842939365910\ 9621537*c_1001_2^12 + 188304139414059828978150643469728/43287523082\ 8015288180977328864611*c_1001_2^11 - 4009324995930083884196441378762851/43287523082801528818097732886461\ 1*c_1001_2^10 + 1806496640216408408074097227425115/4328752308280152\ 88180977328864611*c_1001_2^9 + 1724514268422324414535497012738206/4\ 32875230828015288180977328864611*c_1001_2^8 + 9554142275217436821837616328053300/43287523082801528818097732886461\ 1*c_1001_2^7 + 18102460223671393529647496168288149/4328752308280152\ 88180977328864611*c_1001_2^6 - 9904644696477635436125323946382154/4\ 32875230828015288180977328864611*c_1001_2^5 - 14789871541725153688037157304808615/4328752308280152881809773288646\ 11*c_1001_2^4 - 14340730167593467140209355586211870/432875230828015\ 288180977328864611*c_1001_2^3 - 1115985967169610654362370699939310/\ 144291743609338429393659109621537*c_1001_2^2 + 1611399004117316031070887095041414/43287523082801528818097732886461\ 1*c_1001_2 + 769119740017050193676608533378058/43287523082801528818\ 0977328864611, c_0101_6 + 226954999046196494273926010955672/14429174360933842939365910\ 9621537*c_1001_2^12 - 109574232783998057686482097903050/14429174360\ 9338429393659109621537*c_1001_2^11 + 1326795752037686379314358713397030/14429174360933842939365910962153\ 7*c_1001_2^10 - 870974009785567876904476555465440/14429174360933842\ 9393659109621537*c_1001_2^9 - 428818383256187990649116640687065/144\ 291743609338429393659109621537*c_1001_2^8 - 3034676393409179810267438234778747/14429174360933842939365910962153\ 7*c_1001_2^7 - 5354814750573083550874485208868541/14429174360933842\ 9393659109621537*c_1001_2^6 + 4371611759265872060104056261432743/14\ 4291743609338429393659109621537*c_1001_2^5 + 4032115307824865703450882111783772/14429174360933842939365910962153\ 7*c_1001_2^4 + 3875328311274035552385316928794964/14429174360933842\ 9393659109621537*c_1001_2^3 + 591078814500933914638117415820434/144\ 291743609338429393659109621537*c_1001_2^2 - 462951950073150797825052370019791/144291743609338429393659109621537\ *c_1001_2 - 136550176505204037722865039586664/144291743609338429393\ 659109621537, c_1001_2^13 - 58/243*c_1001_2^12 + 17/3*c_1001_2^11 - 196/81*c_1001_2^10 - 263/81*c_1001_2^9 - 1124/81*c_1001_2^8 - 6602/243*c_1001_2^7 + 1141/81*c_1001_2^6 + 1937/81*c_1001_2^5 + 5266/243*c_1001_2^4 + 1790/243*c_1001_2^3 - 454/243*c_1001_2^2 - 227/243*c_1001_2 - 13/243 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB