#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 nthiery):
Replying to [comment:4 robertwb]:
> The first patch only concerned univarite polynomial rings, the logic is
not all correct for multivariate polynomial rings (though on an orthogonal
note, that could use some fixing up as well). It seems odd to have a
category of univariate polynomial rings over a fixed basering, which is
why I put the logic into the concrete object. I suppose the category
should a be declared as a graded R-algebra as well (do we have join
categories yet?).
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.
And yes, we have join categories. See Category.join.
I let you see whether to create the UnivariatePolynomialRing category
in this ticket or in a later ticket.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9944#comment:8>
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.
