Igor Schein on Sun, 22 May 2005 00:19:36 +0200 |
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
tough family of fields for polredxxx() functions |
Hi, In the past I reported, among others, 1 polred() and 1 polredabs() bug. For certain polynomials polred() returns only proper subfields, and not a reduced isomorphic once. And, for certain polynomials polredabs() takes very long time. The former has to do with a fact that polred() is not guaranteed to return a reduced isomorphism. The latter has to do with the current design and could be improved. Now, I realized there's a whole family of fields which exhibit both bugs simultaneously. f(k)=polcompositum(x^6-3*k^3,x^6-3*k^3)[4] polred(f(k)) always returns proper subfields, and in order to exhibit polredabs() taking very long time, just do something like polredabs(poltschirnhaus(poltschirnhaus(f(k))),16). The first few *slow* values of k are 2 5 6 8 10 13 14 17 18 20 ( basically eliminate all k's in shape of 16*j+3, 16*j+7, 16*j+11, 16*j+12, 16*j+15 and some more - can be formalized if necessary ). Igor