|Jeroen Demeyer on Thu, 14 Nov 2013 13:30:20 +0100|
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
|factorpadic() for non-squarefree polynomials|
Hello pari-users,The documentation for ??factorpadic states that the discriminant of the polynomial much have p-adic valuation less than r. While I understand where the condition comes from, does that mean that the following is undefined behaviour:
gp> factorpadic(t^2, 3, 5) %13 = [(1 + O(3^5))*t + O(3^5) 2] Indeed, the following example should be equivalent but it's not: gp> factorpadic(t^2 + 3^5, 3, 5) %14 = [(1 + O(3^5))*t^2 + O(3^5)*t + O(3^0) 1]In any case, I think this important condition should be added to the short help ?factorpadic.