Magma V2.19-8 Tue Aug 20 2013 16:19:11 on localhost [Seed = 4273955718] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3312 geometric_solution 6.44482090 oriented_manifold CS_known -0.0000000000000011 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 0 -1 0 0 1 -1 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.401836572912 0.433331023386 2 0 3 0 0132 2310 0132 0132 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 0 0 0 0 0 1 -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 1.447588178423 0.807422018016 1 4 5 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -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 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.571982740858 0.578258014340 6 5 4 1 0132 0132 1023 0132 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 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.571982740858 0.578258014340 4 2 3 4 3012 0132 1023 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.657661950156 0.818159997255 5 3 5 2 2031 0132 1302 0132 0 0 0 0 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 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.548741951810 0.886404995835 3 6 2 6 0132 2310 0132 3201 0 0 0 0 0 0 0 0 0 0 1 -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 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.832593459768 0.830783329467 ==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' : negation(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' : negation(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_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : 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_1'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0011_1'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 377361800209998361840871076768/19850916211173192700879753097*c_0101\ _4^29 + 3008512757076590810659100039553/198509162111731927008797530\ 97*c_0101_4^27 + 14799792102365153682395172113932/19850916211173192\ 700879753097*c_0101_4^25 - 62611557575499192670967021443981/1985091\ 6211173192700879753097*c_0101_4^23 - 187381383604567885920698305674138/19850916211173192700879753097*c_0\ 101_4^21 + 368418452805101350777054299066861/1985091621117319270087\ 9753097*c_0101_4^19 + 715765441256790869738086247272933/19850916211\ 173192700879753097*c_0101_4^17 - 884757881118799109526034014513236/\ 19850916211173192700879753097*c_0101_4^15 - 905367901328613630814095034354980/19850916211173192700879753097*c_0\ 101_4^13 + 652626541106689308136239395746583/1985091621117319270087\ 9753097*c_0101_4^11 + 640548221737151199360472602662351/19850916211\ 173192700879753097*c_0101_4^9 - 382628589751905476205162531533523/1\ 9850916211173192700879753097*c_0101_4^7 + 182314458898496185372188942892350/19850916211173192700879753097*c_0\ 101_4^5 - 194645572131981832727412493315519/19850916211173192700879\ 753097*c_0101_4^3 + 19682739177763920347427618438643/19850916211173\ 192700879753097*c_0101_4, c_0011_0 - 1, c_0011_1 - 9557649606618528632822722/484168688077394943923896417*c_0101\ _4^28 + 77168485048116724286873661/484168688077394943923896417*c_01\ 01_4^26 + 368880103617036423168361858/484168688077394943923896417*c\ _0101_4^24 - 1635983882738906229918166213/4841686880773949439238964\ 17*c_0101_4^22 - 4668214096883493705246020022/484168688077394943923\ 896417*c_0101_4^20 + 10013749159231200023542817837/4841686880773949\ 43923896417*c_0101_4^18 + 18291885703189710498193562756/48416868807\ 7394943923896417*c_0101_4^16 - 24747223454142073613688036871/484168\ 688077394943923896417*c_0101_4^14 - 24632211670101288020609897793/484168688077394943923896417*c_0101_4^\ 12 + 18724759278536644566579789809/484168688077394943923896417*c_01\ 01_4^10 + 18852335958493668984344277377/484168688077394943923896417\ *c_0101_4^8 - 10205869886955879430923460612/48416868807739494392389\ 6417*c_0101_4^6 + 3904902718581001584448651714/48416868807739494392\ 3896417*c_0101_4^4 - 5135618394217577736573032881/48416868807739494\ 3923896417*c_0101_4^2 + 490023403969153546574190976/484168688077394\ 943923896417, c_0011_3 - 65719471528789394198960651/484168688077394943923896417*c_010\ 1_4^29 + 522609116374246080443223961/484168688077394943923896417*c_\ 0101_4^27 + 2589162481758410264244931807/48416868807739494392389641\ 7*c_0101_4^25 - 10858922603467107202274048604/484168688077394943923\ 896417*c_0101_4^23 - 32902326791116043417776710353/4841686880773949\ 43923896417*c_0101_4^21 + 63625759207280622100996838533/48416868807\ 7394943923896417*c_0101_4^19 + 126578828434137984275591919519/48416\ 8688077394943923896417*c_0101_4^17 - 151994781801798823442049038294/484168688077394943923896417*c_0101_4\ ^15 - 163040203676678020873298474675/484168688077394943923896417*c_\ 0101_4^13 + 110962249543079585522662019788/484168688077394943923896\ 417*c_0101_4^11 + 116309066974328344211198002632/484168688077394943\ 923896417*c_0101_4^9 - 64286871568502373727230811432/48416868807739\ 4943923896417*c_0101_4^7 + 29493145051782892207922296057/4841686880\ 77394943923896417*c_0101_4^5 - 33106462576717165530191166286/484168\ 688077394943923896417*c_0101_4^3 + 2349361461984472181259299148/484168688077394943923896417*c_0101_4, c_0101_0 - 5136648033110653027153630/484168688077394943923896417*c_0101\ _4^29 + 36379358488581408929659353/484168688077394943923896417*c_01\ 01_4^27 + 236568606968168365777655886/484168688077394943923896417*c\ _0101_4^25 - 663516323607238193681473550/48416868807739494392389641\ 7*c_0101_4^23 - 3247668158782862659399432709/4841686880773949439238\ 96417*c_0101_4^21 + 2578435624709635914392348917/484168688077394943\ 923896417*c_0101_4^19 + 13380510691916362041332267950/4841686880773\ 94943923896417*c_0101_4^17 - 2803428446981879962165972204/484168688\ 077394943923896417*c_0101_4^15 - 19923919611043664506621734097/4841\ 68688077394943923896417*c_0101_4^13 - 2541556814626225340335939900/484168688077394943923896417*c_0101_4^1\ 1 + 12840864115644922339119623772/484168688077394943923896417*c_010\ 1_4^9 + 1790973425416621777869083873/484168688077394943923896417*c_\ 0101_4^7 - 398185685695916112747691574/484168688077394943923896417*\ c_0101_4^5 + 12517850579256679235679141/484168688077394943923896417\ *c_0101_4^3 - 1514566242100703045385673957/484168688077394943923896\ 417*c_0101_4, c_0101_1 + 16590679826415589556635795/484168688077394943923896417*c_010\ 1_4^28 - 133163280751971444757433036/484168688077394943923896417*c_\ 0101_4^26 - 644999962500198623159131001/484168688077394943923896417\ *c_0101_4^24 + 2798307368646276990033931148/48416868807739494392389\ 6417*c_0101_4^22 + 8154951828266072950156806962/4841686880773949439\ 23896417*c_0101_4^20 - 16833952044243442379486992098/48416868807739\ 4943923896417*c_0101_4^18 - 31468570177373855499123673988/484168688\ 077394943923896417*c_0101_4^16 + 41354347255129163476507016600/4841\ 68688077394943923896417*c_0101_4^14 + 41121144909827441395023742844/484168688077394943923896417*c_0101_4^\ 12 - 31694654660405519568827152184/484168688077394943923896417*c_01\ 01_4^10 - 31084881154014864251780479407/484168688077394943923896417\ *c_0101_4^8 + 17886411790560755366874203539/48416868807739494392389\ 6417*c_0101_4^6 - 6874094259019873199643415552/48416868807739494392\ 3896417*c_0101_4^4 + 8531875175195529206379532191/48416868807739494\ 3923896417*c_0101_4^2 - 396567773255400708325901335/484168688077394\ 943923896417, c_0101_3 + 309386163838368750960990/484168688077394943923896417*c_0101_\ 4^28 + 234558801439011503259974/484168688077394943923896417*c_0101_\ 4^26 - 31531892166797221569443019/484168688077394943923896417*c_010\ 1_4^24 - 69937755174601833861023939/484168688077394943923896417*c_0\ 101_4^22 + 506143520657779975224204211/484168688077394943923896417*\ c_0101_4^20 + 1314468578971421566459330191/484168688077394943923896\ 417*c_0101_4^18 - 1953831353992433625802824468/48416868807739494392\ 3896417*c_0101_4^16 - 5410495015830718412107017495/4841686880773949\ 43923896417*c_0101_4^14 + 2313941464609492419524179672/484168688077\ 394943923896417*c_0101_4^12 + 6827317508612509653028726391/48416868\ 8077394943923896417*c_0101_4^10 + 408295217307866980692311614/48416\ 8688077394943923896417*c_0101_4^8 - 2929300106303446360084371916/484168688077394943923896417*c_0101_4^6 + 59694852470805654445704607/484168688077394943923896417*c_0101_4^4 - 1337689516044428219301855243/484168688077394943923896417*c_0101_4\ ^2 + 414077836109542832985393343/484168688077394943923896417, c_0101_4^30 - 8*c_0101_4^28 - 39*c_0101_4^26 + 167*c_0101_4^24 + 492*c_0101_4^22 - 990*c_0101_4^20 - 1870*c_0101_4^18 + 2397*c_0101_4^16 + 2335*c_0101_4^14 - 1796*c_0101_4^12 - 1650*c_0101_4^10 + 1061*c_0101_4^8 - 511*c_0101_4^6 + 529*c_0101_4^4 - 66*c_0101_4^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB