Re: idealadd() details

[Jeroen Demeyer <jdemeyer@cage.ugent.be>]

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.

Jeroen.