#9944: categories for polynomial rings
----------------------------------------------+-----------------------------
Reporter: robertwb | Owner: nthiery
Type: defect | Status: needs_review
Priority: major | Milestone: sage-4.7
Component: categories | Keywords:
Author: Robert Bradshaw | Upstream: N/A
Reviewer: Nicolas M. Thiéry, Mike Hansen | Merged:
Work_issues: |
----------------------------------------------+-----------------------------
Comment(by SimonKing):
Replying to [comment:8 nthiery]:
> Sorry for the very late answer. In MuPAD, we had a category for
> univariate polynomial rings: there are several possible
> implementations of such, and it's natural to factor out the generic
> code, together with the category inheritance logic, in a category.
Aparently there is a doctest failure. I fixed it, but unfortunately it
went into my patch submitted for #9138. Therefore, "needs work".
Question: Do we really want a category of polynomial rings? Or do we want
that (1) polynomial rings use the category framework (that's the purpose
of my patch for #9138) and (2) the category to which a given polynomial
ring belongs is a bit narrower than simply "category of rings"? I hope it
is the latter.
My suggestion is that I submit a small patch fixing the doctests. Please
tell whether my patch for #9138 improves the multivariate case. Then,
perhaps it would be possible to give Roberts patches (+ doctest fix) a
positive review, so that we can focus on #9138.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9944#comment:9>
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.
