Magma V2.19-8 Tue Aug 20 2013 16:17:42 on localhost [Seed = 1579139763] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1948 geometric_solution 5.53487468 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 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 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.210429853427 0.167677692011 0 0 2 2 0132 2310 2310 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 -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 2.096031379591 2.203811210260 3 1 1 4 0132 3201 0132 0132 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 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.373451955129 0.430468104592 2 5 4 6 0132 0132 1302 0132 0 0 0 0 0 -1 0 1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.518841571661 0.635052841049 3 6 2 5 2031 2310 0132 0132 0 0 0 0 0 -1 0 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 -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.518841571661 0.635052841049 5 3 4 5 3012 0132 0132 1230 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 0 0 0 0 0 0 0 0 0 0 0 1.228475390923 0.944332377540 6 6 3 4 1230 3012 0132 3201 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 0 0 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.392176254137 0.589060612797 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_0'], '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_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : d['c_0011_4'], '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' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0011_2'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_0']), '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_0'], '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_2, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 133537912098809007003183013969449963/475676298187774147434158005334\ 245*c_0101_5^30 - 537281972080620299441950051785182566/951352596375\ 54829486831601066849*c_0101_5^28 + 2039318515673221239708295805954298442/95135259637554829486831601066\ 849*c_0101_5^26 + 7319541760781789736138423046644368998/95135259637\ 554829486831601066849*c_0101_5^24 - 163472599576436059071836509089879593409/475676298187774147434158005\ 334245*c_0101_5^22 - 9233010428669746982484629272425340038/25035594\ 641461797233376737122855*c_0101_5^20 + 686209268114684640667528854395776348961/475676298187774147434158005\ 334245*c_0101_5^18 + 273163553831858818826989365355100952137/475676\ 298187774147434158005334245*c_0101_5^16 + 167625575809051064588321573133064815372/475676298187774147434158005\ 334245*c_0101_5^14 - 1860952219905792454365933719594208085773/47567\ 6298187774147434158005334245*c_0101_5^12 - 4610252450362617573316853041365384263/47567629818777414743415800533\ 4245*c_0101_5^10 - 511136051096407927716274398465512880582/47567629\ 8187774147434158005334245*c_0101_5^8 + 802934292528409737856241996499614567067/475676298187774147434158005\ 334245*c_0101_5^6 - 120782563853158999836120954127852652942/4756762\ 98187774147434158005334245*c_0101_5^4 - 14750608880904017300886195388938070979/4756762981877741474341580053\ 34245*c_0101_5^2 + 1186016753453971519028620053051161201/4756762981\ 87774147434158005334245, c_0011_0 - 1, c_0011_2 + 439283140506616796530554252026421/47567629818777414743415800\ 5334245*c_0101_5^30 - 8833886608071014078214295211262367/4756762981\ 87774147434158005334245*c_0101_5^28 + 33477088116151295800941612748435806/4756762981877741474341580053342\ 45*c_0101_5^26 + 120634680505263226076388693210526087/4756762981877\ 74147434158005334245*c_0101_5^24 - 536840098033337787970901280050642554/475676298187774147434158005334\ 245*c_0101_5^22 - 6115831182334476464967561593736036/50071189282923\ 59446675347424571*c_0101_5^20 + 22527153003408978539954758474850513\ 48/475676298187774147434158005334245*c_0101_5^18 + 915029821714818859383115673556885507/475676298187774147434158005334\ 245*c_0101_5^16 + 559471295580026969165308197732625442/475676298187\ 774147434158005334245*c_0101_5^14 - 6117136638846549941412473752107173163/47567629818777414743415800533\ 4245*c_0101_5^12 - 60060512576969771614534038917648988/475676298187\ 774147434158005334245*c_0101_5^10 - 1685437427444932096896815790286680256/47567629818777414743415800533\ 4245*c_0101_5^8 + 2628747656234311464197191149487986488/47567629818\ 7774147434158005334245*c_0101_5^6 - 379626382358945090442652128895789169/475676298187774147434158005334\ 245*c_0101_5^4 - 9975938229949145865751723727464150/951352596375548\ 29486831601066849*c_0101_5^2 + 3447163221815111954916059849018739/4\ 75676298187774147434158005334245, c_0011_4 - 605103748265459917342537824693289/47567629818777414743415800\ 5334245*c_0101_5^30 + 12167997975585214028164526954762608/475676298\ 187774147434158005334245*c_0101_5^28 - 46103826339124984089848405762922339/4756762981877741474341580053342\ 45*c_0101_5^26 - 166211509607764892395617860243873023/4756762981877\ 74147434158005334245*c_0101_5^24 + 739355351847871386026339086555359731/475676298187774147434158005334\ 245*c_0101_5^22 + 8430941046520714189766740852984096/50071189282923\ 59446675347424571*c_0101_5^20 - 31025148594251401512390314030320009\ 12/475676298187774147434158005334245*c_0101_5^18 - 1262881758049714867271846459161830428/47567629818777414743415800533\ 4245*c_0101_5^16 - 771202660032312864584897256200096068/47567629818\ 7774147434158005334245*c_0101_5^14 + 8424744812564646388169292439535821082/47567629818777414743415800533\ 4245*c_0101_5^12 + 89436518201392787560957490193391742/475676298187\ 774147434158005334245*c_0101_5^10 + 2321386309284383303666106594319692599/47567629818777414743415800533\ 4245*c_0101_5^8 - 3616888486947753277779480693408215157/47567629818\ 7774147434158005334245*c_0101_5^6 + 519053229926402594301541792193309836/475676298187774147434158005334\ 245*c_0101_5^4 + 13814516198611745134311397829543543/95135259637554\ 829486831601066849*c_0101_5^2 - 4972829486218886960030653876627236/\ 475676298187774147434158005334245, c_0011_6 + 43920112246581681440112883810899/475676298187774147434158005\ 334245*c_0101_5^30 - 880178061503836583195939360286358/475676298187\ 774147434158005334245*c_0101_5^28 + 3286320746663842320419695818770209/47567629818777414743415800533424\ 5*c_0101_5^26 + 12283641458904651228104236802165108/475676298187774\ 147434158005334245*c_0101_5^24 - 5280187071458388877889297852410126\ 1/475676298187774147434158005334245*c_0101_5^22 - 649217204481517439332072081392764/5007118928292359446675347424571*c\ _0101_5^20 + 220633038447790168450503486960065572/47567629818777414\ 7434158005334245*c_0101_5^18 + 106419176455536188094668804633337648\ /475676298187774147434158005334245*c_0101_5^16 + 64591571786309925935056993517199633/4756762981877741474341580053342\ 45*c_0101_5^14 - 606580416966231887266748778852726437/4756762981877\ 74147434158005334245*c_0101_5^12 - 47423673038158616940268478174887552/4756762981877741474341580053342\ 45*c_0101_5^10 - 175412451603934415675312307741723004/4756762981877\ 74147434158005334245*c_0101_5^8 + 250798788711501296489425455220124\ 857/475676298187774147434158005334245*c_0101_5^6 - 21963117346468415943665564288433551/4756762981877741474341580053342\ 45*c_0101_5^4 - 1000134207900075477671844048548070/9513525963755482\ 9486831601066849*c_0101_5^2 - 49277330146734620916581927829569/4756\ 76298187774147434158005334245, c_0101_0 + 2375932862321507995870316475900613/4756762981877741474341580\ 05334245*c_0101_5^31 - 47786778784674071911567827696868943/47567629\ 8187774147434158005334245*c_0101_5^29 + 181213090090616245539187230316913704/475676298187774147434158005334\ 245*c_0101_5^27 + 651911980098064375546945558120545558/475676298187\ 774147434158005334245*c_0101_5^25 - 2905580060992695044262251642797888738/47567629818777414743415800533\ 4245*c_0101_5^23 - 164918263259802369890741406880386239/25035594641\ 461797233376737122855*c_0101_5^21 + 2438728979402592729775842801168308007/95135259637554829486831601066\ 849*c_0101_5^19 + 4910939378768094790230211907658779394/47567629818\ 7774147434158005334245*c_0101_5^17 + 3011704735531063130850391932919459134/47567629818777414743415800533\ 4245*c_0101_5^15 - 33092781107368495492016930157895843861/475676298\ 187774147434158005334245*c_0101_5^13 - 224149973629443401576518392865934311/475676298187774147434158005334\ 245*c_0101_5^11 - 1823335770608194752431970522061221844/95135259637\ 554829486831601066849*c_0101_5^9 + 14242707444208689053241992420986382988/4756762981877741474341580053\ 34245*c_0101_5^7 - 2092766843892061372721116394146269962/4756762981\ 87774147434158005334245*c_0101_5^5 - 263587143363961221119179283076063932/475676298187774147434158005334\ 245*c_0101_5^3 + 20236470191342439995936502273686059/47567629818777\ 4147434158005334245*c_0101_5, c_0101_1 + 181601924044881822317175112288077/47567629818777414743415800\ 5334245*c_0101_5^30 - 730408318880052298372007118161912/95135259637\ 554829486831601066849*c_0101_5^28 + 2768210953868336801119942094522975/95135259637554829486831601066849\ *c_0101_5^26 + 9972763953446627308910020372152108/95135259637554829\ 486831601066849*c_0101_5^24 - 221943117263283170085329600979056926/\ 475676298187774147434158005334245*c_0101_5^22 - 12635816578652255903939207256619347/2503559464146179723337673712285\ 5*c_0101_5^20 + 931249941004410558362172360635011979/47567629818777\ 4147434158005334245*c_0101_5^18 + 377823288089128942691706560890166\ 518/475676298187774147434158005334245*c_0101_5^16 + 231662611302074845751533594228329338/475676298187774147434158005334\ 245*c_0101_5^14 - 2528978788128846020977377108428693367/47567629818\ 7774147434158005334245*c_0101_5^12 - 23922255982457350144206966879622132/4756762981877741474341580053342\ 45*c_0101_5^10 - 697535435981186237891901769098551708/4756762981877\ 74147434158005334245*c_0101_5^8 + 108777431528063469043384663701176\ 5233/475676298187774147434158005334245*c_0101_5^6 - 157517979762133529693129150866168303/475676298187774147434158005334\ 245*c_0101_5^4 - 20577896811988481170009742240658331/47567629818777\ 4147434158005334245*c_0101_5^2 + 1140679791165044108211807442679694\ /475676298187774147434158005334245, c_0101_5^32 - 20*c_0101_5^30 + 74*c_0101_5^28 + 283*c_0101_5^26 - 1192*c_0101_5^24 - 1457*c_0101_5^22 + 4984*c_0101_5^20 + 2647*c_0101_5^18 + 1498*c_0101_5^16 - 13787*c_0101_5^14 - 1667*c_0101_5^12 - 3840*c_0101_5^10 + 5563*c_0101_5^8 - 202*c_0101_5^6 - 213*c_0101_5^4 - 4*c_0101_5^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB