Magma V2.19-8 Tue Aug 20 2013 16:17:44 on localhost [Seed = 728414155] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1967 geometric_solution 5.54422726 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 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.606178936588 0.240974095909 0 2 2 0 3201 0132 1023 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 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 1.228198433815 0.519557172167 3 1 1 4 0132 0132 1023 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 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.410165328064 0.428500992514 2 5 4 6 0132 0132 1302 0132 0 0 0 0 0 0 -1 1 1 0 0 -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 -1 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.536311606075 0.628723417281 3 6 2 5 2031 2310 0132 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 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.536311606075 0.628723417281 5 3 4 5 3012 0132 0132 1230 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.214682488798 0.920635510590 6 6 3 4 1230 3012 0132 3201 0 0 0 0 0 1 -1 0 0 0 1 -1 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 1 -1 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.406611332395 0.602770839595 ==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' : negation(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' : negation(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' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], '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_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : negation(d['c_0011_1']), 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : d['c_0101_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_1, c_0011_4, c_0011_6, c_0101_0, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 217557374380467577336646741232002281222303/558302789230644844556149\ 4213142095290784*c_0101_5^31 - 134747541434686238754795053774444483\ 7627857/697878486538306055695186776642761911348*c_0101_5^29 + 199390792774693437035502029221207425461344517/558302789230644844556\ 1494213142095290784*c_0101_5^27 - 229730636458869757692295127291375\ 2824138516345/5583027892306448445561494213142095290784*c_0101_5^25 + 15559744444482014655598616479213912990991476451/5583027892306448445\ 561494213142095290784*c_0101_5^23 - 66557640131356907136281278548500970687223284885/5583027892306448445\ 561494213142095290784*c_0101_5^21 + 192337714485983757458360210954947444941726640525/558302789230644844\ 5561494213142095290784*c_0101_5^19 - 192662378412927042229814007072564592176615194591/279151394615322422\ 2780747106571047645392*c_0101_5^17 + 16593290011636467609039249139858763694783718785/1744696216345765139\ 23796694160690477837*c_0101_5^15 - 235500637006904609120382843477576949535014449079/279151394615322422\ 2780747106571047645392*c_0101_5^13 + 238506025300316858362198428489948702896130786863/558302789230644844\ 5561494213142095290784*c_0101_5^11 - 47319492120155181211720830482015610226599295049/5583027892306448445\ 561494213142095290784*c_0101_5^9 - 10798282144683528857423395248876586374929371987/5583027892306448445\ 561494213142095290784*c_0101_5^7 + 221341471015965741168739696966096218047773160/174469621634576513923\ 796694160690477837*c_0101_5^5 - 11609216755321320934502350945236253\ 95599200471/5583027892306448445561494213142095290784*c_0101_5^3 + 59157462208868045436462995880691752833307701/5583027892306448445561\ 494213142095290784*c_0101_5, c_0011_0 - 1, c_0011_1 + 78134862980877611422272505581351243511/174469621634576513923\ 796694160690477837*c_0101_5^30 - 3887715410248281495229273069505435\ 007808/174469621634576513923796694160690477837*c_0101_5^28 + 72421297333217428408745914580911086913977/1744696216345765139237966\ 94160690477837*c_0101_5^26 - 84033366184818515552975499414339556832\ 8608/174469621634576513923796694160690477837*c_0101_5^24 + 5767064631440553813267517800083755194178165/17446962163457651392379\ 6694160690477837*c_0101_5^22 - 251525980285049280493795075612335133\ 22591608/174469621634576513923796694160690477837*c_0101_5^20 + 74645288109166254234591253722967720922836368/1744696216345765139237\ 96694160690477837*c_0101_5^18 - 15533903044007690912089553150142875\ 1611328845/174469621634576513923796694160690477837*c_0101_5^16 + 227055246268385873147987081867556915254000090/174469621634576513923\ 796694160690477837*c_0101_5^14 - 2242877414652825890366776319584614\ 28892648903/174469621634576513923796694160690477837*c_0101_5^12 + 142882867775539181489004214132706824380911588/174469621634576513923\ 796694160690477837*c_0101_5^10 - 5578631989184712988982289585409966\ 4444850667/174469621634576513923796694160690477837*c_0101_5^8 + 12395128524443243022925041179635447446001090/1744696216345765139237\ 96694160690477837*c_0101_5^6 - 137598427916026980830480786469266713\ 2962282/174469621634576513923796694160690477837*c_0101_5^4 + 59436518099140102922355448150480582377547/1744696216345765139237966\ 94160690477837*c_0101_5^2 - 608968895514041618490242352046030145393\ /174469621634576513923796694160690477837, c_0011_4 + 224433546840920929746973746673160689928/17446962163457651392\ 3796694160690477837*c_0101_5^30 - 111752542558256248987140822749017\ 36771742/174469621634576513923796694160690477837*c_0101_5^28 + 208432158482615212735215058194985765121059/174469621634576513923796\ 694160690477837*c_0101_5^26 - 2421421354899322747230046783953378967\ 004295/174469621634576513923796694160690477837*c_0101_5^24 + 16654258725374655664841668357174578223980991/1744696216345765139237\ 96694160690477837*c_0101_5^22 - 72860808109913624715021403558094176\ 539186034/174469621634576513923796694160690477837*c_0101_5^20 + 217091049628156990711925084701369146471930025/174469621634576513923\ 796694160690477837*c_0101_5^18 - 4541661779925043764714193190604765\ 38033490204/174469621634576513923796694160690477837*c_0101_5^16 + 668788655174289446740822352549820302958780251/174469621634576513923\ 796694160690477837*c_0101_5^14 - 6684375858275362060412743559177243\ 00014797609/174469621634576513923796694160690477837*c_0101_5^12 + 434094337612870441684576970617162362141149410/174469621634576513923\ 796694160690477837*c_0101_5^10 - 1749056749483569595349086879515702\ 07089041704/174469621634576513923796694160690477837*c_0101_5^8 + 40954994504683561886389158162870318949774791/1744696216345765139237\ 96694160690477837*c_0101_5^6 - 497314557802282813824919415232308809\ 8074462/174469621634576513923796694160690477837*c_0101_5^4 + 247651937695690841755371103680409721822300/174469621634576513923796\ 694160690477837*c_0101_5^2 - 21903451257090058598688178051692783382\ 03/174469621634576513923796694160690477837, c_0011_6 + 180053672507637324212461984076151781891/17446962163457651392\ 3796694160690477837*c_0101_5^30 - 896403406817371313440401920698745\ 9688411/174469621634576513923796694160690477837*c_0101_5^28 + 167146017556755750654733362081586998036302/174469621634576513923796\ 694160690477837*c_0101_5^26 - 1941280654432480791154858011209910666\ 684157/174469621634576513923796694160690477837*c_0101_5^24 + 13345513131207804404252254485987351018985139/1744696216345765139237\ 96694160690477837*c_0101_5^22 - 58345155898921546271422324624000804\ 950433322/174469621634576513923796694160690477837*c_0101_5^20 + 173683422079328153367952235622791120345736605/174469621634576513923\ 796694160690477837*c_0101_5^18 - 3629087946509796917178533865831142\ 30996486374/174469621634576513923796694160690477837*c_0101_5^16 + 533466877190809412641226758828782653030894023/174469621634576513923\ 796694160690477837*c_0101_5^14 - 5316797467777024273296948094210438\ 34653424441/174469621634576513923796694160690477837*c_0101_5^12 + 343642916544504542592660470344967796126419540/174469621634576513923\ 796694160690477837*c_0101_5^10 - 1373582804829631633044387015289987\ 41473612535/174469621634576513923796694160690477837*c_0101_5^8 + 31720094957951242472532166757915257603739049/1744696216345765139237\ 96694160690477837*c_0101_5^6 - 375561882267118354512202324844566164\ 6636074/174469621634576513923796694160690477837*c_0101_5^4 + 179534777069637971662810593875254339142255/174469621634576513923796\ 694160690477837*c_0101_5^2 - 16752872334432038721264330511621871146\ 75/174469621634576513923796694160690477837, c_0101_0 + 295350128018744221951218811080093242306/17446962163457651392\ 3796694160690477837*c_0101_5^31 - 146801865307731615079096246752574\ 60022445/174469621634576513923796694160690477837*c_0101_5^29 + 273008413144887699957276168253054481149032/174469621634576513923796\ 694160690477837*c_0101_5^27 - 3163252963626862930707288660078640160\ 161859/174469621634576513923796694160690477837*c_0101_5^25 + 21653139599357990520636763312701714733600429/1744696216345765139237\ 96694160690477837*c_0101_5^23 - 94157775640349675083634506915635186\ 953531960/174469621634576513923796694160690477837*c_0101_5^21 + 278626550015129758269901759889920338717912681/174469621634576513923\ 796694160690477837*c_0101_5^19 - 5783033797083963585983500154486507\ 96701662611/174469621634576513923796694160690477837*c_0101_5^17 + 843674950553830929772290214935876396527764267/174469621634576513923\ 796694160690477837*c_0101_5^15 - 8332459641650162500378363875215397\ 62106295517/174469621634576513923796694160690477837*c_0101_5^13 + 534428175222844323710275057456867061888309005/174469621634576513923\ 796694160690477837*c_0101_5^11 - 2134084813670308628808828092844790\ 35626328057/174469621634576513923796694160690477837*c_0101_5^9 + 49877794618815523327187859879170416624684358/1744696216345765139237\ 96694160690477837*c_0101_5^7 - 607368280698774373915681117958699571\ 3731596/174469621634576513923796694160690477837*c_0101_5^5 + 292072111270718481244425790039451239113809/174469621634576513923796\ 694160690477837*c_0101_5^3 - 49606752163318640567062322141886781508\ 4/174469621634576513923796694160690477837*c_0101_5, c_0101_2 + 69367625936834386349167763495286354635/174469621634576513923\ 796694160690477837*c_0101_5^31 - 3441367333245066825035650574820952\ 149840/174469621634576513923796694160690477837*c_0101_5^29 + 63796814620656356298750205201074301137563/1744696216345765139237966\ 94160690477837*c_0101_5^27 - 73691876654212466963357306757668031582\ 0360/174469621634576513923796694160690477837*c_0101_5^25 + 5015769547609931463928741714030981992809636/17446962163457651392379\ 6694160690477837*c_0101_5^23 - 216359766104593109628697460143188170\ 69836782/174469621634576513923796694160690477837*c_0101_5^21 + 63356199895151160313202328926386424125868333/1744696216345765139237\ 96694160690477837*c_0101_5^19 - 12964894694124799067592521563607423\ 7638048723/174469621634576513923796694160690477837*c_0101_5^17 + 185318687193486552471264627670256190144297895/174469621634576513923\ 796694160690477837*c_0101_5^15 - 1769714439052252488180732698301792\ 57809407017/174469621634576513923796694160690477837*c_0101_5^13 + 107049367290263231448408812189004852538049133/174469621634576513923\ 796694160690477837*c_0101_5^11 - 3838314212482546575531754961582892\ 1060048451/174469621634576513923796694160690477837*c_0101_5^9 + 7175682292159192437097512353224089792557604/17446962163457651392379\ 6694160690477837*c_0101_5^7 - 4620982436204674271842571940228738551\ 59247/174469621634576513923796694160690477837*c_0101_5^5 - 20314946940873854486090350703954643205005/1744696216345765139237966\ 94160690477837*c_0101_5^3 + 115307218039220627513978553772174505101\ 8/174469621634576513923796694160690477837*c_0101_5, c_0101_5^32 - 50*c_0101_5^30 + 939*c_0101_5^28 - 10981*c_0101_5^26 + 76435*c_0101_5^24 - 339965*c_0101_5^22 + 1034257*c_0101_5^20 - 2222960*c_0101_5^18 + 3396468*c_0101_5^16 - 3590930*c_0101_5^14 + 2545381*c_0101_5^12 - 1175473*c_0101_5^10 + 341801*c_0101_5^8 - 59406*c_0101_5^6 + 5623*c_0101_5^4 - 235*c_0101_5^2 + 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB