#8276: Make the one(), identity_matrix() and zero_matrix() cached and immutable.
------------------------------+---------------------------------------------
Reporter: hivert | Owner: hivert
Type: defect | Status: needs_review
Priority: major | Milestone: sage-4.3.3
Component: linear algebra | Keywords: One Zero mutable.
Author: Florent Hivert | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
------------------------------+---------------------------------------------
Comment(by mraum):
The reason is the categorie framework. MatrixSpaces are vector spaces, so
they implement zero(). In my oppinion this should absolutely coinside with
MM(0) since everybody will expect it so do so. Hence, it should be
mutable.
one() is implemented seperatedly and is just one = identity_matrix. In my
oppinion this is a defect, since according to the framework is normally
coincides with MM(1). If MatrixSpaces was a ring it would be exactly this.
Could I hear your oppinion? If nobody is opposed I will set this to
positive review tomorrow evening and I will open a follow up which sets
one = lambda self : self(1) .
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8276#comment:17>
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.
