#6581: Groebner basis not working over symbolic ring
-----------------------------------+----------------------------------------
Reporter: rhinton | Owner: tbd
Type: defect | Status: new
Priority: major | Milestone: sage-5.0
Component: commutative algebra | Keywords:
Work_issues: | Upstream: N/A
Reviewer: | Author:
Merged: | Dependencies:
-----------------------------------+----------------------------------------
Changes (by john_perry):
* cc: malb (added)
* upstream: => N/A
Comment:
The failure is because the polynomials' parent is of type
`MPolynomialRing_polydict`, but `MPolynomialRing_polydict_domain` is the
type with the necessary methods `monomial_divides`,
`monomial_pairwise_prime`, etc.
* Should a polynomial ring in this case always initialize as
`..._domain`?
* If not, is there an easy option to create the ideal of such a ring?
(in this case, at most a documentation change is necessary)
* If no such method currently exists, what would be the best way to let
the user do this?
a. Have the user create `R2` as above, then call a (new) function that
makes it re-initialize as `..._domain`? or
a. Have a new creation mechanism for such rings, e.g., a symbolic ring
`SD` that is a domain, and thus can be initialized as `..._domain`?
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6581#comment:2>
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.
