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.