Magma V2.19-8 Tue Aug 20 2013 16:14:51 on localhost [Seed = 2934911682] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s829 geometric_solution 5.39971447 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 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 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.497660193255 0.257504371224 2 0 3 0 0132 2310 0132 0132 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 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.917304341559 0.562640712435 1 4 3 5 0132 0132 3012 0132 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 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.935053721990 0.933917419744 5 2 4 1 3201 1230 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 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.935053721990 0.933917419744 4 2 3 4 3012 0132 1023 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 0.503249434901 0.795231902099 5 5 2 3 1302 2031 0132 2310 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 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.560549601740 0.831886708351 ==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' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : 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_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' : d['1'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_5']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0011_1'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_5, c_0101_0, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 11827637107232445041142272873988838164987375652884420179/3071395265\ 655461214569362066155969163022782559448817478*c_0101_3^22 + 15810080472351632342991373830184908184574584675391023658/1535697632\ 827730607284681033077984581511391279724408739*c_0101_3^21 - 270812862780829583385153669085433197227568490225871294275/307139526\ 5655461214569362066155969163022782559448817478*c_0101_3^20 + 1338894591612688436687653928253246599976481109828289051386/15356976\ 32827730607284681033077984581511391279724408739*c_0101_3^19 - 771376393971073387423341953533992086277259741252603376685/153569763\ 2827730607284681033077984581511391279724408739*c_0101_3^18 + 12236716324173068454628871274842420433848427243033123808601/3071395\ 265655461214569362066155969163022782559448817478*c_0101_3^17 + 33194167852738448543209416940851985675796468644293048500778/1535697\ 632827730607284681033077984581511391279724408739*c_0101_3^16 - 108660041601746070538373883099911506648058954487047767340977/307139\ 5265655461214569362066155969163022782559448817478*c_0101_3^15 - 203041974623934901555421897879073458129073507133433762096461/307139\ 5265655461214569362066155969163022782559448817478*c_0101_3^14 + 323397957693423776497134679630704050079794910379722196560753/307139\ 5265655461214569362066155969163022782559448817478*c_0101_3^13 + 128925246986073744537786720896847512007568817852710930325512/153569\ 7632827730607284681033077984581511391279724408739*c_0101_3^12 - 172108397160598986830881442271744612525480411838647452502510/153569\ 7632827730607284681033077984581511391279724408739*c_0101_3^11 - 76792580773026092327562502009877957035952723493024353915007/1535697\ 632827730607284681033077984581511391279724408739*c_0101_3^10 + 43046096060658887297538024852209002723826749716312076741902/1535697\ 632827730607284681033077984581511391279724408739*c_0101_3^9 + 2692826312737436338670281043311589675052056564290400233995/15356976\ 32827730607284681033077984581511391279724408739*c_0101_3^8 + 44312632166824612864064907015100652085275662546094270307983/3071395\ 265655461214569362066155969163022782559448817478*c_0101_3^7 + 44387958586480853947533378262076383891189878047649837456781/3071395\ 265655461214569362066155969163022782559448817478*c_0101_3^6 - 11580606954946020157411756619088428202231902754488708025273/3071395\ 265655461214569362066155969163022782559448817478*c_0101_3^5 - 14242197417471112252542538131995599230717619867974333110669/3071395\ 265655461214569362066155969163022782559448817478*c_0101_3^4 - 1623774494006268805558066969320304424932475388598923936632/15356976\ 32827730607284681033077984581511391279724408739*c_0101_3^3 - 1278185889760912838432973370953674811851847879268235549065/15356976\ 32827730607284681033077984581511391279724408739*c_0101_3^2 + 301597287472343633990724432507021395011617014376172549613/307139526\ 5655461214569362066155969163022782559448817478*c_0101_3 + 419960062680178045036686693688815705789054409137777912614/153569763\ 2827730607284681033077984581511391279724408739, c_0011_0 - 1, c_0011_1 - 3807215521621334353862640951644755223645646914242328/9033515\ 4872219447487334178416352034206552428219082867*c_0101_3^22 - 9219894568841743462237078312663676398638755975722116/90335154872219\ 447487334178416352034206552428219082867*c_0101_3^21 + 89292317788299961215619448029482429354670784228001644/9033515487221\ 9447487334178416352034206552428219082867*c_0101_3^20 - 884766789128123863187252641611550215195763008167051388/903351548722\ 19447487334178416352034206552428219082867*c_0101_3^19 + 724478952686234817732251550141702805677313013861927471/903351548722\ 19447487334178416352034206552428219082867*c_0101_3^18 - 4171389448253822711970581089269084139031430743030459268/90335154872\ 219447487334178416352034206552428219082867*c_0101_3^17 - 20247524410015410871446436517514008496867652027776228324/9033515487\ 2219447487334178416352034206552428219082867*c_0101_3^16 + 39842712162951660353321893774316662059752663283760405540/9033515487\ 2219447487334178416352034206552428219082867*c_0101_3^15 + 54409047538795721036117909957569494121100378964321247282/9033515487\ 2219447487334178416352034206552428219082867*c_0101_3^14 - 114765414531986064526892789847056027015296726370344166896/903351548\ 72219447487334178416352034206552428219082867*c_0101_3^13 - 52472114176563166481033601328952209361889050850353400948/9033515487\ 2219447487334178416352034206552428219082867*c_0101_3^12 + 114974001135215995558336644749708808211186534751181979780/903351548\ 72219447487334178416352034206552428219082867*c_0101_3^11 + 21767351112327231078748890608893795828399401950169061049/9033515487\ 2219447487334178416352034206552428219082867*c_0101_3^10 - 23277907117357384839249397319901915598965020980791229512/9033515487\ 2219447487334178416352034206552428219082867*c_0101_3^9 + 711164674454697220105462342305195362536034559427862832/903351548722\ 19447487334178416352034206552428219082867*c_0101_3^8 - 17251623048395938705126465611448045792426626925538802064/9033515487\ 2219447487334178416352034206552428219082867*c_0101_3^7 - 8880811740844162495921255575257953213792306167822606742/90335154872\ 219447487334178416352034206552428219082867*c_0101_3^6 + 4697180875855203670487528190618585630320857886577080176/90335154872\ 219447487334178416352034206552428219082867*c_0101_3^5 + 3474032477097336038058298197105747947395079391833747916/90335154872\ 219447487334178416352034206552428219082867*c_0101_3^4 + 862297827174111780934356962944993886244802021998351464/903351548722\ 19447487334178416352034206552428219082867*c_0101_3^3 + 818921675564334122702221475927018559627596037852552183/903351548722\ 19447487334178416352034206552428219082867*c_0101_3^2 - 284082279280039259524630377205263872752336773009963408/903351548722\ 19447487334178416352034206552428219082867*c_0101_3 - 175520896509209048677126715876950996540872262429613439/903351548722\ 19447487334178416352034206552428219082867, c_0011_3 + 3875722847649876750216350854829938809030121603854577/9033515\ 4872219447487334178416352034206552428219082867*c_0101_3^22 + 9751990832919310491196551214677449281219922470847495/90335154872219\ 447487334178416352034206552428219082867*c_0101_3^21 - 89380029199701021741849034375953284178974531978915497/9033515487221\ 9447487334178416352034206552428219082867*c_0101_3^20 + 893944325782937436050468636464713755908515929095156021/903351548722\ 19447487334178416352034206552428219082867*c_0101_3^19 - 666142303688622649614690187139984190611853226476786765/903351548722\ 19447487334178416352034206552428219082867*c_0101_3^18 + 4317320745657567004630416888103075741758039790182482254/90335154872\ 219447487334178416352034206552428219082867*c_0101_3^17 + 20958631415949957155850122734028269998783878978611251031/9033515487\ 2219447487334178416352034206552428219082867*c_0101_3^16 - 37904112782076348269944328065876775051369835409342749756/9033515487\ 2219447487334178416352034206552428219082867*c_0101_3^15 - 55540941282182129536174298774529948722517187402705392560/9033515487\ 2219447487334178416352034206552428219082867*c_0101_3^14 + 107053074722113359361178612631109791792282714275353796891/903351548\ 72219447487334178416352034206552428219082867*c_0101_3^13 + 54101450295884458950312050870531552886638190306446004295/9033515487\ 2219447487334178416352034206552428219082867*c_0101_3^12 - 99636830432189463704142220550373062941293619794784982203/9033515487\ 2219447487334178416352034206552428219082867*c_0101_3^11 - 20235711136534110281881817733450450151219957201925069973/9033515487\ 2219447487334178416352034206552428219082867*c_0101_3^10 + 12409978512779914201200622883407239351155360863658961145/9033515487\ 2219447487334178416352034206552428219082867*c_0101_3^9 - 5161381317710737664059396646379884723067125270476406582/90335154872\ 219447487334178416352034206552428219082867*c_0101_3^8 + 16733008818141943256572458191702636062861531123301092477/9033515487\ 2219447487334178416352034206552428219082867*c_0101_3^7 + 9307898478977235434363042224011664028677273905806670451/90335154872\ 219447487334178416352034206552428219082867*c_0101_3^6 - 2537282227242557223061623563120566166669018085630803642/90335154872\ 219447487334178416352034206552428219082867*c_0101_3^5 - 1826706242788140311527465603356423165021221343653420340/90335154872\ 219447487334178416352034206552428219082867*c_0101_3^4 - 885677791293997946033300891540183544418021175630464890/903351548722\ 19447487334178416352034206552428219082867*c_0101_3^3 - 943912522889683225033445926302935143274937105898835364/903351548722\ 19447487334178416352034206552428219082867*c_0101_3^2 + 191459606049417614122645523937437223172763222923455899/903351548722\ 19447487334178416352034206552428219082867*c_0101_3 + 66879708139805398255974806631525404052063004184687207/9033515487221\ 9447487334178416352034206552428219082867, c_0011_5 - 4636115301740947524494431144021176735146089792477101/9033515\ 4872219447487334178416352034206552428219082867*c_0101_3^22 - 11064638747918320582030827323878986048097232982334062/9033515487221\ 9447487334178416352034206552428219082867*c_0101_3^21 + 108800074402575296132919419430996132783612803291132039/903351548722\ 19447487334178416352034206552428219082867*c_0101_3^20 - 1082053991300311041374273175891568835843724291521256928/90335154872\ 219447487334178416352034206552428219082867*c_0101_3^19 + 927391028357529055942709935532059354816499118957499712/903351548722\ 19447487334178416352034206552428219082867*c_0101_3^18 - 5185385393487213456889515523735605623130253031624337087/90335154872\ 219447487334178416352034206552428219082867*c_0101_3^17 - 24424538112018408705475098445093093374260755781434450138/9033515487\ 2219447487334178416352034206552428219082867*c_0101_3^16 + 49000387370499412139388683369297497916230155173870317750/9033515487\ 2219447487334178416352034206552428219082867*c_0101_3^15 + 62808954546431630870742869958184159162300548343954268638/9033515487\ 2219447487334178416352034206552428219082867*c_0101_3^14 - 139130130800141329295263380194491753203530469207158804036/903351548\ 72219447487334178416352034206552428219082867*c_0101_3^13 - 54342804198263882679531151870996539797391701290044685601/9033515487\ 2219447487334178416352034206552428219082867*c_0101_3^12 + 134975536939499965426552611019669510491944254199667589438/903351548\ 72219447487334178416352034206552428219082867*c_0101_3^11 + 16107206638055513823277075113775630848025891515846805281/9033515487\ 2219447487334178416352034206552428219082867*c_0101_3^10 - 24305707593544942336490611691274777589218499943314343433/9033515487\ 2219447487334178416352034206552428219082867*c_0101_3^9 + 6379792966072229932443196747437170241401102132118579965/90335154872\ 219447487334178416352034206552428219082867*c_0101_3^8 - 20180261073328466379376035903928172896425381392166681767/9033515487\ 2219447487334178416352034206552428219082867*c_0101_3^7 - 10970193850940528313890255902687273483533335148113334711/9033515487\ 2219447487334178416352034206552428219082867*c_0101_3^6 + 4772295740710098393736707677010255429200767540602152376/90335154872\ 219447487334178416352034206552428219082867*c_0101_3^5 + 3005821469866327508880149329585598311820389037771902312/90335154872\ 219447487334178416352034206552428219082867*c_0101_3^4 + 815282216041249948405748509132265846469197522822516568/903351548722\ 19447487334178416352034206552428219082867*c_0101_3^3 + 943737490108187306090523588407090966674017586204262139/903351548722\ 19447487334178416352034206552428219082867*c_0101_3^2 - 279143232118614283130312303911498219891280235875338297/903351548722\ 19447487334178416352034206552428219082867*c_0101_3 - 142244376854376778628622715103080004152476518285191622/903351548722\ 19447487334178416352034206552428219082867, c_0101_0 + 1464821129833394632025139730051732699303811386010224/9033515\ 4872219447487334178416352034206552428219082867*c_0101_3^22 + 3520714266291032948798799189150425425829049774832994/90335154872219\ 447487334178416352034206552428219082867*c_0101_3^21 - 33952129613791550191058627110540499604178003492472374/9033515487221\ 9447487334178416352034206552428219082867*c_0101_3^20 + 342632104617233796694466009685197811015222981506649314/903351548722\ 19447487334178416352034206552428219082867*c_0101_3^19 - 294364395006698199532478016909173131599691710799430880/903351548722\ 19447487334178416352034206552428219082867*c_0101_3^18 + 1709178525091169876788790513445250311187918991631084702/90335154872\ 219447487334178416352034206552428219082867*c_0101_3^17 + 7771275174451648096535224092076237440736707071481055910/90335154872\ 219447487334178416352034206552428219082867*c_0101_3^16 - 14960318738610591581166555196775316774000416245453984800/9033515487\ 2219447487334178416352034206552428219082867*c_0101_3^15 - 17651783742978473220142225786150656529915959255920567534/9033515487\ 2219447487334178416352034206552428219082867*c_0101_3^14 + 42534805384197292687209467540224069226918354210051789016/9033515487\ 2219447487334178416352034206552428219082867*c_0101_3^13 + 10500810106995850772581180603156778150983037151280013856/9033515487\ 2219447487334178416352034206552428219082867*c_0101_3^12 - 38967164822980010897145362869769552143827512961632647092/9033515487\ 2219447487334178416352034206552428219082867*c_0101_3^11 + 4643171871264480300377624875100021448043843336504666058/90335154872\ 219447487334178416352034206552428219082867*c_0101_3^10 + 7020378502915367825357392752602980865314594762264500223/90335154872\ 219447487334178416352034206552428219082867*c_0101_3^9 - 5210192899866981993097654923057626511202822090690394230/90335154872\ 219447487334178416352034206552428219082867*c_0101_3^8 + 2931670552985753899594962503547343272307516482948825070/90335154872\ 219447487334178416352034206552428219082867*c_0101_3^7 + 392781604928626329557827772816807624707436662486631296/903351548722\ 19447487334178416352034206552428219082867*c_0101_3^6 - 688396472829705865336101539810818750620306534262417625/903351548722\ 19447487334178416352034206552428219082867*c_0101_3^5 + 39489863197198423911444203121081809790120393932707104/9033515487221\ 9447487334178416352034206552428219082867*c_0101_3^4 + 320276414555900000982980473107920286465918534907793686/903351548722\ 19447487334178416352034206552428219082867*c_0101_3^3 + 43516388265600222467504491405851640906974929284066042/9033515487221\ 9447487334178416352034206552428219082867*c_0101_3^2 + 148470980354394728452770064735245828519309483311328477/903351548722\ 19447487334178416352034206552428219082867*c_0101_3 - 18945786049526034724858395548463008755489629557141468/9033515487221\ 9447487334178416352034206552428219082867, c_0101_3^23 + 3*c_0101_3^22 - 22*c_0101_3^21 + 219*c_0101_3^20 - 57*c_0101_3^19 + 997*c_0101_3^18 + 5951*c_0101_3^17 - 7332*c_0101_3^16 - 20018*c_0101_3^15 + 21593*c_0101_3^14 + 30202*c_0101_3^13 - 21509*c_0101_3^12 - 21684*c_0101_3^11 + 2504*c_0101_3^10 + 2378*c_0101_3^9 + 3983*c_0101_3^8 + 4894*c_0101_3^7 + 307*c_0101_3^6 - 1371*c_0101_3^5 - 636*c_0101_3^4 - 321*c_0101_3^3 - 53*c_0101_3^2 + 67*c_0101_3 + 17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB