Magma V2.19-8 Tue Aug 20 2013 16:16:15 on localhost [Seed = 3187417471] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0513 geometric_solution 4.52001223 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 3201 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 0 2.386855984562 0.461417151333 0 3 3 0 0132 0132 1023 3201 0 0 0 0 0 0 -1 1 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 -1 1 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 1.472034184220 0.569895923168 2 0 2 0 2031 2310 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.871288526461 0.109134436479 4 1 1 5 0132 0132 1023 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 -1 0 1 0 -1 1 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 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.075473715628 0.338381439458 3 5 6 5 0132 2310 0132 0321 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 -1 0 1 -1 0 0 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.284727450791 1.136837102446 6 4 3 4 2310 0321 0132 3201 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 -1 1 0 0 0 0 0 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.284727450791 1.136837102446 6 6 5 4 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.792694562439 0.827712650478 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_0' : negation(d['1']), 's_2_0' : negation(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' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(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_5']), 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : negation(d['c_0011_2']), 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : negation(d['c_0011_5']), 'c_0101_2' : negation(d['c_0011_2']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_0']), '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_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0011_5']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : 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_0011_6'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_6'], 'c_1010_4' : d['c_0101_6'], 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], '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_5, c_0011_6, c_0101_0, c_0101_1, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 44 Groebner basis: [ t + 53745410595776/7*c_0101_6^43 - 28304345945760/7*c_0101_6^42 + 224779211869864/7*c_0101_6^41 - 41553229641941*c_0101_6^40 + 599306814009371/7*c_0101_6^39 - 1138630944014426/7*c_0101_6^38 + 237014760156545*c_0101_6^37 - 433270900956361*c_0101_6^36 + 4424345486056894/7*c_0101_6^35 - 889072926088542*c_0101_6^34 + 6030994443568498/7*c_0101_6^33 + 3472655692314427/7*c_0101_6^32 - 36172367881323414/7*c_0101_6^31 + 112179150367616832/7*c_0101_6^30 - 233506781069820928/7*c_0101_6^29 + 49921963415639569*c_0101_6^28 - 335991587569567948/7*c_0101_6^27 + 53633347514239960/7*c_0101_6^26 + 497276685814279349/7*c_0101_6^25 - 1046982385539002678/7*c_0101_6^24 + 1144226477521328518/7*c_0101_6^23 - 520186150031594159/7*c_0101_6^22 - 556995729046867692/7*c_0101_6^21 + 1362970911180822103/7*c_0101_6^20 - 1292280214769309704/7*c_0101_6^19 + 420581902336546953/7*c_0101_6^18 + 546302113219637494/7*c_0101_6^17 - 917269615122715529/7*c_0101_6^16 + 593757061541964650/7*c_0101_6^15 - 25915247592953813/7*c_0101_6^14 - 304030116495774734/7*c_0101_6^13 + 277459539734964469/7*c_0101_6^12 - 89290515733490755/7*c_0101_6^11 - 44491227954085921/7*c_0101_6^10 + 64640959637998955/7*c_0101_6^9 - 29093353704066297/7*c_0101_6^8 - 275476811374748/7*c_0101_6^7 + 7474882214051342/7*c_0101_6^6 - 3998606656383894/7*c_0101_6^5 + 630915408170602/7*c_0101_6^4 + 314476715038851/7*c_0101_6^3 - 205956584464143/7*c_0101_6^2 + 49357637030280/7*c_0101_6 - 4650446475595/7, c_0011_0 - 1, c_0011_2 + 3460144*c_0101_6^43 - 331900*c_0101_6^42 + 14769771*c_0101_6^41 - 12176969*c_0101_6^40 + 35357711*c_0101_6^39 - 58548999*c_0101_6^38 + 86035534*c_0101_6^37 - 163339853*c_0101_6^36 + 223151569*c_0101_6^35 - 321190487*c_0101_6^34 + 270333962*c_0101_6^33 + 308478137*c_0101_6^32 - 2176572935*c_0101_6^31 + 6331877785*c_0101_6^30 - 12558090353*c_0101_6^29 + 17769428059*c_0101_6^28 - 15244349377*c_0101_6^27 - 1456539046*c_0101_6^26 + 30217423203*c_0101_6^25 - 55076794655*c_0101_6^24 + 53377850869*c_0101_6^23 - 15812009525*c_0101_6^22 - 38369350926*c_0101_6^21 + 71089532897*c_0101_6^20 - 57301106604*c_0101_6^19 + 9073033250*c_0101_6^18 + 34876396042*c_0101_6^17 - 44630743734*c_0101_6^16 + 22934677408*c_0101_6^15 + 4444822652*c_0101_6^14 - 16405504959*c_0101_6^13 + 11799339717*c_0101_6^12 - 2206326753*c_0101_6^11 - 3016375931*c_0101_6^10 + 2899767843*c_0101_6^9 - 955792532*c_0101_6^8 - 217245385*c_0101_6^7 + 353359165*c_0101_6^6 - 140906440*c_0101_6^5 + 7063511*c_0101_6^4 + 16617582*c_0101_6^3 - 7376313*c_0101_6^2 + 1361152*c_0101_6 - 92003, c_0011_5 - 482516679840*c_0101_6^43 + 246002388376*c_0101_6^42 - 2020159014942*c_0101_6^41 + 2575831950315*c_0101_6^40 - 5364643074461*c_0101_6^39 + 10144627578834*c_0101_6^38 - 14784735278453*c_0101_6^37 + 27065905859779*c_0101_6^36 - 39392195337290*c_0101_6^35 + 55466017115037*c_0101_6^34 - 53528792743345*c_0101_6^33 - 31599338203488*c_0101_6^32 + 323890051210462*c_0101_6^31 - 1002344428730080*c_0101_6^30 + 2083233611488709*c_0101_6^29 - 3112496765375619*c_0101_6^28 + 2983390814956295*c_0101_6^27 - 456995542608806*c_0101_6^26 - 4453126065673344*c_0101_6^25 + 9333504024146731*c_0101_6^24 - 10166952407631654*c_0101_6^23 + 4581137979148233*c_0101_6^22 + 5008587763091219*c_0101_6^21 - 12146020131236434*c_0101_6^20 + 11467721977035596*c_0101_6^19 - 3687094515814444*c_0101_6^18 - 4897653606217059*c_0101_6^17 + 8158021750569938*c_0101_6^16 - 5253183190719444*c_0101_6^15 + 204430116568292*c_0101_6^14 + 2711010713507595*c_0101_6^13 - 2459718875586879*c_0101_6^12 + 784521389169704*c_0101_6^11 + 399332851331625*c_0101_6^10 - 573683250254104*c_0101_6^9 + 256705148423973*c_0101_6^8 + 3303072100412*c_0101_6^7 - 66405510874989*c_0101_6^6 + 35326470734466*c_0101_6^5 - 5514639442767*c_0101_6^4 - 2799614580460*c_0101_6^3 + 1820274903091*c_0101_6^2 - 434856962621*c_0101_6 + 40868347925, c_0011_6 - 171376886960*c_0101_6^43 + 88847890284*c_0101_6^42 - 717227995207*c_0101_6^41 + 921236004618*c_0101_6^40 - 1908796825149*c_0101_6^39 + 3617116175605*c_0101_6^38 - 5272346259288*c_0101_6^37 + 9643477247268*c_0101_6^36 - 14052544215181*c_0101_6^35 + 19777503477298*c_0101_6^34 - 19127460886493*c_0101_6^33 - 11140210687657*c_0101_6^32 + 115191373638275*c_0101_6^31 - 356887561002658*c_0101_6^30 + 742355768176336*c_0101_6^29 - 1110133102919397*c_0101_6^28 + 1065881710045086*c_0101_6^27 - 167062713774649*c_0101_6^26 - 1583543282439862*c_0101_6^25 + 3327276682209150*c_0101_6^24 - 3630987625423690*c_0101_6^23 + 1644244834285538*c_0101_6^22 + 1776866298087739*c_0101_6^21 - 4330659108455422*c_0101_6^20 + 4098471594451595*c_0101_6^19 - 1326856936779435*c_0101_6^18 - 1740299103174085*c_0101_6^17 + 2911915124293903*c_0101_6^16 - 1880668275199568*c_0101_6^15 + 78290497588989*c_0101_6^14 + 966207267987572*c_0101_6^13 - 879584111114226*c_0101_6^12 + 282003399256192*c_0101_6^11 + 141776657596779*c_0101_6^10 - 205014027352396*c_0101_6^9 + 92051082337098*c_0101_6^8 + 999159538761*c_0101_6^7 - 23716460381149*c_0101_6^6 + 12658524232620*c_0101_6^5 - 1988918448167*c_0101_6^4 - 998554249457*c_0101_6^3 + 652127398774*c_0101_6^2 - 156100661863*c_0101_6 + 14694864554, c_0101_0 + 105801391248*c_0101_6^43 - 48045456292*c_0101_6^42 + 444922758093*c_0101_6^41 - 538568815978*c_0101_6^40 + 1166850239923*c_0101_6^39 - 2167341563554*c_0101_6^38 + 3165880511417*c_0101_6^37 - 5819176716864*c_0101_6^36 + 8404962762737*c_0101_6^35 - 11878326251608*c_0101_6^34 + 11301829550052*c_0101_6^33 + 7212647147862*c_0101_6^32 - 70388189948931*c_0101_6^31 + 216356787316456*c_0101_6^30 - 447443880255853*c_0101_6^29 + 664953671461343*c_0101_6^28 - 631040472961839*c_0101_6^27 + 83476805378346*c_0101_6^26 + 967645985325536*c_0101_6^25 - 1999415345931063*c_0101_6^24 + 2155227299532550*c_0101_6^23 - 943411169339416*c_0101_6^22 - 1101807149218479*c_0101_6^21 + 2598481928347912*c_0101_6^20 - 2420961892032122*c_0101_6^19 + 748200390238685*c_0101_6^18 + 1067078555578410*c_0101_6^17 - 1734268752798106*c_0101_6^16 + 1098521690256641*c_0101_6^15 - 26345903991032*c_0101_6^14 - 580847404603301*c_0101_6^13 + 517639293530308*c_0101_6^12 - 160516813182139*c_0101_6^11 - 87213751607399*c_0101_6^10 + 121135035473986*c_0101_6^9 - 53247401220196*c_0101_6^8 - 1241800639513*c_0101_6^7 + 14062268114881*c_0101_6^6 - 7357778793229*c_0101_6^5 + 1111817657562*c_0101_6^4 + 596276053072*c_0101_6^3 - 379651657306*c_0101_6^2 + 89890774066*c_0101_6 - 8390221977, c_0101_1 + 200995138592*c_0101_6^43 - 83588841512*c_0101_6^42 + 845138392306*c_0101_6^41 - 991327996214*c_0101_6^40 + 2191211690640*c_0101_6^39 - 4046171358060*c_0101_6^38 + 5887772246831*c_0101_6^37 - 10885607632918*c_0101_6^36 + 15622460294933*c_0101_6^35 - 22114577151192*c_0101_6^34 + 20820848591670*c_0101_6^33 + 14222244106240*c_0101_6^32 - 132939914764130*c_0101_6^31 + 406245355649150*c_0101_6^30 - 836472518495042*c_0101_6^29 + 1236956216813619*c_0101_6^28 - 1162704717467173*c_0101_6^27 + 129709962704863*c_0101_6^26 + 1830378189720162*c_0101_6^25 - 3730954260331697*c_0101_6^24 + 3979920478474913*c_0101_6^23 - 1689280075185007*c_0101_6^22 - 2112218246802701*c_0101_6^21 + 4845509720066844*c_0101_6^20 - 4451704381606201*c_0101_6^19 + 1315029249138341*c_0101_6^18 + 2029791954830917*c_0101_6^17 - 3214012205979218*c_0101_6^16 + 1998175200409457*c_0101_6^15 - 12724550731772*c_0101_6^14 - 1086621120811129*c_0101_6^13 + 948470345001695*c_0101_6^12 - 283888566711716*c_0101_6^11 - 167009753152130*c_0101_6^10 + 222899187136570*c_0101_6^9 - 95745957748692*c_0101_6^8 - 3589925831492*c_0101_6^7 + 25985668016213*c_0101_6^6 - 13291897411353*c_0101_6^5 + 1911429999644*c_0101_6^4 + 1112254388983*c_0101_6^3 - 686574861032*c_0101_6^2 + 160087194449*c_0101_6 - 14736545144, c_0101_6^44 - 5/4*c_0101_6^43 + 73/16*c_0101_6^42 - 135/16*c_0101_6^41 + 241/16*c_0101_6^40 - 117/4*c_0101_6^39 + 739/16*c_0101_6^38 - 315/4*c_0101_6^37 + 985/8*c_0101_6^36 - 2805/16*c_0101_6^35 + 3135/16*c_0101_6^34 - 33/2*c_0101_6^33 - 11517/16*c_0101_6^32 + 2574*c_0101_6^31 - 93665/16*c_0101_6^30 + 154297/16*c_0101_6^29 - 21905/2*c_0101_6^28 + 44135/8*c_0101_6^27 + 8533*c_0101_6^26 - 418757/16*c_0101_6^25 + 565999/16*c_0101_6^24 - 401101/16*c_0101_6^23 - 53937/16*c_0101_6^22 + 525719/16*c_0101_6^21 - 678085/16*c_0101_6^20 + 403287/16*c_0101_6^19 + 18051/4*c_0101_6^18 - 97677/4*c_0101_6^17 + 187087/8*c_0101_6^16 - 135457/16*c_0101_6^15 - 84975/16*c_0101_6^14 + 37011/4*c_0101_6^13 - 86283/16*c_0101_6^12 + 1489/4*c_0101_6^11 + 28825/16*c_0101_6^10 - 22571/16*c_0101_6^9 + 386*c_0101_6^8 + 1143/8*c_0101_6^7 - 2799/16*c_0101_6^6 + 131/2*c_0101_6^5 - 21/8*c_0101_6^4 - 129/16*c_0101_6^3 + 59/16*c_0101_6^2 - 3/4*c_0101_6 + 1/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.270 seconds, Total memory usage: 32.09MB