Magma V2.19-8 Tue Aug 20 2013 16:16:43 on localhost [Seed = 1393741720] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1003 geometric_solution 4.88886035 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.546274163463 0.188567240126 0 2 2 0 3201 0132 1023 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 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.258303329701 0.351674603438 3 1 1 4 0132 0132 1023 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 0 0 0 0 -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.577304825839 0.631027537619 2 5 4 4 0132 0132 1302 2031 0 0 0 0 0 0 0 0 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 0 0 0 0 -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.392967417183 0.374046635291 3 3 2 5 2031 1302 0132 0132 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 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.392967417183 0.374046635291 6 3 4 6 0132 0132 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.508519346543 0.714111651401 5 5 6 6 0132 2310 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.959083849063 1.152226757171 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], '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_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_2'], '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 2 Groebner basis: [ t - 1/18*c_0101_5, c_0011_0 - 1, c_0011_1 - 2, c_0011_4 + 1, c_0101_0 - c_0101_5, c_0101_2 + c_0101_5, c_0101_5^2 - 3, c_0101_6 - 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t + 11923215669602762949043765/12600319988802486618464*c_0101_5*c_0101_\ 6^16 + 3866444086583118586636591/3150079997200621654616*c_0101_5*c_\ 0101_6^15 - 200394892861803026127413355/6300159994401243309232*c_01\ 01_5*c_0101_6^14 - 417244851074188661308333135/63001599944012433092\ 32*c_0101_5*c_0101_6^13 + 76454115514946849706564870/39375999965007\ 7706827*c_0101_5*c_0101_6^12 + 271999425634396860115870839/78751999\ 9300155413654*c_0101_5*c_0101_6^11 - 8922765212428310887657627805/12600319988802486618464*c_0101_5*c_010\ 1_6^10 - 9354975801346890776608631065/12600319988802486618464*c_010\ 1_5*c_0101_6^9 + 3722923077139685142331116557/315007999720062165461\ 6*c_0101_5*c_0101_6^8 + 6618900696768497179201333523/63001599944012\ 43309232*c_0101_5*c_0101_6^7 - 6883900990143799561441375855/1260031\ 9988802486618464*c_0101_5*c_0101_6^6 - 2744274281697492595404698747/3150079997200621654616*c_0101_5*c_0101\ _6^5 - 58880286441138719723875613/1575039998600310827308*c_0101_5*c\ _0101_6^4 + 1482514125162268833148933211/12600319988802486618464*c_\ 0101_5*c_0101_6^3 + 258555188077425978971285817/6300159994401243309\ 232*c_0101_5*c_0101_6^2 - 51642592810513088960207775/12600319988802\ 486618464*c_0101_5*c_0101_6 - 41409554075640583150749695/1260031998\ 8802486618464*c_0101_5, c_0011_0 - 1, c_0011_1 + 2441787297205291530272/393759999650077706827*c_0101_6^16 + 3189398840239654925417/393759999650077706827*c_0101_6^15 - 82030628587110572891428/393759999650077706827*c_0101_6^14 - 171606951371127428475834/393759999650077706827*c_0101_6^13 + 498842309369799791233184/393759999650077706827*c_0101_6^12 + 894142081626306111033151/393759999650077706827*c_0101_6^11 - 1815939672790651412554148/393759999650077706827*c_0101_6^10 - 1923710201427384092934256/393759999650077706827*c_0101_6^9 + 3021344538935032832060092/393759999650077706827*c_0101_6^8 + 2717945514389444409754798/393759999650077706827*c_0101_6^7 - 1368924916002264709128977/393759999650077706827*c_0101_6^6 - 2230827486030450046501786/393759999650077706827*c_0101_6^5 - 116955317773212774911095/393759999650077706827*c_0101_6^4 + 283439057398967238438026/393759999650077706827*c_0101_6^3 + 100658004179155638376179/393759999650077706827*c_0101_6^2 - 9611825461729073498547/393759999650077706827*c_0101_6 - 7648688629551766487583/393759999650077706827, c_0011_4 - 5534411824262626989104/393759999650077706827*c_0101_6^16 - 7277037946183279000352/393759999650077706827*c_0101_6^15 + 185874999785249188916588/393759999650077706827*c_0101_6^14 + 390587494092539176274361/393759999650077706827*c_0101_6^13 - 1127668123752143251463450/393759999650077706827*c_0101_6^12 - 2037304152659657117203926/393759999650077706827*c_0101_6^11 + 4100700937816862397404875/393759999650077706827*c_0101_6^10 + 4400386245392707982837904/393759999650077706827*c_0101_6^9 - 6819035345040153139457539/393759999650077706827*c_0101_6^8 - 6229386316073726032073470/393759999650077706827*c_0101_6^7 + 3064618735345273885171365/393759999650077706827*c_0101_6^6 + 5096346161113036593658448/393759999650077706827*c_0101_6^5 + 300375878366032549395689/393759999650077706827*c_0101_6^4 - 649835718463912329297673/393759999650077706827*c_0101_6^3 - 231720942026355519056151/393759999650077706827*c_0101_6^2 + 20712967224786718406609/393759999650077706827*c_0101_6 + 17340273403677765467531/393759999650077706827, c_0101_0 - 7812138971927564873959/393759999650077706827*c_0101_5*c_0101\ _6^16 - 10485075887265326425574/393759999650077706827*c_0101_5*c_01\ 01_6^15 + 262027512557828861427932/393759999650077706827*c_0101_5*c\ _0101_6^14 + 558370609915501450470531/393759999650077706827*c_0101_\ 5*c_0101_6^13 - 1574582331911832614534252/393759999650077706827*c_0\ 101_5*c_0101_6^12 - 2913321691233813957272767/393759999650077706827\ *c_0101_5*c_0101_6^11 + 5699368208831429281537774/39375999965007770\ 6827*c_0101_5*c_0101_6^10 + 6337966609226528636450116/3937599996500\ 77706827*c_0101_5*c_0101_6^9 - 9421807539278223941713275/3937599996\ 50077706827*c_0101_5*c_0101_6^8 - 8977931194115714265808351/3937599\ 99650077706827*c_0101_5*c_0101_6^7 + 4036293759719027507709778/393759999650077706827*c_0101_5*c_0101_6^6 + 7197079655997698930039236/393759999650077706827*c_0101_5*c_0101_6\ ^5 + 614024174616329389434376/393759999650077706827*c_0101_5*c_0101\ _6^4 - 832334621262797206387104/393759999650077706827*c_0101_5*c_01\ 01_6^3 - 318213152645420894304555/393759999650077706827*c_0101_5*c_\ 0101_6^2 + 18582986766297121241127/393759999650077706827*c_0101_5*c\ _0101_6 + 21949828207051119527773/393759999650077706827*c_0101_5, c_0101_2 - 8483443510577783575767/393759999650077706827*c_0101_5*c_0101\ _6^16 - 11237138023491212165631/393759999650077706827*c_0101_5*c_01\ 01_6^15 + 284796806707481483447023/393759999650077706827*c_0101_5*c\ _0101_6^14 + 601447603316810066597001/393759999650077706827*c_0101_\ 5*c_0101_6^13 - 1722284385424679819566155/393759999650077706827*c_0\ 101_5*c_0101_6^12 - 3138099090491064161438386/393759999650077706827\ *c_0101_5*c_0101_6^11 + 6253837869267005727826564/39375999965007770\ 6827*c_0101_5*c_0101_6^10 + 6797413680530851709922632/3937599996500\ 77706827*c_0101_5*c_0101_6^9 - 10383012669917469005601943/393759999\ 650077706827*c_0101_5*c_0101_6^8 - 9625689234028675194392269/393759999650077706827*c_0101_5*c_0101_6^7 + 4600147845819014013658546/393759999650077706827*c_0101_5*c_0101_6\ ^6 + 7819894902999033617490070/393759999650077706827*c_0101_5*c_010\ 1_6^5 + 527961030852976323015553/393759999650077706827*c_0101_5*c_0\ 101_6^4 - 969664227653683300438334/393759999650077706827*c_0101_5*c\ _0101_6^3 - 351905104059722442734791/393759999650077706827*c_0101_5\ *c_0101_6^2 + 26997400452789750268252/393759999650077706827*c_0101_\ 5*c_0101_6 + 25992611020714580749729/393759999650077706827*c_0101_5\ , c_0101_5^2 + 747611543034363395145/393759999650077706827*c_0101_6^16 + 990139517869339137820/393759999650077706827*c_0101_6^15 - 25099713538809936659514/393759999650077706827*c_0101_6^14 - 53001619798596094608288/393759999650077706827*c_0101_6^13 + 151838743275897485830463/393759999650077706827*c_0101_6^12 + 276672040914283428888956/393759999650077706827*c_0101_6^11 - 551425740398010252921392/393759999650077706827*c_0101_6^10 - 599826022820414507333284/393759999650077706827*c_0101_6^9 + 915906489051939260414062/393759999650077706827*c_0101_6^8 + 850659737157345291888271/393759999650077706827*c_0101_6^7 - 406812375018097273388602/393759999650077706827*c_0101_6^6 - 693217119913661576055287/393759999650077706827*c_0101_6^5 - 46202227723747118148694/393759999650077706827*c_0101_6^4 + 88449067693129180724819/393759999650077706827*c_0101_6^3 + 31504798591110804809250/393759999650077706827*c_0101_6^2 - 2765114035141183427039/393759999650077706827*c_0101_6 - 2441787297205291530272/393759999650077706827, c_0101_6^17 + c_0101_6^16 - 34*c_0101_6^15 - 60*c_0101_6^14 + 226*c_0101_6^13 + 304*c_0101_6^12 - 857*c_0101_6^11 - 562*c_0101_6^10 + 1483*c_0101_6^9 + 738*c_0101_6^8 - 909*c_0101_6^7 - 747*c_0101_6^6 + 236*c_0101_6^5 + 135*c_0101_6^4 + 5*c_0101_6^3 - 17*c_0101_6^2 - 2*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB