#9012: singular_decomposition fails on non-interreduced Gröbner basis
-----------------------------------+----------------------------------------
Reporter: mmezzarobba | Owner: malb
Type: defect | Status: new
Priority: major | Milestone: sage-4.4.3
Component: commutative algebra | Keywords:
Author: | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
-----------------------------------+----------------------------------------
The docstring of
``sage.ring.polynomial.multi_polynomial_ideal.triangular_decomposition``
says:
{{{
This requires that the given basis is reduced w.r.t. to the
lexicographical monomial ordering. If the basis of self does
not have this property, the required Groebner basis is
computed implicitly.
}}}
however (Sage 4.4.1):
{{{
sage: R.<x,y> = QQ[]
sage: J = Ideal(x^2+y^2-2, y^2-1)
sage: J.triangular_decomposition()
---------------------------------------------------------------------------
TypeError Traceback (most recent call
last)
[...]
TypeError: Singular error:
// ** _ is no standard basis
? The ideal sage22 has to be given by a reduced SB
? error occurred in STDIN line 101: `def sage24=fglm(sage19,sage22);
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9012>
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.
