Magma V2.19-8 Tue Aug 20 2013 16:14:34 on localhost [Seed = 4139215609] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s562 geometric_solution 5.00578244 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 1 2 3 4 0132 0132 0132 0132 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 1 -1 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.059887872896 1.168275993705 0 1 2 1 0132 1302 3201 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.332684881864 0.810122766448 1 0 3 4 2310 0132 3201 1023 0 0 0 0 0 0 0 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 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.059887872896 1.168275993705 2 5 5 0 2310 0132 1023 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 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.371072970723 0.199991331211 4 4 0 2 1230 3012 0132 1023 0 0 0 0 0 -1 0 1 0 0 0 0 1 0 0 -1 1 -1 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 1.488524462035 1.151934436971 5 3 3 5 3201 0132 1023 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 -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 1.031547768786 1.058697231306 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(d['1']), 's_1_0' : 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_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_3'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : negation(d['c_0101_0']), '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_4'], '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_0011_4'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0011_4'], 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0011_4']), '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_0101_1']), 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0011_4'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0011_4'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0011_4'])})} 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_3, c_0011_4, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 136100141640448427512595069792/964258303472746426339145321*c_0101_5\ ^15 - 689220038227515561006134567000/964258303472746426339145321*c_\ 0101_5^14 - 1242582532670437879961065971352/96425830347274642633914\ 5321*c_0101_5^13 + 6599991663309351067346725826280/9642583034727464\ 26339145321*c_0101_5^12 - 6868620191187114942881347374379/964258303\ 472746426339145321*c_0101_5^11 - 44177526862794987146997443002759/9\ 64258303472746426339145321*c_0101_5^10 + 32223884264542579617458334426852/964258303472746426339145321*c_0101\ _5^9 + 151470152981041238623974057490181/96425830347274642633914532\ 1*c_0101_5^8 + 58276458115748514174542665982202/9642583034727464263\ 39145321*c_0101_5^7 - 74462349418778938974309127446107/964258303472\ 746426339145321*c_0101_5^6 + 9393151521082852098204983065765/964258\ 303472746426339145321*c_0101_5^5 + 108978637267401518654231049885237/964258303472746426339145321*c_010\ 1_5^4 + 7478145535950912654663751240910/137751186210392346619877903\ *c_0101_5^3 - 11986418333656429690427429697338/96425830347274642633\ 9145321*c_0101_5^2 - 1510564929700113620274645484338/13775118621039\ 2346619877903*c_0101_5 - 1418657653713675538322747846057/9642583034\ 72746426339145321, c_0011_0 - 1, c_0011_3 - 527260384780237383342163172/964258303472746426339145321*c_01\ 01_5^15 + 2665813430209335485384288778/964258303472746426339145321*\ c_0101_5^14 + 4731000009834811073586935531/964258303472746426339145\ 321*c_0101_5^13 - 24987421899869264277448444659/9642583034727464263\ 39145321*c_0101_5^12 + 27257938930267189708713458391/96425830347274\ 6426339145321*c_0101_5^11 + 166333090722864127518752637011/96425830\ 3472746426339145321*c_0101_5^10 - 117288296545088137905398080460/96\ 4258303472746426339145321*c_0101_5^9 - 556101932411470209127388026611/964258303472746426339145321*c_0101_5\ ^8 - 257691253225153926057884016018/964258303472746426339145321*c_0\ 101_5^7 + 182902394718334642303188918771/96425830347274642633914532\ 1*c_0101_5^6 - 73281889128789615838796283903/9642583034727464263391\ 45321*c_0101_5^5 - 389502786866323649554477428281/96425830347274642\ 6339145321*c_0101_5^4 - 32334097246166652665530327400/1377511862103\ 92346619877903*c_0101_5^3 - 26434467428280653132511913957/964258303\ 472746426339145321*c_0101_5^2 + 375191141547946230411995272/1377511\ 86210392346619877903*c_0101_5 + 104968434818021022896403587/9642583\ 03472746426339145321, c_0011_4 - 1809337190215522496396044356/964258303472746426339145321*c_0\ 101_5^15 + 8501745452937607971122412010/964258303472746426339145321\ *c_0101_5^14 + 19606314084338563367223997155/9642583034727464263391\ 45321*c_0101_5^13 - 80554260033680908622808837419/96425830347274642\ 6339145321*c_0101_5^12 + 62418588414795714004319767933/964258303472\ 746426339145321*c_0101_5^11 + 609621333813685151957231652941/964258\ 303472746426339145321*c_0101_5^10 - 208083304474431013238933270337/964258303472746426339145321*c_0101_5\ ^9 - 2078705007318919651989073072466/964258303472746426339145321*c_\ 0101_5^8 - 1520575210817760815654636190327/964258303472746426339145\ 321*c_0101_5^7 + 391207420371914816835345087230/9642583034727464263\ 39145321*c_0101_5^6 - 44459928195911211579156999082/964258303472746\ 426339145321*c_0101_5^5 - 1460839807106401319252671135409/964258303\ 472746426339145321*c_0101_5^4 - 173209900201546497378690162788/1377\ 51186210392346619877903*c_0101_5^3 - 318974181059643085499194224163/964258303472746426339145321*c_0101_5\ ^2 - 2566026337841323713334392223/137751186210392346619877903*c_010\ 1_5 + 1973187662044584828861323218/964258303472746426339145321, c_0101_0 - 2330605311129236249017260880/964258303472746426339145321*c_0\ 101_5^15 + 11094820766299648463596089640/96425830347274642633914532\ 1*c_0101_5^14 + 24544540023889743380951206620/964258303472746426339\ 145321*c_0101_5^13 - 105157010044336934030004293536/964258303472746\ 426339145321*c_0101_5^12 + 87208175680031413059990054594/9642583034\ 72746426339145321*c_0101_5^11 + 778630936713108168880237284731/9642\ 58303472746426339145321*c_0101_5^10 - 315339250417025107965161178209/964258303472746426339145321*c_0101_5\ ^9 - 2648244656542985525021247000074/964258303472746426339145321*c_\ 0101_5^8 - 1799269591558377523596768900770/964258303472746426339145\ 321*c_0101_5^7 + 581283801281873207859210059016/9642583034727464263\ 39145321*c_0101_5^6 - 110769968738868509379678954691/96425830347274\ 6426339145321*c_0101_5^5 - 1864052268269452674391422777378/96425830\ 3472746426339145321*c_0101_5^4 - 207209581296445728690416596248/137\ 751186210392346619877903*c_0101_5^3 - 343558165029490788124384495588/964258303472746426339145321*c_0101_5\ ^2 - 2100405420305110979366854145/137751186210392346619877903*c_010\ 1_5 + 1355167998702233121095105546/964258303472746426339145321, c_0101_1 - 967721223137184892256093384/964258303472746426339145321*c_01\ 01_5^15 + 4557504827128966307507901984/964258303472746426339145321*\ c_0101_5^14 + 10354191095804747744218615500/96425830347274642633914\ 5321*c_0101_5^13 - 42709164047735417587294297241/964258303472746426\ 339145321*c_0101_5^12 + 34220932790366865581840666192/9642583034727\ 46426339145321*c_0101_5^11 + 321413680229342828939396836058/9642583\ 03472746426339145321*c_0101_5^10 - 107135021801529829797157803317/964258303472746426339145321*c_0101_5\ ^9 - 1089928383520973526287187897548/964258303472746426339145321*c_\ 0101_5^8 - 836678966051330571783039200540/9642583034727464263391453\ 21*c_0101_5^7 + 156340551453752742887175407209/96425830347274642633\ 9145321*c_0101_5^6 - 16036928901396831742884835257/9642583034727464\ 26339145321*c_0101_5^5 - 757546668105361214577561285456/96425830347\ 2746426339145321*c_0101_5^4 - 96095129018167879425107407593/1377511\ 86210392346619877903*c_0101_5^3 - 200719705057037343998888209000/96\ 4258303472746426339145321*c_0101_5^2 - 1720646367706966875778536990/137751186210392346619877903*c_0101_5 + 1717984433204643526346722168/964258303472746426339145321, c_0101_5^16 - 9/2*c_0101_5^15 - 47/4*c_0101_5^14 + 169/4*c_0101_5^13 - 103/4*c_0101_5^12 - 1371/4*c_0101_5^11 + 185/4*c_0101_5^10 + 2333/2*c_0101_5^9 + 1077*c_0101_5^8 - 133/4*c_0101_5^7 - 39/2*c_0101_5^6 + 3225/4*c_0101_5^5 + 838*c_0101_5^4 + 319*c_0101_5^3 + 93/2*c_0101_5^2 + 3/4*c_0101_5 - 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB