#6581: Groebner basis not working over symbolic ring
-----------------------------------+----------------------------------------
Reporter: rhinton | Owner: tbd
Type: defect | Status: new
Priority: major | Milestone: sage-4.3
Component: commutative algebra | Keywords:
Work_issues: | Author:
Reviewer: | Merged:
-----------------------------------+----------------------------------------
Changes (by AlexGhitza):
* component: algebra => commutative algebra
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:
}}}
--
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6581#comment:1>
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
-~----------~----~----~----~------~----~------~--~---
