#9645: Bugs in the computation of Groebner bases over the integers
-----------------------------------+----------------------------------------
Reporter: SimonKing | Owner: duleorlovic
Type: defect | Status: new
Priority: critical | Milestone: sage-5.0
Component: commutative algebra | Keywords: Groebner basis integer
Author: | Upstream: Fixed upstream, in a later
stable release.
Reviewer: | Merged:
Work_issues: |
-----------------------------------+----------------------------------------
Changes (by SimonKing):
* upstream: Reported upstream. Little or no feedback. => Fixed upstream,
in a later stable release.
Comment:
Many thanks to Michael Brickenstein who explained
[http://groups.google.com/group/sage-
devel/browse_thread/thread/46124695d2f7469a here] that our
misunderstanding comes from the fact that Dusan expects to work with
''weak'' Gröbner bases - a notion that I was not aware of.
Singular computes a strong Gröbner basis. So, not a bug.
By the way, the remaining problem with slimgb is solved upstream: By now
(i.e., with the current developer version and in the next official
release), slimgb will raise an error when being called for an ideal over
the integers.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9645#comment:6>
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.
