search

Macaulay2 / M2

The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
https://macaulay2.com
347 stars 232 forks source link

trim of ideal over #747

Open naddington opened 6 years ago

naddington commented 6 years ago

R = ZZ[a,x,y] I = ideal(a^2+5, (1+a) x - 2 y, 3 x - (1-a) y) J = ideal(x * y - x^2 - y^2 - 1) K = ideal(3,1-a)

trim(trim(I+K)+J) -- right answer trim(trim(I+J)+K) -- wrong answer trim(I+J+K) -- same wrong answer

I guess this kind of thing has come up before: https://github.com/Macaulay2/M2/issues/146

naddington commented 6 years ago

This is in version 1.10.