Magma V2.19-8 Tue Aug 20 2013 16:16:33 on localhost [Seed = 1494795654] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0847 geometric_solution 4.76458494 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 1 0132 0132 3201 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 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.221201846312 0.188468640783 0 0 4 3 0132 2310 0132 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 -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 1.056908254100 1.695383070609 0 0 2 2 2310 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 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 5.463769286430 2.297089940378 5 4 1 4 0132 2031 0132 3012 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.637540792644 0.666727667342 3 5 3 1 1302 3201 1230 0132 0 0 0 0 0 0 0 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 1 -1 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.637540792644 0.666727667342 3 6 4 6 0132 0132 2310 2310 0 0 0 0 0 -1 1 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 -1 1 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.511551964970 1.041735932938 5 5 6 6 3201 0132 2031 1302 0 0 0 0 0 1 0 -1 -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 1 0 -1 -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.480994769036 0.145256832572 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_0' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(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' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0101_0']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_5'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0101_5'], 'c_1100_2' : d['c_0101_2'], 'c_0101_6' : negation(d['c_0101_0']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_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_3'], 'c_0011_6' : d['c_0011_3'], '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_0'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(d['c_0101_1']), '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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 5104495336181722916164414319373280156042/16175175292626621510448979\ 5492300847475*c_0110_6^22 + 667758329815187887829507797089233316021\ 29/161751752926266215104489795492300847475*c_0110_6^21 + 120662913909200419291609313294972586060901/539172509754220717014965\ 98497433615825*c_0110_6^20 - 18289490172971895168757259846340980602\ 645/6470070117050648604179591819692033899*c_0110_6^19 - 4303496222813240234152371734463008142877792/16175175292626621510448\ 9795492300847475*c_0110_6^18 - 164388367018330063959055003035411667\ 99237/10783450195084414340299319699486723165*c_0110_6^17 + 7610413214370800092382504926493451379915168/53917250975422071701496\ 598497433615825*c_0110_6^16 + 7507614336558029312509152718856977555\ 810142/161751752926266215104489795492300847475*c_0110_6^15 - 65845933560906444495263205610917830290338568/1617517529262662151044\ 89795492300847475*c_0110_6^14 - 18979700977598497012001503147237238\ 063552708/161751752926266215104489795492300847475*c_0110_6^13 + 105552494246089541394923621305887190637861581/161751752926266215104\ 489795492300847475*c_0110_6^12 + 7785217059543699557904811964712486\ 832162908/53917250975422071701496598497433615825*c_0110_6^11 - 31697452806036163694575615575366650623318093/5391725097542207170149\ 6598497433615825*c_0110_6^10 - 188188357298209312876157557875340272\ 77191477/161751752926266215104489795492300847475*c_0110_6^9 + 628451734980278526640004853739706180560606/215669003901688286805986\ 3939897344633*c_0110_6^8 + 3811195819404111169374669567318001669723\ 352/53917250975422071701496598497433615825*c_0110_6^7 - 3691006872818017765674337042383919010741418/53917250975422071701496\ 598497433615825*c_0110_6^6 - 21622632609303630575185527809670690886\ 2893/6470070117050648604179591819692033899*c_0110_6^5 - 478497095965598210911346138750604762828334/161751752926266215104489\ 795492300847475*c_0110_6^4 + 64326772943115743279711914894052702554\ 618/6470070117050648604179591819692033899*c_0110_6^3 + 936175550716595052375573653995877158976384/161751752926266215104489\ 795492300847475*c_0110_6^2 - 12692475739170028163880262467814374254\ 8262/161751752926266215104489795492300847475*c_0110_6 - 23239656422492019369596614953279817836361/5391725097542207170149659\ 8497433615825, c_0011_0 - 1, c_0011_3 + 11677325067423902113139453218651975215/280369705072194772847\ 78231218665480229*c_0110_6^22 - 15873606240666797081709213184176627\ 1649/28036970507219477284778231218665480229*c_0110_6^21 - 744462443883859532438132433671592377333/280369705072194772847782312\ 18665480229*c_0110_6^20 + 1394073817482381187174478186423420829719/\ 28036970507219477284778231218665480229*c_0110_6^19 + 8980900044859054750435964522417991503955/28036970507219477284778231\ 218665480229*c_0110_6^18 - 3740400056241292051557391988573478377404\ /28036970507219477284778231218665480229*c_0110_6^17 - 48523014044405974837253483074851267447362/2803697050721947728477823\ 1218665480229*c_0110_6^16 + 679347441167508239778092976841713169662\ 0/28036970507219477284778231218665480229*c_0110_6^15 + 137630451719960699445964617820540524187670/280369705072194772847782\ 31218665480229*c_0110_6^14 - 24830138560485844564336773044591984492\ 749/28036970507219477284778231218665480229*c_0110_6^13 - 202531217397294487211276926794771980174909/280369705072194772847782\ 31218665480229*c_0110_6^12 + 42391998778449181353597128351405090206\ 198/28036970507219477284778231218665480229*c_0110_6^11 + 159651616264495057732816509971128217419533/280369705072194772847782\ 31218665480229*c_0110_6^10 - 25959430497236171659309494881550093558\ 578/28036970507219477284778231218665480229*c_0110_6^9 - 68956030342773184480669768096725001512453/2803697050721947728477823\ 1218665480229*c_0110_6^8 + 1003218796803142223784431397582111481925\ /28036970507219477284778231218665480229*c_0110_6^7 + 15246473464648678650602465471963196548720/2803697050721947728477823\ 1218665480229*c_0110_6^6 + 451534096643069215133797011101523607614/\ 2156690039016882868059863939897344633*c_0110_6^5 + 16521398275913222516504533397232846504/2803697050721947728477823121\ 8665480229*c_0110_6^4 - 2806889135548857569766952912800656134253/28\ 036970507219477284778231218665480229*c_0110_6^3 - 761294021426130662783898014654983260615/280369705072194772847782312\ 18665480229*c_0110_6^2 + 190376830809949917487991726396990230137/28\ 036970507219477284778231218665480229*c_0110_6 + 36682737037634046544574082319434264472/2803697050721947728477823121\ 8665480229, c_0101_0 + 15743820461773875623756994786450829601/280369705072194772847\ 78231218665480229*c_0110_6^22 - 21510215428989238893741263231283949\ 0459/28036970507219477284778231218665480229*c_0110_6^21 - 988917137675150714709225787572577636792/280369705072194772847782312\ 18665480229*c_0110_6^20 + 1948128476467859224733199862619652198990/\ 28036970507219477284778231218665480229*c_0110_6^19 + 11987673439195019713380502208506760491895/2803697050721947728477823\ 1218665480229*c_0110_6^18 - 583200416301114982558254761238480887924\ 6/28036970507219477284778231218665480229*c_0110_6^17 - 65132839543076747640469550682785346279623/2803697050721947728477823\ 1218665480229*c_0110_6^16 + 131556992585012228266572470516368180665\ 94/28036970507219477284778231218665480229*c_0110_6^15 + 184939716964071397818867718401509318513075/280369705072194772847782\ 31218665480229*c_0110_6^14 - 43784669729839653541640381294894952280\ 812/28036970507219477284778231218665480229*c_0110_6^13 - 270388941407454852954157140319183273362890/280369705072194772847782\ 31218665480229*c_0110_6^12 + 69894090049231665489192915572515135135\ 299/28036970507219477284778231218665480229*c_0110_6^11 + 211191512097189633179175658518609758297282/280369705072194772847782\ 31218665480229*c_0110_6^10 - 42838263730942396691509121892839224149\ 528/28036970507219477284778231218665480229*c_0110_6^9 - 90658584667130601562938282831306842938931/2803697050721947728477823\ 1218665480229*c_0110_6^8 + 3908490840068026126298566789086809589901\ /28036970507219477284778231218665480229*c_0110_6^7 + 20190685597862923228342516915708105749811/2803697050721947728477823\ 1218665480229*c_0110_6^6 + 577886365308751761863410441043615416758/\ 2156690039016882868059863939897344633*c_0110_6^5 - 279255274653593014744160726971163511644/280369705072194772847782312\ 18665480229*c_0110_6^4 - 3828441131721531808391030166316543836041/2\ 8036970507219477284778231218665480229*c_0110_6^3 - 857663968069089436245770325456705822247/280369705072194772847782312\ 18665480229*c_0110_6^2 + 257018287265780304286818799409714507704/28\ 036970507219477284778231218665480229*c_0110_6 + 43931800896520507530452805451790393471/2803697050721947728477823121\ 8665480229, c_0101_1 + 11902089295065561302306131047662568764/280369705072194772847\ 78231218665480229*c_0110_6^22 - 16457912780967354391809622450290006\ 8764/28036970507219477284778231218665480229*c_0110_6^21 - 719383758207022647062226350561082320167/280369705072194772847782312\ 18665480229*c_0110_6^20 + 1577192036308289138709217837447963910302/\ 28036970507219477284778231218665480229*c_0110_6^19 + 8736657332661063705032790736452028853053/28036970507219477284778231\ 218665480229*c_0110_6^18 - 5724423840790153647174308563724972506636\ /28036970507219477284778231218665480229*c_0110_6^17 - 47517747810260469534485984675333160036198/2803697050721947728477823\ 1218665480229*c_0110_6^16 + 174103657463912736603558107395748392669\ 18/28036970507219477284778231218665480229*c_0110_6^15 + 132827999620087732300387755465480302479110/280369705072194772847782\ 31218665480229*c_0110_6^14 - 54023610821223664411112268547668254871\ 484/28036970507219477284778231218665480229*c_0110_6^13 - 184258122387428761410448925851598530652313/280369705072194772847782\ 31218665480229*c_0110_6^12 + 79598844430363492851589568262971032881\ 514/28036970507219477284778231218665480229*c_0110_6^11 + 131313384532044071251389414454602094726529/280369705072194772847782\ 31218665480229*c_0110_6^10 - 48004956607770211357745251280994614853\ 394/28036970507219477284778231218665480229*c_0110_6^9 - 50413617367156152678249856808405865891606/2803697050721947728477823\ 1218665480229*c_0110_6^8 + 7171655398591042981825741951394617060754\ /28036970507219477284778231218665480229*c_0110_6^7 + 10727982450765465746571067367297342243576/2803697050721947728477823\ 1218665480229*c_0110_6^6 + 375459385452261753106742340286242027891/\ 2156690039016882868059863939897344633*c_0110_6^5 - 567019971563310039462816289721881384168/280369705072194772847782312\ 18665480229*c_0110_6^4 - 2650673442464722284702316102392987873032/2\ 8036970507219477284778231218665480229*c_0110_6^3 - 156774388459314734013452070154445659623/280369705072194772847782312\ 18665480229*c_0110_6^2 + 92699610273487623179888147122146362381/280\ 36970507219477284778231218665480229*c_0110_6 + 26512644754852256158765303825423048511/2803697050721947728477823121\ 8665480229, c_0101_2 + 5563353875239762429868807961260184036/2803697050721947728477\ 8231218665480229*c_0110_6^22 - 792800655758345760558639782776149844\ 80/28036970507219477284778231218665480229*c_0110_6^21 - 304491399540312926448898304222854939525/280369705072194772847782312\ 18665480229*c_0110_6^20 + 889602742162463797603851918459808591161/2\ 8036970507219477284778231218665480229*c_0110_6^19 + 3817935022046918515001331048961735813134/28036970507219477284778231\ 218665480229*c_0110_6^18 - 4493008839660453476065194796674506476772\ /28036970507219477284778231218665480229*c_0110_6^17 - 21618174978842291164094153878999914716273/2803697050721947728477823\ 1218665480229*c_0110_6^16 + 178124774534399106289832298448086491511\ 45/28036970507219477284778231218665480229*c_0110_6^15 + 61450562537879956890302875275385292632671/2803697050721947728477823\ 1218665480229*c_0110_6^14 - 523305026909691678335925381480597757460\ 57/28036970507219477284778231218665480229*c_0110_6^13 - 82873030105193475911836799585506834689265/2803697050721947728477823\ 1218665480229*c_0110_6^12 + 765102473822622458670034974653443117815\ 87/28036970507219477284778231218665480229*c_0110_6^11 + 55016557171969296596501138671128095346955/2803697050721947728477823\ 1218665480229*c_0110_6^10 - 527252285611938184447405713086646544593\ 50/28036970507219477284778231218665480229*c_0110_6^9 - 19742590373152298181818502459147578240915/2803697050721947728477823\ 1218665480229*c_0110_6^8 + 1596317488046198021968116721009076427610\ 7/28036970507219477284778231218665480229*c_0110_6^7 + 5176500597565298123164072366396889225190/28036970507219477284778231\ 218665480229*c_0110_6^6 - 31083746937047028567641464713134385954/21\ 56690039016882868059863939897344633*c_0110_6^5 - 1263909667779998278980103686459780557395/28036970507219477284778231\ 218665480229*c_0110_6^4 - 1261203135998644700139982880027067903650/\ 28036970507219477284778231218665480229*c_0110_6^3 + 333252286001936319885015467708231455594/280369705072194772847782312\ 18665480229*c_0110_6^2 + 154259679923313533385545996254905156929/28\ 036970507219477284778231218665480229*c_0110_6 - 22410531415937284470135389985850837857/2803697050721947728477823121\ 8665480229, c_0101_5 - 3187058426329542467666909679957404804/2803697050721947728477\ 8231218665480229*c_0110_6^22 + 440134756075578275052196933515943803\ 33/28036970507219477284778231218665480229*c_0110_6^21 + 193357548437468031043637107118070998574/280369705072194772847782312\ 18665480229*c_0110_6^20 - 418218560144819116474091947337935386143/2\ 8036970507219477284778231218665480229*c_0110_6^19 - 2343110219174838357203049503396791971064/28036970507219477284778231\ 218665480229*c_0110_6^18 + 1485916282970956768732845445465651478028\ /28036970507219477284778231218665480229*c_0110_6^17 + 12703196808467930318401111191153884491282/2803697050721947728477823\ 1218665480229*c_0110_6^16 - 443539109647792329894097028345690988886\ 8/28036970507219477284778231218665480229*c_0110_6^15 - 35382255546759409072287078789520993020411/2803697050721947728477823\ 1218665480229*c_0110_6^14 + 139180074860950914239178016665103115471\ 24/28036970507219477284778231218665480229*c_0110_6^13 + 48792472922156685050437353318881067877278/2803697050721947728477823\ 1218665480229*c_0110_6^12 - 206757683929908695703407383162743556140\ 10/28036970507219477284778231218665480229*c_0110_6^11 - 34234809885060706343497629984572818934666/2803697050721947728477823\ 1218665480229*c_0110_6^10 + 125465881859689475396799830186632047058\ 71/28036970507219477284778231218665480229*c_0110_6^9 + 12677923450099752944524263410466354676921/2803697050721947728477823\ 1218665480229*c_0110_6^8 - 2072878834666967803153658260423766939751\ /28036970507219477284778231218665480229*c_0110_6^7 - 2597259129901844514422583251175090260839/28036970507219477284778231\ 218665480229*c_0110_6^6 - 75983178012867355295682808057444668474/21\ 56690039016882868059863939897344633*c_0110_6^5 + 165378470218602743119346945412110269093/280369705072194772847782312\ 18665480229*c_0110_6^4 + 544796133804131685370810956704160263345/28\ 036970507219477284778231218665480229*c_0110_6^3 + 22882578322630462002029130093195471902/2803697050721947728477823121\ 8665480229*c_0110_6^2 + 19265746221052989423390529925414682798/2803\ 6970507219477284778231218665480229*c_0110_6 - 3269090748887284248271591453159604007/28036970507219477284778231218\ 665480229, c_0110_6^23 - 13*c_0110_6^22 - 72*c_0110_6^21 + 84*c_0110_6^20 + 851*c_0110_6^19 + 114*c_0110_6^18 - 4477*c_0110_6^17 - 1814*c_0110_6^16 + 12830*c_0110_6^15 + 4670*c_0110_6^14 - 20517*c_0110_6^13 - 5979*c_0110_6^12 + 18409*c_0110_6^11 + 4819*c_0110_6^10 - 8981*c_0110_6^9 - 2743*c_0110_6^8 + 1980*c_0110_6^7 + 1163*c_0110_6^6 + 177*c_0110_6^5 - 302*c_0110_6^4 - 202*c_0110_6^3 + 13*c_0110_6^2 + 13*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB