#16301: bug in quotient() over integer coefficient ring
-------------------------+-------------------------------------------------
Reporter: | Owner:
jakobkroeker | Status: new
Type: defect | Milestone: sage-6.3
Priority: major | Keywords: bug quotient integer
Component: | Authors:
commutative algebra | Report Upstream: Fixed upstream, but not in a
Merged in: | stable release.
Reviewers: | Branch:
Work issues: | Dependencies:
Commit: |
Stopgaps: |
-------------------------+-------------------------------------------------
Hello,
there is a bug in {{{quotient()}}} over integer coefficient ring.
Here is an example:
{{{
R.<x,y,z>= ZZ[]
I = Ideal( R(2), x*y, x*z + x)
eD = Ideal( x, z^2-1)
I.quotient(eD) //=0 , sage 6.2.rc1, Release Date: 2014-04-30
// correct result: 2, x*z + x, x*y
}}}
This is caused by a bug in Singular. It's probably already fixed in the
inofficial(?) release
(https://github.com/Singular/Sources/releases).
But there are other major bugs in Singular over integer coefficient ring
(e.g. http://www.singular.uni-kl.de:8002/trac/ticket/540) which are only
fixed in the recent development version.
--
Ticket URL: <http://trac.sagemath.org/ticket/16301>
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 unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
