|Jeroen Demeyer on Mon, 24 Jan 2011 11:23:38 +0100|
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
|Inconsistent behaviour of rnfeltabstorel()|
Hello pari-dev, I'm not sure if this a bug or not, but at least it looks strange to me: gp> K = nfinit(y^3-2); gp> L = rnfinit(K, x^2 - Mod(y,K.pol)); gp> rnfeltabstorel(L, x^2) %14 = Mod(y, x^2 - y) gp> rnfeltabstorel(L, x^2+x) %15 = Mod(Mod(1, y^3 - 2)*x + Mod(y, y^3 - 2), x^2 - y) This looks inconsistent to me. Why is %14 equal to Mod(y, x^2 - y) instead of (what I would expect) Mod(Mod(y, y^3 - 2), x^2 - y) It also seems to conflict with ??rnfeltabstorel which says that the result is a polmod with polmod coefficients. Cheers, Jeroen. PS for Karim and Bill: adding you as cc because of recent trouble with the pari-dev list.