#6581: Groebner basis not working over symbolic ring
-----------------------------------+----------------------------------------
Reporter: rhinton | Owner: tbd
Type: defect | Status: positive_review
Priority: major | Milestone: sage-5.0
Component: commutative algebra | Keywords:
Work_issues: | Upstream: N/A
Reviewer: Martin Albrecht | Author: John Perry
Merged: | Dependencies:
-----------------------------------+----------------------------------------
Changes (by newvalueoldvalue):
* status: needs_review => positive_review
* reviewer: => Martin Albrecht
* author: => John Perry
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:
> }}}
>
> '''Apply:'''
>
> `trac_6581_enable_more_ideals_for_toy_buchberger.2.patch`
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:'''
[attachment:trac_6581_enable_more_ideals_for_toy_buchberger.2.patch]
--
Comment:
Looks good.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6581#comment:19>
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.
