Magma V2.19-8 Tue Aug 20 2013 16:14:12 on localhost [Seed = 2682127294] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s159 geometric_solution 4.24654711 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 1 2 1 3 0132 0132 2310 0132 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 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.672763347715 2.515255334692 0 0 4 4 0132 3201 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.132069698861 0.170225958297 5 0 5 3 0132 0132 1023 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.514116597082 0.976174687019 2 5 0 5 3120 2310 0132 3201 0 0 0 0 0 -1 1 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 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.514116597082 0.976174687019 4 1 1 4 3201 3201 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.934756641017 0.947700315496 2 3 2 3 0132 2310 1023 3201 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 -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.470102236212 0.308841126026 ==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' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(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' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_4'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : d['c_0011_3'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_3']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0101_0']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0011_3']), 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : d['c_0101_5']})} 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_3, c_0011_4, c_0101_0, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 134213367099834397080166273519018851/190924546113224244120281731410\ 3982*c_0101_5^17 + 89665102671007067400714214157515494/954622730566\ 121220601408657051991*c_0101_5^16 - 391771816065109497363612113305427613/954622730566121220601408657051\ 991*c_0101_5^15 - 240236391921910833903001204734454353/190924546113\ 2242441202817314103982*c_0101_5^14 - 559837435486969685166717417777696921/954622730566121220601408657051\ 991*c_0101_5^13 - 1235244482177926816163769636447076091/95462273056\ 6121220601408657051991*c_0101_5^12 + 496539324942283784025107494783848591/190924546113224244120281731410\ 3982*c_0101_5^11 - 1097842288745432412012382282488427345/9546227305\ 66121220601408657051991*c_0101_5^10 + 2845800768446393550677930916985807731/19092454611322424412028173141\ 03982*c_0101_5^9 - 2711159195318383497656324802139034755/1909245461\ 132242441202817314103982*c_0101_5^8 - 514366670484673345820614338265591094/954622730566121220601408657051\ 991*c_0101_5^7 + 1377833899443459507122602900672115699/954622730566\ 121220601408657051991*c_0101_5^6 + 2705935129752007884672167943419920335/19092454611322424412028173141\ 03982*c_0101_5^5 - 892609521538495724416773728281365530/95462273056\ 6121220601408657051991*c_0101_5^4 - 637109097647938168087333832921531491/954622730566121220601408657051\ 991*c_0101_5^3 + 1791044658796875080591185296472475711/190924546113\ 2242441202817314103982*c_0101_5^2 + 100014651998605380215911187711267975/954622730566121220601408657051\ 991*c_0101_5 - 75498649716056925251606102153950245/1909245461132242\ 441202817314103982, c_0011_0 - 1, c_0011_3 - 163142744431013523661426030290159/95462273056612122060140865\ 7051991*c_0101_5^17 + 285690026629648451675927248926696/95462273056\ 6121220601408657051991*c_0101_5^16 - 957464435059824459691942390627236/954622730566121220601408657051991\ *c_0101_5^15 - 9659925250391057115007372354953/95462273056612122060\ 1408657051991*c_0101_5^14 - 739473493014890457653917316213902/95462\ 2730566121220601408657051991*c_0101_5^13 - 2277076228753905367284214800009077/95462273056612122060140865705199\ 1*c_0101_5^12 + 2574074190753266400386805363922050/9546227305661212\ 20601408657051991*c_0101_5^11 - 1298393781094666786022228637014984/\ 954622730566121220601408657051991*c_0101_5^10 + 4287992962945732037091559913460506/95462273056612122060140865705199\ 1*c_0101_5^9 - 3238506320290978891460717446102920/95462273056612122\ 0601408657051991*c_0101_5^8 - 1684125213241542363192298876894734/95\ 4622730566121220601408657051991*c_0101_5^7 + 5508395243929283781717469593666888/95462273056612122060140865705199\ 1*c_0101_5^6 + 2492576377515215538687707468794905/95462273056612122\ 0601408657051991*c_0101_5^5 - 5718601443594360259709240580947977/95\ 4622730566121220601408657051991*c_0101_5^4 - 2268428571526355589826865518915625/95462273056612122060140865705199\ 1*c_0101_5^3 + 3355850544262899719426125141202398/95462273056612122\ 0601408657051991*c_0101_5^2 + 58798054781885743049227044927719/9546\ 22730566121220601408657051991*c_0101_5 - 953495520633189313580382165031828/954622730566121220601408657051991\ , c_0011_4 - 2971468880556126379717377638814573/9546227305661212206014086\ 57051991*c_0101_5^17 + 4270901700325264243083836192326887/954622730\ 566121220601408657051991*c_0101_5^16 - 17716109041033730335262375006105515/9546227305661212206014086570519\ 91*c_0101_5^15 - 3559009865051159082366341445017825/954622730566121\ 220601408657051991*c_0101_5^14 - 2409582041308775562143970441786957\ 5/954622730566121220601408657051991*c_0101_5^13 - 51895916791931864432709852951545537/9546227305661212206014086570519\ 91*c_0101_5^12 + 17053887960073760252175568990296881/95462273056612\ 1220601408657051991*c_0101_5^11 - 487349554560328645035339604188134\ 38/954622730566121220601408657051991*c_0101_5^10 + 68804006001577014546639655316486853/9546227305661212206014086570519\ 91*c_0101_5^9 - 65816060701137106241915233226632965/954622730566121\ 220601408657051991*c_0101_5^8 - 17221003412971816212991543433347726\ /954622730566121220601408657051991*c_0101_5^7 + 62759068832493124481754302173247392/9546227305661212206014086570519\ 91*c_0101_5^6 + 53923956723696155369595142959440993/954622730566121\ 220601408657051991*c_0101_5^5 - 45243906796019433222241689991349072\ /954622730566121220601408657051991*c_0101_5^4 - 25643311325212729400584310126601489/9546227305661212206014086570519\ 91*c_0101_5^3 + 41759409176940137601648933756481752/954622730566121\ 220601408657051991*c_0101_5^2 + 786913264203382124257674577004755/9\ 54622730566121220601408657051991*c_0101_5 - 914513569980512111986656695180164/954622730566121220601408657051991\ , c_0101_0 - 112616593797306239470129621276452/95462273056612122060140865\ 7051991*c_0101_5^17 - 183374372049172839264210582640197/95462273056\ 6121220601408657051991*c_0101_5^16 - 146696032321137061090116056386450/954622730566121220601408657051991\ *c_0101_5^15 - 2198675085914226950125617816543600/95462273056612122\ 0601408657051991*c_0101_5^14 - 1212310108999717096704470942363630/9\ 54622730566121220601408657051991*c_0101_5^13 - 4522775604010444598452484159439404/95462273056612122060140865705199\ 1*c_0101_5^12 - 5127777425359211528114455790588492/9546227305661212\ 20601408657051991*c_0101_5^11 + 863356103796998375454060612471845/9\ 54622730566121220601408657051991*c_0101_5^10 - 2666876235381850887293542192536707/95462273056612122060140865705199\ 1*c_0101_5^9 + 5584450814884028577149245488214434/95462273056612122\ 0601408657051991*c_0101_5^8 - 8575613887689294135121495898090209/95\ 4622730566121220601408657051991*c_0101_5^7 + 96979088062771889799029526849296/954622730566121220601408657051991*\ c_0101_5^6 + 10119036543484787498978546633906439/954622730566121220\ 601408657051991*c_0101_5^5 + 4207955669175900466987353787700661/954\ 622730566121220601408657051991*c_0101_5^4 - 7500225685568557777881443498976277/95462273056612122060140865705199\ 1*c_0101_5^3 - 1603274295693134084632463116276341/95462273056612122\ 0601408657051991*c_0101_5^2 + 6142659781936581591360899790281611/95\ 4622730566121220601408657051991*c_0101_5 + 34879328862111514402555361791384/954622730566121220601408657051991, c_0101_2 + 55093596785404708620003326491800/954622730566121220601408657\ 051991*c_0101_5^17 - 83844740140054039000198070074566/9546227305661\ 21220601408657051991*c_0101_5^16 + 249326282808407406854365018698184/954622730566121220601408657051991\ *c_0101_5^15 + 151603513565603333014721128124300/954622730566121220\ 601408657051991*c_0101_5^14 - 102058523292212425756162007832390/954\ 622730566121220601408657051991*c_0101_5^13 + 823584191906365264596726888810639/954622730566121220601408657051991\ *c_0101_5^12 - 1387512400209665130767523865001807/95462273056612122\ 0601408657051991*c_0101_5^11 - 724946114213195651611189440292835/95\ 4622730566121220601408657051991*c_0101_5^10 - 1491847064670510629559700886009143/95462273056612122060140865705199\ 1*c_0101_5^9 - 953336349485664128778565586291565/954622730566121220\ 601408657051991*c_0101_5^8 + 1993912642777643228583733396238562/954\ 622730566121220601408657051991*c_0101_5^7 - 4056523547344200812421444930469916/95462273056612122060140865705199\ 1*c_0101_5^6 - 842562161710134106181061606963700/954622730566121220\ 601408657051991*c_0101_5^5 + 1101670180991853813100357309731795/954\ 622730566121220601408657051991*c_0101_5^4 + 1996261371865878804535465237332917/95462273056612122060140865705199\ 1*c_0101_5^3 - 1007849371353919650447556867721619/95462273056612122\ 0601408657051991*c_0101_5^2 - 71082487198164648010203989953146/9546\ 22730566121220601408657051991*c_0101_5 + 950418600321667840496984048780281/954622730566121220601408657051991\ , c_0101_5^18 - 9/7*c_0101_5^17 + 121/21*c_0101_5^16 + 44/21*c_0101_5^15 + 176/21*c_0101_5^14 + 395/21*c_0101_5^13 - 20/7*c_0101_5^12 + 16*c_0101_5^11 - 428/21*c_0101_5^10 + 398/21*c_0101_5^9 + 62/7*c_0101_5^8 - 61/3*c_0101_5^7 - 446/21*c_0101_5^6 + 87/7*c_0101_5^5 + 31/3*c_0101_5^4 - 272/21*c_0101_5^3 - 47/21*c_0101_5^2 + 4/7*c_0101_5 + 1/21 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB