#11068: Basic implementation of one- and twosided ideals of non-commutative
rings,
and quotients by twosided ideals
-----------------------------------------------------------------+----------
Reporter: SimonKing |
Owner: AlexGhitza
Type: enhancement |
Status: positive_review
Priority: major |
Milestone: sage-4.7.2
Component: algebra |
Keywords: onesided twosided ideal noncommutative ring sd32
Work_issues: multiplication in quotient rings of matrix spaces |
Upstream: N/A
Reviewer: |
Author: Simon King
Merged: |
Dependencies: #10961, #9138, #11115, #11342
-----------------------------------------------------------------+----------
Comment(by SimonKing):
There has been a short discussion on [http://groups.google.com/group/sage-
devel/browse_thread/thread/3635c832b051f9c6 sage-devel]. The aim was to
make quotient rings unique parents, which also means that a better
framework should be provided for testing equality of ideals.
First, I thought it would be best to do it on top of #9138 and add it as a
new dependency for this ticket.
On the other hand, #11342 already has a positive review, and I hope that
#9138 will soon be off my plate as well. Hence, the only dependency left
for this ticket is #11115. Probably it will be better to do the new stuff
on top of this ticket.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11068#comment:48>
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.
