Magma V2.19-8 Tue Aug 20 2013 16:17:22 on localhost [Seed = 139039940] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1596 geometric_solution 5.36290032 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 0 1 -1 -1 0 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 -1 0 0 1 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.636700068578 1.323754298489 0 3 2 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 -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 1 0 -1 0 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.088359462879 0.903714456677 3 0 4 1 3201 0132 3201 0132 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 0 0 0 -1 0 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.088359462879 0.903714456677 5 1 5 2 0132 0132 2310 2310 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 0 -1 0 0 1 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.940222682369 1.057479814889 2 4 1 4 2310 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.107166391501 1.096066161042 3 3 6 6 0132 3201 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 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.356626528685 0.207035542940 5 6 5 6 2310 2310 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 -1 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 -1.503705418078 0.404841686867 ==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_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_6']), 'c_1100_5' : negation(d['c_0011_6']), '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' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_0']), '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' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : 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' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_2'], '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_6, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 12874166851857304181940704137/5915598978871637144463330683*c_0101_3\ ^20 - 53492919618163067999541925337/5915598978871637144463330683*c_\ 0101_3^19 + 325981002781752644655786755804/591559897887163714446333\ 0683*c_0101_3^18 + 693139181168182018361640536848/59155989788716371\ 44463330683*c_0101_3^17 - 2620804226936198037261334306382/591559897\ 8871637144463330683*c_0101_3^16 - 2746639118638044624103817398988/5\ 915598978871637144463330683*c_0101_3^15 + 9259608482314818271715667044161/5915598978871637144463330683*c_0101\ _3^14 + 2463172366138303114041087531987/591559897887163714446333068\ 3*c_0101_3^13 - 17177089704030412423693052585731/591559897887163714\ 4463330683*c_0101_3^12 + 6854409270786975050350031389407/5915598978\ 871637144463330683*c_0101_3^11 + 17878666571868760058985688826389/5\ 915598978871637144463330683*c_0101_3^10 - 18184450007557862448426432944066/5915598978871637144463330683*c_010\ 1_3^9 - 8678033443911551065861648969193/591559897887163714446333068\ 3*c_0101_3^8 + 15210547707208512643221182488138/5915598978871637144\ 463330683*c_0101_3^7 - 264664359227653576964541297999/5915598978871\ 637144463330683*c_0101_3^6 - 3068252067875032264289227350621/591559\ 8978871637144463330683*c_0101_3^5 + 927434518427318251072747290565/5915598978871637144463330683*c_0101_\ 3^4 - 1030093718130625790829518456523/5915598978871637144463330683*\ c_0101_3^3 + 368354513443024735738270905611/59155989788716371444633\ 30683*c_0101_3^2 - 9759760285135482778899865858/2571999556031146584\ 54927421*c_0101_3 - 114342302995887394281580918974/5915598978871637\ 144463330683, c_0011_0 - 1, c_0011_4 - 137723069406279196910799724/5915598978871637144463330683*c_0\ 101_3^20 - 665814265528786669415581806/5915598978871637144463330683\ *c_0101_3^19 + 3060174267560010287095833358/59155989788716371444633\ 30683*c_0101_3^18 + 9664385913657159550294619063/591559897887163714\ 4463330683*c_0101_3^17 - 21894488706967432906560817238/591559897887\ 1637144463330683*c_0101_3^16 - 47400596673868946978161302823/591559\ 8978871637144463330683*c_0101_3^15 + 70199589284809412043953395946/5915598978871637144463330683*c_0101_3\ ^14 + 92904601607389470631789147446/5915598978871637144463330683*c_\ 0101_3^13 - 138744530503063895700522755645/591559897887163714446333\ 0683*c_0101_3^12 - 62690837720852778818635269677/591559897887163714\ 4463330683*c_0101_3^11 + 208842008911672960060347866435/59155989788\ 71637144463330683*c_0101_3^10 - 32760576699708946289015123681/59155\ 98978871637144463330683*c_0101_3^9 - 212507089302868028194096729702/5915598978871637144463330683*c_0101_\ 3^8 + 64009938874068737925693724416/5915598978871637144463330683*c_\ 0101_3^7 + 108790944342728397844280145947/5915598978871637144463330\ 683*c_0101_3^6 - 23295037673003689366377379146/59155989788716371444\ 63330683*c_0101_3^5 + 2206110741401329567780336927/5915598978871637\ 144463330683*c_0101_3^4 - 4742342105539090950398176308/591559897887\ 1637144463330683*c_0101_3^3 - 12913749732532112352833585021/5915598\ 978871637144463330683*c_0101_3^2 + 159915126380185182203929838/257199955603114658454927421*c_0101_3 - 7101469772154809546130990825/5915598978871637144463330683, c_0011_6 + 112807018695167001777551969/5915598978871637144463330683*c_0\ 101_3^20 + 637147479069547104330138621/5915598978871637144463330683\ *c_0101_3^19 - 2167696185019693557949921391/59155989788716371444633\ 30683*c_0101_3^18 - 10236434169840569062595965448/59155989788716371\ 44463330683*c_0101_3^17 + 14815505633982966219176274434/59155989788\ 71637144463330683*c_0101_3^16 + 55474805845286029625274466661/59155\ 98978871637144463330683*c_0101_3^15 - 55141165761718419101317802524/5915598978871637144463330683*c_0101_3\ ^14 - 120296545521136429647738609559/5915598978871637144463330683*c\ _0101_3^13 + 151816366343339842503262011607/59155989788716371444633\ 30683*c_0101_3^12 + 94246770770052947613701761118/59155989788716371\ 44463330683*c_0101_3^11 - 268295680040855701757447474530/5915598978\ 871637144463330683*c_0101_3^10 + 39164283900888808561492694521/5915\ 598978871637144463330683*c_0101_3^9 + 259092820289378803480691689202/5915598978871637144463330683*c_0101_\ 3^8 - 117786009373705400291044975544/5915598978871637144463330683*c\ _0101_3^7 - 96784384930058553116079351359/5915598978871637144463330\ 683*c_0101_3^6 + 54692206523026452353835645961/59155989788716371444\ 63330683*c_0101_3^5 - 6736274371519676294491158739/5915598978871637\ 144463330683*c_0101_3^4 + 5532101417591117109747834554/591559897887\ 1637144463330683*c_0101_3^3 - 8184067438347223344775259098/59155989\ 78871637144463330683*c_0101_3^2 + 10171249728841880193808003/257199\ 955603114658454927421*c_0101_3 + 5346461342916181440443092129/59155\ 98978871637144463330683, c_0101_0 - 803795218793303815925880587/5915598978871637144463330683*c_0\ 101_3^20 - 3313013795121952264196102244/591559897887163714446333068\ 3*c_0101_3^19 + 20269889300118530006435004563/591559897887163714446\ 3330683*c_0101_3^18 + 41763743011117207321066064362/591559897887163\ 7144463330683*c_0101_3^17 - 160444001890571950473023455648/59155989\ 78871637144463330683*c_0101_3^16 - 155714396076246598576312365557/5915598978871637144463330683*c_0101_\ 3^15 + 549384817923198663277419582743/5915598978871637144463330683*\ c_0101_3^14 + 98375970785841455203531544302/59155989788716371444633\ 30683*c_0101_3^13 - 966805118051101543800621729467/5915598978871637\ 144463330683*c_0101_3^12 + 477842236699769105728800521355/591559897\ 8871637144463330683*c_0101_3^11 + 910726675072281694576317971677/59\ 15598978871637144463330683*c_0101_3^10 - 1061449878246436654925009403991/5915598978871637144463330683*c_0101\ _3^9 - 326909990163713481461232388134/5915598978871637144463330683*\ c_0101_3^8 + 756268582996866718116380329991/59155989788716371444633\ 30683*c_0101_3^7 - 94985751155870602123434659965/591559897887163714\ 4463330683*c_0101_3^6 - 45447867990886835199619753863/5915598978871\ 637144463330683*c_0101_3^5 + 29092447731008264330980840699/59155989\ 78871637144463330683*c_0101_3^4 - 87680035318610561602571636295/591\ 5598978871637144463330683*c_0101_3^3 + 38248815585137198172963416565/5915598978871637144463330683*c_0101_3\ ^2 - 995014207910869156513603383/257199955603114658454927421*c_0101\ _3 - 450693049523279472382943059/5915598978871637144463330683, c_0101_1 - 569137635955455704020238554/5915598978871637144463330683*c_0\ 101_3^20 - 2163743525126655814303402247/591559897887163714446333068\ 3*c_0101_3^19 + 15434726013911395408856341025/591559897887163714446\ 3330683*c_0101_3^18 + 26289185612753091643062006309/591559897887163\ 7144463330683*c_0101_3^17 - 131462750628352634018906777450/59155989\ 78871637144463330683*c_0101_3^16 - 88767544109909971912507142394/5915598978871637144463330683*c_0101_3\ ^15 + 488588546807387820384676006255/5915598978871637144463330683*c\ _0101_3^14 - 13024980701014697003820149528/591559897887163714446333\ 0683*c_0101_3^13 - 910259584227308946827829722511/59155989788716371\ 44463330683*c_0101_3^12 + 591759758936907101710906413849/5915598978\ 871637144463330683*c_0101_3^11 + 846077587867209932624436890952/591\ 5598978871637144463330683*c_0101_3^10 - 1231845697713442208663711346452/5915598978871637144463330683*c_0101\ _3^9 - 201011798472313498535047975267/5915598978871637144463330683*\ c_0101_3^8 + 1018322426653956712643689920238/5915598978871637144463\ 330683*c_0101_3^7 - 268038345265945706152387953800/5915598978871637\ 144463330683*c_0101_3^6 - 224840353020036086520633026009/5915598978\ 871637144463330683*c_0101_3^5 + 129818374469146605284507135089/5915\ 598978871637144463330683*c_0101_3^4 - 69910551962575259440737638233/5915598978871637144463330683*c_0101_3\ ^3 + 34558120851319358014780000808/5915598978871637144463330683*c_0\ 101_3^2 - 766747157837951748211233451/257199955603114658454927421*c\ _0101_3 - 3180887071969370979663847255/5915598978871637144463330683\ , c_0101_2 + 861248420984307463699549128/5915598978871637144463330683*c_0\ 101_3^20 + 3412924799427978964619568896/591559897887163714446333068\ 3*c_0101_3^19 - 22360388412074820246439981740/591559897887163714446\ 3330683*c_0101_3^18 - 41541091449545678715551139538/591559897887163\ 7144463330683*c_0101_3^17 + 181288025461895191228660188379/59155989\ 78871637144463330683*c_0101_3^16 + 141655911935295504168767172360/5915598978871637144463330683*c_0101_\ 3^15 - 634650210209598047703168815841/5915598978871637144463330683*\ c_0101_3^14 - 11851270983040280430292093942/59155989788716371444633\ 30683*c_0101_3^13 + 1121782219426073011755211296930/591559897887163\ 7144463330683*c_0101_3^12 - 718859123596268407616969096257/59155989\ 78871637144463330683*c_0101_3^11 - 1005205526066123466423369297946/5915598978871637144463330683*c_0101\ _3^10 + 1430656204488152139004052402594/591559897887163714446333068\ 3*c_0101_3^9 + 231221262701349492934223402974/591559897887163714446\ 3330683*c_0101_3^8 - 1062573828233142855823090691986/59155989788716\ 37144463330683*c_0101_3^7 + 281562822958077922830892234820/59155989\ 78871637144463330683*c_0101_3^6 + 165021597603886720677604425267/59\ 15598978871637144463330683*c_0101_3^5 - 118175353726128369624030555140/5915598978871637144463330683*c_0101_\ 3^4 + 71545229804435270767104874829/5915598978871637144463330683*c_\ 0101_3^3 - 37121398355805048953963292562/59155989788716371444633306\ 83*c_0101_3^2 + 1069883242362097839044980693/2571999556031146584549\ 27421*c_0101_3 + 3173285218139897012670687420/591559897887163714446\ 3330683, c_0101_3^21 + 4*c_0101_3^20 - 26*c_0101_3^19 - 50*c_0101_3^18 + 213*c_0101_3^17 + 182*c_0101_3^16 - 761*c_0101_3^15 - 74*c_0101_3^14 + 1388*c_0101_3^13 - 773*c_0101_3^12 - 1321*c_0101_3^11 + 1693*c_0101_3^10 + 422*c_0101_3^9 - 1334*c_0101_3^8 + 264*c_0101_3^7 + 225*c_0101_3^6 - 132*c_0101_3^5 + 111*c_0101_3^4 - 51*c_0101_3^3 + 27*c_0101_3^2 + 6*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB