#6581: Groebner basis not working over symbolic ring
-----------------------------------+----------------------------------------
Reporter: rhinton | Owner: tbd
Type: defect | Status: needs_review
Priority: major | Milestone: sage-5.0
Component: commutative algebra | Keywords:
Work_issues: | Upstream: N/A
Reviewer: | Author:
Merged: | Dependencies:
-----------------------------------+----------------------------------------
Changes (by john_perry):
* status: needs_work => needs_review
Old description:
> I'm not sure if this is a problem in the multivariate polynomials (which
> seem to raise the actual error) or somewhere in the symbolics.
> {{{
> sage: R2.<a,b> = SR[]
> sage: I2 = [a*b+a, a*a] * R2
> sage: G2 = I2.groebner_basis()
> verbose 0 (2247: multi_polynomial_ideal.py, groebner_basis) Warning:
> falling back to very slow toy implementation.
> ---------------------------------------------------------------------------
> AttributeError Traceback (most recent call
> last)
> ...
> AttributeError: 'MPolynomialRing_polydict' object has no attribute
> 'monomial_divides'
> sage:
> }}}
New description:
I'm not sure if this is a problem in the multivariate polynomials (which
seem to raise the actual error) or somewhere in the symbolics.
{{{
sage: R2.<a,b> = SR[]
sage: I2 = [a*b+a, a*a] * R2
sage: G2 = I2.groebner_basis()
verbose 0 (2247: multi_polynomial_ideal.py, groebner_basis) Warning:
falling back to very slow toy implementation.
---------------------------------------------------------------------------
AttributeError Traceback (most recent call
last)
...
AttributeError: 'MPolynomialRing_polydict' object has no attribute
'monomial_divides'
sage:
}}}
'''Apply:'''
`trac_6581_enable_more_ideals_for_toy_buchberger.2.patch`
--
Comment:
Okay, that was pretty dumb. Fixed now. Added a doctest while I was at it.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6581#comment:18>
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.
