Magma V2.19-8 Tue Aug 20 2013 16:17:33 on localhost [Seed = 1410713736] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1789 geometric_solution 5.46433070 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.380556774282 1.350146199389 0 3 2 4 0132 0132 0132 0132 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 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.107449721987 0.998939080902 3 0 4 1 0132 0132 3201 0132 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 0 0 0 -1 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.107449721987 0.998939080902 2 1 5 5 0132 0132 0132 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 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.331770259745 0.623446657167 2 4 1 4 2310 1302 0132 2031 0 0 0 0 0 0 0 0 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 0 0 0 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.421185360503 0.970665693953 3 6 6 3 3201 0132 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 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.334665270783 0.697616814199 5 5 6 6 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 2.323894886981 0.440094455989 ==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' : 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' : 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' : d['c_0101_2'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_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' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_5']), '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 125914380223793994859162193813771997597/883551515393451677688496538\ 8194481*c_0101_6^17 - 162847047405645202949599897606084062687/88355\ 15153934516776884965388194481*c_0101_6^16 - 1185616914836930746684290914512484392552/88355151539345167768849653\ 88194481*c_0101_6^15 + 1437131584143069562015669078931431160109/883\ 5515153934516776884965388194481*c_0101_6^14 + 2917790832278858502250999215142132064666/88355151539345167768849653\ 88194481*c_0101_6^13 - 1524966935926786414168272055264551127551/883\ 5515153934516776884965388194481*c_0101_6^12 - 7359455061475211047691935803615385647725/88355151539345167768849653\ 88194481*c_0101_6^11 + 2887777466123523221020358244992935234491/883\ 5515153934516776884965388194481*c_0101_6^10 + 9669912855412863371631126798478553867539/88355151539345167768849653\ 88194481*c_0101_6^9 - 5637630475231437809794835984566719378712/8835\ 515153934516776884965388194481*c_0101_6^8 - 4668317401850275035564898170097890717989/88355151539345167768849653\ 88194481*c_0101_6^7 + 3247295276199216468998081811382021870811/8835\ 515153934516776884965388194481*c_0101_6^6 + 299762178528700763230678784364864888716/883551515393451677688496538\ 8194481*c_0101_6^5 - 131529129881741244561532750437355445067/883551\ 5153934516776884965388194481*c_0101_6^4 + 149016137482106416016979651112153708346/883551515393451677688496538\ 8194481*c_0101_6^3 - 80297567867282981047449292649275412052/8835515\ 153934516776884965388194481*c_0101_6^2 - 8127404972129395276061377859654253924/88355151539345167768849653881\ 94481*c_0101_6 + 991898121493957009480359490083669324/8835515153934\ 516776884965388194481, c_0011_0 - 1, c_0011_4 + 188563670037539385501606323790256767/88355151539345167768849\ 65388194481*c_0101_6^17 - 269167425366576840868067575969157805/8835\ 515153934516776884965388194481*c_0101_6^16 - 1693455390080894947924931929568526455/88355151539345167768849653881\ 94481*c_0101_6^15 + 2309913837773167067897158279994470396/883551515\ 3934516776884965388194481*c_0101_6^14 + 3667866354014409200662152626177938277/88355151539345167768849653881\ 94481*c_0101_6^13 - 2205503319553015672428091129901540668/883551515\ 3934516776884965388194481*c_0101_6^12 - 10000231522211148587922957060795892687/8835515153934516776884965388\ 194481*c_0101_6^11 + 5273199614101713900759263633824060356/88355151\ 53934516776884965388194481*c_0101_6^10 + 11542916714935218552440792972149168904/8835515153934516776884965388\ 194481*c_0101_6^9 - 8654434379414279615714832841476681329/883551515\ 3934516776884965388194481*c_0101_6^8 - 3788940198315982014826080048270185251/88355151539345167768849653881\ 94481*c_0101_6^7 + 3664764490301179128437435090088479774/8835515153\ 934516776884965388194481*c_0101_6^6 - 375487501502499908254310825043816582/883551515393451677688496538819\ 4481*c_0101_6^5 + 165575746457779803985998894423394829/883551515393\ 4516776884965388194481*c_0101_6^4 + 160318444315822029358192298015603495/883551515393451677688496538819\ 4481*c_0101_6^3 - 57182502694992280018027609324305863/8835515153934\ 516776884965388194481*c_0101_6^2 + 24062091821390971754286306316358435/8835515153934516776884965388194\ 481*c_0101_6 - 329518483372155115280555175293812/883551515393451677\ 6884965388194481, c_0011_5 + 308870811494853362191058674997736/52907276370865369921466858\ 611943*c_0101_6^17 - 652493444979166899556825888867584/529072763708\ 65369921466858611943*c_0101_6^16 - 2614432008609888029656975626973556/52907276370865369921466858611943\ *c_0101_6^15 + 5928148575238870074279116410346932/52907276370865369\ 921466858611943*c_0101_6^14 + 4582962035479509765733437753931520/52\ 907276370865369921466858611943*c_0101_6^13 - 9735970870534148242649353081212179/52907276370865369921466858611943\ *c_0101_6^12 - 15765638989308350041555397209837645/5290727637086536\ 9921466858611943*c_0101_6^11 + 21485062346582037415139693280077635/\ 52907276370865369921466858611943*c_0101_6^10 + 19667601180688035845682369376182787/5290727637086536992146685861194\ 3*c_0101_6^9 - 32708082914446035546695869062867999/5290727637086536\ 9921466858611943*c_0101_6^8 - 1902917625733778673175719769494765/52\ 907276370865369921466858611943*c_0101_6^7 + 16681414355869037199605974320971618/5290727637086536992146685861194\ 3*c_0101_6^6 - 4596936731045534577354022122546036/52907276370865369\ 921466858611943*c_0101_6^5 - 420173021647555229544201372527450/5290\ 7276370865369921466858611943*c_0101_6^4 + 115121060402053963136906448547380/52907276370865369921466858611943*\ c_0101_6^3 - 457273791715634431755471871373038/52907276370865369921\ 466858611943*c_0101_6^2 + 102077494747240402489134299825512/5290727\ 6370865369921466858611943*c_0101_6 - 28733513074460015049883554625027/52907276370865369921466858611943, c_0101_0 + 48573423120715879680564698146402629/883551515393451677688496\ 5388194481*c_0101_6^17 - 151159623269557641785901159982009344/88355\ 15153934516776884965388194481*c_0101_6^16 - 307993070233642235144046398464118479/883551515393451677688496538819\ 4481*c_0101_6^15 + 1301525279375547146958787522943277275/8835515153\ 934516776884965388194481*c_0101_6^14 - 129416018131475877467069013294396467/883551515393451677688496538819\ 4481*c_0101_6^13 - 1941283566624440336241363108773272947/8835515153\ 934516776884965388194481*c_0101_6^12 - 1641473709544125597246755140706761738/88355151539345167768849653881\ 94481*c_0101_6^11 + 5566840930844989987608806861794222119/883551515\ 3934516776884965388194481*c_0101_6^10 + 284544717719616597458064669125177986/883551515393451677688496538819\ 4481*c_0101_6^9 - 6467876174054883069594584386895848370/88355151539\ 34516776884965388194481*c_0101_6^8 + 2602885243714096283629299147720552271/88355151539345167768849653881\ 94481*c_0101_6^7 + 2115257760494502148104033553578391282/8835515153\ 934516776884965388194481*c_0101_6^6 - 1225556851544673764627652542180970602/88355151539345167768849653881\ 94481*c_0101_6^5 - 20963768634089609808233893414402411/883551515393\ 4516776884965388194481*c_0101_6^4 + 51332483255674538886205471943093310/8835515153934516776884965388194\ 481*c_0101_6^3 - 89371556775996083685610784690790586/88355151539345\ 16776884965388194481*c_0101_6^2 + 195198131369117878712722831852473\ 14/8835515153934516776884965388194481*c_0101_6 - 4412909027844960173020742983637100/88355151539345167768849653881944\ 81, c_0101_1 + 866406427500126623624052161227803/52907276370865369921466858\ 611943*c_0101_6^17 - 1267396530883425124224111216201249/52907276370\ 865369921466858611943*c_0101_6^16 - 7923422933673837438793774683010598/52907276370865369921466858611943\ *c_0101_6^15 + 11194861208470523219718938521814137/5290727637086536\ 9921466858611943*c_0101_6^14 + 18031396599452245710414173633942175/\ 52907276370865369921466858611943*c_0101_6^13 - 13251959091154743794403166530102985/5290727637086536992146685861194\ 3*c_0101_6^12 - 48266221300454694475932117128918183/529072763708653\ 69921466858611943*c_0101_6^11 + 27841134612330227513442947873218164\ /52907276370865369921466858611943*c_0101_6^10 + 61142368043246266713561174467807447/5290727637086536992146685861194\ 3*c_0101_6^9 - 48240847159727158995386451012426858/5290727637086536\ 9921466858611943*c_0101_6^8 - 23778862504953999402230887498459403/5\ 2907276370865369921466858611943*c_0101_6^7 + 25383213953067717264131122118577006/5290727637086536992146685861194\ 3*c_0101_6^6 - 1466163616161969161664143537283686/52907276370865369\ 921466858611943*c_0101_6^5 - 688406270835437240538979597382621/5290\ 7276370865369921466858611943*c_0101_6^4 + 767757548867554564896853017269865/52907276370865369921466858611943*\ c_0101_6^3 - 547880040297646675555903531090783/52907276370865369921\ 466858611943*c_0101_6^2 + 101918993392574216506644014168542/5290727\ 6370865369921466858611943*c_0101_6 + 15150194206936535839071988976976/52907276370865369921466858611943, c_0101_2 + 221882271426604546200396337713021/52907276370865369921466858\ 611943*c_0101_6^17 - 58474291281734934929840645012445/5290727637086\ 5369921466858611943*c_0101_6^16 - 232784356210434027864842961829207\ 2/52907276370865369921466858611943*c_0101_6^15 + 347690766196753115232689070848970/52907276370865369921466858611943*\ c_0101_6^14 + 7199075886600441560754831115133075/529072763708653699\ 21466858611943*c_0101_6^13 + 2849917288821188073063094638770117/529\ 07276370865369921466858611943*c_0101_6^12 - 14303864737263979357781671754152703/5290727637086536992146685861194\ 3*c_0101_6^11 - 7809449043449536507132023230533844/5290727637086536\ 9921466858611943*c_0101_6^10 + 19257383198189745785579173493081021/\ 52907276370865369921466858611943*c_0101_6^9 + 6739143866948654347410072957344654/52907276370865369921466858611943\ *c_0101_6^8 - 14890923859232770723774278815042635/52907276370865369\ 921466858611943*c_0101_6^7 - 2303357540625991664190002910716004/529\ 07276370865369921466858611943*c_0101_6^6 + 4391725276510012833455974096998933/52907276370865369921466858611943\ *c_0101_6^5 - 17808996909377188701463409475487/52907276370865369921\ 466858611943*c_0101_6^4 + 482046920174151028423415838188560/5290727\ 6370865369921466858611943*c_0101_6^3 + 175901378932527188514231027901097/52907276370865369921466858611943*\ c_0101_6^2 - 125186290313988474589470620426005/52907276370865369921\ 466858611943*c_0101_6 + 35158343372757058676068049378577/5290727637\ 0865369921466858611943, c_0101_6^18 - 18/11*c_0101_6^17 - 883/99*c_0101_6^16 + 1444/99*c_0101_6^15 + 1855/99*c_0101_6^14 - 215/11*c_0101_6^13 - 5237/99*c_0101_6^12 + 4208/99*c_0101_6^11 + 6500/99*c_0101_6^10 - 775/11*c_0101_6^9 - 1700/99*c_0101_6^8 + 110/3*c_0101_6^7 - 893/99*c_0101_6^6 - 59/99*c_0101_6^5 + 61/33*c_0101_6^4 - 109/99*c_0101_6^3 + 2/9*c_0101_6^2 - 1/99 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB