#11068: Basic implementation of one- and twosided ideals of non-commutative
rings,
and quotients by twosided ideals
----------------------------------------------------------------+-----------
Reporter: SimonKing | Owner:
AlexGhitza
Type: enhancement | Status:
needs_work
Priority: major | Milestone:
sage-4.7
Component: algebra | Keywords:
onesided twosided ideal noncommutative ring
Author: | Upstream:
N/A
Reviewer: | Merged:
Work_issues: Add examples; move code from ring.py to rings.py |
----------------------------------------------------------------+-----------
Comment(by SimonKing):
Replying to [comment:9 nthiery]:
> - that currently used in the category framework for sub quotients:
>
> P.lift either a plain Python method, or better the lift
> function as a morphism
> P.lift(x) lifts x to the ambient space of P
I think the object oriented mantra implies that the correct syntax for
lifting an element x of P to the ambient space of P is `x.lift()` (which
is implemented). And I am not a fan of providing stuff by attributes (so,
I wouldn't like `P.lift` being a morphism).
On the other hand, `P.lift(x)` could be understood as "P, please lift x!".
Moreover:
> - or that used in sage.rings.quotient_rings:
>
> P.lift()(x) lifts x to the ambient space of P
> P.lift() the lifting morphism
As you state, it is the "lifting morphism", not the "lift". The term
"lifting morphism" is used in the documentation as well. So, explicit
being better than implicit, "P.lift()" as it is used in
sage.rings.quotient_rings, should be renamed as "P.lifting_morphism()".
So, I tend towards using the notions from the subquotient framework.
> Do you mind running this dicussion on sage-devel?
Not at all. I just hope that people will answer.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11068#comment:10>
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.
