#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, Simon King | Upstream: N/A
Reviewer: Nicolas M. Thiéry, Mike Hansen | Merged:
Work_issues: |
----------------------------------------------+-----------------------------
Comment(by nthiery):
Replying to [comment:22 SimonKing]:
> Problems:
>
> * We should not assume that any ring has a unit (ok, polynomial rings
over a unital ring have...).
Rings() assumes its objects to be unital. If we want to support
polynomials over non unital rings, then this should go through the use
of Rngs(). If we make sure the coercion morphism from the base ring is
always declared by Algebras(), all we will have to do is to use some new
category NonUnitalAlgebras() when the base ring is just in Rngs(). Bwt:
having a PolynomialRings() (PolynomialRngs?) category would be a good way
to factor out this logic.
But one thing at a time :-)
Cheers,
Nicolas
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9944#comment:25>
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.
