Magma V2.19-8 Tue Aug 20 2013 16:14:17 on localhost [Seed = 1090575713] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s262 geometric_solution 4.42567297 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 1 2 3 1 0132 0132 0132 1023 0 0 0 0 0 -2 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 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.067986418502 0.375395631075 0 4 4 0 0132 0132 3201 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.580735247844 0.680796078886 3 0 3 5 2310 0132 2103 0132 0 0 0 0 0 2 -1 -1 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 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.316730588511 1.120727807402 2 5 2 0 2103 2310 3201 0132 0 0 0 0 0 1 0 -1 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.316730588511 1.120727807402 1 1 4 4 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 0 0 0 0 0 0 0 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.702241589977 0.163638340444 5 5 2 3 1230 3012 0132 3201 0 0 0 0 0 -1 1 0 -1 0 0 1 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 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 0.766482985648 0.826282717803 ==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_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_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' : negation(d['c_0101_1']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_3'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], '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' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0101_1'], 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : negation(d['c_0011_5']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0011_3'], 'c_0110_1' : d['c_0011_3'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : negation(d['c_0011_5']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0011_3']})} 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_5, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 18811650769400336162/8835045185324242933*c_0101_4^20 + 39428641627394037964/8835045185324242933*c_0101_4^19 + 600966426707598145404/8835045185324242933*c_0101_4^18 - 1570543925094589116894/8835045185324242933*c_0101_4^17 - 7223151114209818465216/8835045185324242933*c_0101_4^16 + 15737512980533661279824/8835045185324242933*c_0101_4^15 + 46498301286035136919090/8835045185324242933*c_0101_4^14 - 59590838049637071922712/8835045185324242933*c_0101_4^13 - 148933273391673905315327/8835045185324242933*c_0101_4^12 + 100792805280344203487579/8835045185324242933*c_0101_4^11 + 238678086984147885731357/8835045185324242933*c_0101_4^10 - 87418032894652723570859/8835045185324242933*c_0101_4^9 - 210322317984469278236950/8835045185324242933*c_0101_4^8 + 46490396473741635343319/8835045185324242933*c_0101_4^7 + 107658794491955008268460/8835045185324242933*c_0101_4^6 - 19902011083532159857128/8835045185324242933*c_0101_4^5 - 31216585653665222918727/8835045185324242933*c_0101_4^4 + 6691363101414695007670/8835045185324242933*c_0101_4^3 + 4293066404286935242120/8835045185324242933*c_0101_4^2 - 1017619982634954847138/8835045185324242933*c_0101_4 - 104935169344532568669/8835045185324242933, c_0011_0 - 1, c_0011_3 + 6780265778067918721/8835045185324242933*c_0101_4^20 - 39387863266101492360/8835045185324242933*c_0101_4^19 - 53875930718283912776/8835045185324242933*c_0101_4^18 + 654861358066041869024/8835045185324242933*c_0101_4^17 + 141351207435498280656/8835045185324242933*c_0101_4^16 - 4552582320148913691893/8835045185324242933*c_0101_4^15 - 1018766348958292324855/8835045185324242933*c_0101_4^14 + 14891726830248000858722/8835045185324242933*c_0101_4^13 + 5425363933121077287669/8835045185324242933*c_0101_4^12 - 24236527018430508202857/8835045185324242933*c_0101_4^11 - 11259144760543254612129/8835045185324242933*c_0101_4^10 + 21337302269084818478643/8835045185324242933*c_0101_4^9 + 10873538990637167616726/8835045185324242933*c_0101_4^8 - 10783231235074011659283/8835045185324242933*c_0101_4^7 - 5117251329258048761200/8835045185324242933*c_0101_4^6 + 3300340468776666208164/8835045185324242933*c_0101_4^5 + 1048010064867146365081/8835045185324242933*c_0101_4^4 - 623438839707962164709/8835045185324242933*c_0101_4^3 - 54188181476277206068/8835045185324242933*c_0101_4^2 + 43377523192201422858/8835045185324242933*c_0101_4 - 254336833999132494/8835045185324242933, c_0011_5 + 9109689450839286938/8835045185324242933*c_0101_4^20 - 67644682444482194257/8835045185324242933*c_0101_4^19 + 16232173213789115825/8835045185324242933*c_0101_4^18 + 976041685994410942515/8835045185324242933*c_0101_4^17 - 1238314583725158142148/8835045185324242933*c_0101_4^16 - 6112442778366176404461/8835045185324242933*c_0101_4^15 + 8294985591580771617065/8835045185324242933*c_0101_4^14 + 20238178331100206267014/8835045185324242933*c_0101_4^13 - 23625289929874348763718/8835045185324242933*c_0101_4^12 - 38111075784654857682482/8835045185324242933*c_0101_4^11 + 34049704030857115751219/8835045185324242933*c_0101_4^10 + 42931828325622992264703/8835045185324242933*c_0101_4^9 - 27578322746086941243100/8835045185324242933*c_0101_4^8 - 28919687284200050907826/8835045185324242933*c_0101_4^7 + 13706609164536345008099/8835045185324242933*c_0101_4^6 + 10966603262152976307572/8835045185324242933*c_0101_4^5 - 4432967369037086937670/8835045185324242933*c_0101_4^4 - 1984103068950412357006/8835045185324242933*c_0101_4^3 + 805619624592411007251/8835045185324242933*c_0101_4^2 + 100720487120880517511/8835045185324242933*c_0101_4 - 26858448380205382092/8835045185324242933, c_0101_1 + 1293731402306019966/8835045185324242933*c_0101_4^20 - 6414070271808481729/8835045185324242933*c_0101_4^19 - 16384953962682084355/8835045185324242933*c_0101_4^18 + 114230144323226605772/8835045185324242933*c_0101_4^17 + 132581332496018144318/8835045185324242933*c_0101_4^16 - 815358375616254763225/8835045185324242933*c_0101_4^15 - 953754293096725192255/8835045185324242933*c_0101_4^14 + 2475948319661532644034/8835045185324242933*c_0101_4^13 + 3589683734760230228127/8835045185324242933*c_0101_4^12 - 3082144232193344634603/8835045185324242933*c_0101_4^11 - 6434666357881376602573/8835045185324242933*c_0101_4^10 + 1082835207107092983602/8835045185324242933*c_0101_4^9 + 5991146299866019256471/8835045185324242933*c_0101_4^8 + 842602289663651794559/8835045185324242933*c_0101_4^7 - 3045988299494905714692/8835045185324242933*c_0101_4^6 - 816563024101531283194/8835045185324242933*c_0101_4^5 + 868219631466979953911/8835045185324242933*c_0101_4^4 + 217022449646439542772/8835045185324242933*c_0101_4^3 - 155304963779024544263/8835045185324242933*c_0101_4^2 - 13814868390134969936/8835045185324242933*c_0101_4 + 15615310963392161654/8835045185324242933, c_0101_2 + 92568116211987244982/8835045185324242933*c_0101_4^20 - 616345932734580165597/8835045185324242933*c_0101_4^19 - 236306692308778555631/8835045185324242933*c_0101_4^18 + 9283357197978930421700/8835045185324242933*c_0101_4^17 - 5773853342910852550164/8835045185324242933*c_0101_4^16 - 59591143529583207758548/8835045185324242933*c_0101_4^15 + 36368240928720220451131/8835045185324242933*c_0101_4^14 + 188617390861670433098952/8835045185324242933*c_0101_4^13 - 83481849516946281937467/8835045185324242933*c_0101_4^12 - 313230158489898754037117/8835045185324242933*c_0101_4^11 + 95029341812214865822799/8835045185324242933*c_0101_4^10 + 298501354453683591036095/8835045185324242933*c_0101_4^9 - 65172526329227751041105/8835045185324242933*c_0101_4^8 - 170480681905062588012589/8835045185324242933*c_0101_4^7 + 33301175740184654914788/8835045185324242933*c_0101_4^6 + 56552518638463923125606/8835045185324242933*c_0101_4^5 - 12803805177926120961157/8835045185324242933*c_0101_4^4 - 9365017622331341873085/8835045185324242933*c_0101_4^3 + 2601451054562005872287/8835045185324242933*c_0101_4^2 + 457687683321286637144/8835045185324242933*c_0101_4 - 111237712928906306685/8835045185324242933, c_0101_4^21 - 6*c_0101_4^20 - 7*c_0101_4^19 + 99*c_0101_4^18 + 4*c_0101_4^17 - 691*c_0101_4^16 - 30*c_0101_4^15 + 2337*c_0101_4^14 + 435*c_0101_4^13 - 4104*c_0101_4^12 - 1206*c_0101_4^11 + 4096*c_0101_4^10 + 1444*c_0101_4^9 - 2474*c_0101_4^8 - 879*c_0101_4^7 + 936*c_0101_4^6 + 275*c_0101_4^5 - 220*c_0101_4^4 - 40*c_0101_4^3 + 28*c_0101_4^2 + 2*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB