|Jeroen Demeyer on Mon, 15 Jun 2009 18:13:52 +0200|
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
|Re: idealadd() details|
Bill Allombert wrote:
On Mon, Jun 15, 2009 at 04:46:21PM +0200, Jeroen Demeyer wrote:Hello list,I have a question about idealadd(). Either I'm misunderstanding something, or the implementation is wrong, or the documentation is wrong.Consider the following: gp> idealadd(nfinit(t^2+1), [1,0;0,2], [1,0;0,2]) %20 = [1 0] [0 1]Here I expected to get [1,0;0,2] as a result, since the documentation states it just adds Z-modules. Of course, as ideals, the answer is correct.
By the way, I realized that mathnf(concat(A,B)) can be used to give the sum of Z-modules. So you could state that in the documentation of idealadd() instead (like in the documentation of idealintersect). So the implementation would not change, only the documentation.