Hi Dusan, On 3 Aug., 14:21, Dušan Orlović <[email protected]> wrote: > Hi Simon, > please change upstream bug that you have reported, because I found that the > problem is in reduce command. > Please read this > book<http://books.google.com/books?id=Caoxi78WaIAC&pg=PA201&dq=adams+loust...>(just > first five pages in chapter 4). > I think the problem is in reduce command.
I couldn't disagree more. Once again: "f = y * (3*x*y) - x * (2*y^2)" is a proof that f belongs to the ideal generated by 3*x*y and 2*y^2. But it is *not* a reduction. Cheers, Simon -- To post to this group, send an email to [email protected] To unsubscribe from this group, send an email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
