#9138: Categories for all rings
--------------------------+-------------------------------------------------
Reporter: jbandlow | Owner: nthiery
Type: defect | Status: needs_review
Priority: major | Milestone: sage-4.7
Component: categories | Keywords: introspection, categories for rings
Work_issues: | Upstream: N/A
Reviewer: | Author: Simon King
Merged: | Dependencies:
--------------------------+-------------------------------------------------
Comment(by SimonKing):
I just noticed:
The patch not only depends on #9944 but is based on sage-4.7.alpha5. I
don't know which other patches are responsible for that, but the part of
the patch that concerns the polybori code fails to apply with sage-4.6.
Replying to [comment:53 nthiery]:
> > What do you think: Should it perhaps better be "join of Category of
commutative algebras over Rational Field and Category of subquotients
..."?
> > After all, P belongs to the category of commutative algebras over the
rational field.
>
> If multiplication by elements of QQ are implemented (and I assume they
> are), then yes I definitely would go for commutative algebras.
I looked at the code, and it seems that at least operation of the base
ring exists. But I think one should also implement an `_rmul_` and
`_lmul_` for quotient ring elements - it is missing, so far.
Best regards,
Simon
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9138#comment:54>
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.
