Hi! Please consider the difference between weak and strong Gröbner bases/weak strong reduction defined in that cited book. So, you are both right. Simon is refering to strong GB while Dušan refers to weak GB. Singular implements strong GB and strong reduction.
Cheers, Michael Am 03.08.2010 um 16:21 schrieb Simon King: > 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 ------------------------------------------- Michael Brickenstein Mathematisches Forschungsinstitut Oberwolfach gGmbH Schwarzwaldstr. 9 - 11 77709 Oberwolfach Tel.: 07834/979-31 Fax: 07834/979-38 -- 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
