#804: Matrix should not inherit from AlgebraElement
-------------------------------------+-------------------------------------
Reporter: roed | Owner: was
Type: defect | Status: needs_review
Priority: minor | Milestone: sage-6.2
Component: linear algebra | Resolution:
Keywords: AlgebraElement, | Merged in:
Matrix | Reviewers:
Authors: Peter Bruin | Work issues:
Report Upstream: N/A | Commit:
Branch: | 0fd3d318a230b2865cf331c2c696c9d05ceba487
u/pbruin/804-Matrix_inheritance | Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by pbruin):
Replying to [comment:15 vdelecroix]:
> At first glance, I thought this ticket would help to build tropical
matrices as discussed in #14507... but no, the "base ring" for tropical
matrix is a [http://en.wikipedia.org/wiki/Semiring semiring] and not a
ring (no requirement of an additive inverse). Am I right?
I think you are. Everywhere in Sage, matrices and vectors are assumed to
have coefficients in some base ring. This would probably be much harder
to change than the inheritance issue addressed in this ticket. If enough
people want tropical matrices, then it seems we need new classes
`Matrix_semiring` and `Vector_semiring`, possibly inheriting from some
`ModuleElement_semiring`...
--
Ticket URL: <http://trac.sagemath.org/ticket/804#comment:16>
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 unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
