#9645: Bugs in the computation of Groebner bases over the integers
-----------------------------------+----------------------------------------
Reporter: SimonKing | Owner: malb
Type: defect | Status: new
Priority: critical | Milestone: sage-5.0
Component: commutative algebra | Keywords: Groebner basis integer
Author: | Upstream: Not yet reported upstream;
Will do shortly.
Reviewer: | Merged:
Work_issues: |
-----------------------------------+----------------------------------------
Comment(by SimonKing):
There is a new singular spkg at #8059. However, this does not solve the
problem. The only difference is that now one has
{{{
sage: I.groebner_basis(algorithm='toy:buchberger2')
[2*x^2 + x*y, 3*x*y, 2*y^2]
}}}
Hence, the result is reduced (the first bug is gone), but still wrong.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9645#comment:1>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.