Magma V2.19-8 Tue Aug 20 2013 17:54:23 on localhost [Seed = 3448535645] Type ? for help. Type -D to quit. Loading file "11_547__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_547 geometric_solution 6.10280316 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 1 2 0 3201 0132 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 1 0 -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.289134546163 1.826232321324 2 0 4 3 2310 0132 0132 0132 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 1 0 0 -13 13 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.320866677632 0.683498086799 4 3 1 0 1023 2031 3201 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 0 0 0 0 0 0 0 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.264896032737 0.282670987172 2 5 1 6 1302 0132 0132 0132 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 -1 0 1 0 -13 12 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.742961364635 0.934117266966 5 2 5 1 3012 1023 1302 0132 0 0 0 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 0 0 0 0 0 0 0 -13 0 0 13 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.742961364635 0.934117266966 4 3 6 4 2031 0132 1302 1230 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 -12 13 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.478465005077 0.655720293509 5 6 3 6 2031 2310 0132 3201 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 12 0 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.622186233250 0.625939736924 ==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' : 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_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' : negation(d['1']), 's_1_1' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : d['c_0101_1'], 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_6']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : negation(d['c_0011_2']), 'c_0101_2' : d['c_0011_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : d['c_0011_6'], '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_0110_6'], 'c_1001_4' : d['c_0011_2'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0011_3'], 'c_1001_3' : d['c_0011_3'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : negation(d['c_0011_2']), 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_2'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0110_6']), 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0110_6'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : 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_6, c_0101_0, c_0101_1, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 9316800427055471003140201629977/15584699930389114924999220585*c_011\ 0_6^14 - 122849852177777333393431945208222/638972697145953711924968\ 043985*c_0110_6^13 - 1686126094480016407937790042760222/63897269714\ 5953711924968043985*c_0110_6^12 - 190428167039055406397984768440776\ /15584699930389114924999220585*c_0110_6^11 + 704393466317410227314895814436290/127794539429190742384993608797*c_\ 0110_6^10 + 496704462271048948512133807944362/638972697145953711924\ 968043985*c_0110_6^9 - 17068910483097394986542071041813506/63897269\ 7145953711924968043985*c_0110_6^8 + 20801910253553877692812660853538743/638972697145953711924968043985*\ c_0110_6^7 - 3989157083511517056423646630139311/6389726971459537119\ 24968043985*c_0110_6^6 - 4039262236929615232463085348063183/6389726\ 97145953711924968043985*c_0110_6^5 - 4565263468378079738190692850264054/638972697145953711924968043985*c\ _0110_6^4 + 4857867553535194506916517879440881/63897269714595371192\ 4968043985*c_0110_6^3 - 1972598164420970425396574466584617/63897269\ 7145953711924968043985*c_0110_6^2 + 617535636204212621448196105098442/638972697145953711924968043985*c_\ 0110_6 - 96791037865647107838677410610989/6389726971459537119249680\ 43985, c_0011_0 - 1, c_0011_2 + 407702055313447774754639962362/4757434715592466661315551547*\ c_0110_6^14 + 281636283480541896234775478730/4757434715592466661315\ 551547*c_0110_6^13 + 1876560850635921930420742675492/47574347155924\ 66661315551547*c_0110_6^12 + 9017727481478482125582919503297/475743\ 4715592466661315551547*c_0110_6^11 - 546903753393899231474952696846/4757434715592466661315551547*c_0110_\ 6^10 - 1281943658812492459732837275243/4757434715592466661315551547\ *c_0110_6^9 + 18013327127543164105154953958911/47574347155924666613\ 15551547*c_0110_6^8 - 533757005926561203283691160708/16404947295146\ 4367631570743*c_0110_6^7 - 2691450494494600270481426965012/47574347\ 15592466661315551547*c_0110_6^6 + 4800121392657059124262776553988/4\ 757434715592466661315551547*c_0110_6^5 + 6429282744481713061189496428883/4757434715592466661315551547*c_0110\ _6^4 - 3213706603409107437742247524308/4757434715592466661315551547\ *c_0110_6^3 + 611617687292535027882695105982/4757434715592466661315\ 551547*c_0110_6^2 - 44443182695170300356546102660/47574347155924666\ 61315551547*c_0110_6 - 29200254560100391259360867453/47574347155924\ 66661315551547, c_0011_3 + 269858842187587616620506088092/4757434715592466661315551547*\ c_0110_6^14 + 185682217080493059762907201778/4757434715592466661315\ 551547*c_0110_6^13 + 1242747733530088215239751973676/47574347155924\ 66661315551547*c_0110_6^12 + 5966473939526173660704533649352/475743\ 4715592466661315551547*c_0110_6^11 - 372693056352809828014583083570/4757434715592466661315551547*c_0110_\ 6^10 - 821091083095761548827650512662/4757434715592466661315551547*\ c_0110_6^9 + 11928546035997450593385429255135/475743471559246666131\ 5551547*c_0110_6^8 - 354491665282943589478396765213/164049472951464\ 367631570743*c_0110_6^7 - 1704659084803637229482030363528/475743471\ 5592466661315551547*c_0110_6^6 + 3148994633791841925854382428135/47\ 57434715592466661315551547*c_0110_6^5 + 4239171481040324828399684912555/4757434715592466661315551547*c_0110\ _6^4 - 2134554495359746202174091082407/4757434715592466661315551547\ *c_0110_6^3 + 435821387697427023340559707106/4757434715592466661315\ 551547*c_0110_6^2 - 33793376991683864291674863259/47574347155924666\ 61315551547*c_0110_6 - 19814879034443905047521063617/47574347155924\ 66661315551547, c_0011_6 + 13901615969359380651225486920/4757434715592466661315551547*c\ _0110_6^14 + 6916023269201325798194407154/4757434715592466661315551\ 547*c_0110_6^13 + 61814808887896056125127922695/4757434715592466661\ 315551547*c_0110_6^12 + 294543168472061151116066226353/475743471559\ 2466661315551547*c_0110_6^11 - 80068331639716848133150524182/475743\ 4715592466661315551547*c_0110_6^10 - 49059133167914243498360756931/4757434715592466661315551547*c_0110_6\ ^9 + 613854568956613368663555847934/4757434715592466661315551547*c_\ 0110_6^8 - 22491926923567868620249415210/16404947295146436763157074\ 3*c_0110_6^7 - 5184420655295735704922725758/47574347155924666613155\ 51547*c_0110_6^6 + 179632741041123443743143620672/47574347155924666\ 61315551547*c_0110_6^5 + 191214911239580029883531773187/47574347155\ 92466661315551547*c_0110_6^4 - 144272897300822572025140803866/47574\ 34715592466661315551547*c_0110_6^3 + 40474327353096694931259518374/4757434715592466661315551547*c_0110_6\ ^2 - 13002505090138989420123981024/4757434715592466661315551547*c_0\ 110_6 - 1312711982718331996283143569/4757434715592466661315551547, c_0101_0 + 162839440801001605332476581564/4757434715592466661315551547*\ c_0110_6^14 + 102663131972446522104984701882/4757434715592466661315\ 551547*c_0110_6^13 + 740499986140965344831852066812/475743471559246\ 6661315551547*c_0110_6^12 + 3553751332278593061165921044944/4757434\ 715592466661315551547*c_0110_6^11 - 447008890960111182380795038418/4757434715592466661315551547*c_0110_\ 6^10 - 554105753086189451990163281606/4757434715592466661315551547*\ c_0110_6^9 + 7200100673107077704524646439858/4757434715592466661315\ 551547*c_0110_6^8 - 228008026337119254023320837661/1640494729514643\ 67631570743*c_0110_6^7 - 800991834852283496748664014632/47574347155\ 92466661315551547*c_0110_6^6 + 2010641539408009639099091349871/4757\ 434715592466661315551547*c_0110_6^5 + 2508874725083714863104573499349/4757434715592466661315551547*c_0110\ _6^4 - 1458642035945979004526133423155/4757434715592466661315551547\ *c_0110_6^3 + 278626746238341223726194724242/4757434715592466661315\ 551547*c_0110_6^2 - 30003955210399204786193300251/47574347155924666\ 61315551547*c_0110_6 - 9050292980599658553935025884/475743471559246\ 6661315551547, c_0101_1 + 64674872953313137127015335504/4757434715592466661315551547*c\ _0110_6^14 + 35018805714422646223984040386/475743471559246666131555\ 1547*c_0110_6^13 + 290660696037785146241250006174/47574347155924666\ 61315551547*c_0110_6^12 + 1385427176440493221664387790822/475743471\ 5592466661315551547*c_0110_6^11 - 302733721936712174306858739806/47\ 57434715592466661315551547*c_0110_6^10 - 200456782939786155657347939094/4757434715592466661315551547*c_0110_\ 6^9 + 2877407161652575255927357306666/4757434715592466661315551547*\ c_0110_6^8 - 99723520803460993012701056846/164049472951464367631570\ 743*c_0110_6^7 - 78741896236749493239737301136/47574347155924666613\ 15551547*c_0110_6^6 + 820730863983496922314811449088/47574347155924\ 66661315551547*c_0110_6^5 + 903134667147240696496017739703/47574347\ 15592466661315551547*c_0110_6^4 - 652881464457027501538428077197/47\ 57434715592466661315551547*c_0110_6^3 + 168192593770350789613508277220/4757434715592466661315551547*c_0110_\ 6^2 - 27810146600993384864173658847/4757434715592466661315551547*c_\ 0110_6 - 5398407981603269260788382260/4757434715592466661315551547, c_0110_6^15 + 14/41*c_0110_6^14 + 179/41*c_0110_6^13 + 841/41*c_0110_6^12 - 371/41*c_0110_6^11 - 106/41*c_0110_6^10 + 1855/41*c_0110_6^9 - 2190/41*c_0110_6^8 + 281/41*c_0110_6^7 + 568/41*c_0110_6^6 + 479/41*c_0110_6^5 - 547/41*c_0110_6^4 + 177/41*c_0110_6^3 - 28/41*c_0110_6^2 - 1/41*c_0110_6 + 1/41 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB