#8974: Added eigenvalues, eigenvector, eigenspaces and minpoly to vector space
endomorphisms
------------------------------+---------------------------------------------
Reporter: mmarco | Owner: jason, was
Type: enhancement | Status: needs_work
Priority: trivial | Milestone: sage-4.4.4
Component: linear algebra | Keywords: eigenvalues
Author: Miguel Marco | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
------------------------------+---------------------------------------------
Comment(by mmarco):
I agree that using the same methods for matrices and morphisms would be
desiderable, but in my implementation i prefeared the mathematical
correctedness. I mean, if a morphism is defined in a vector space over QQ,
it doesn't make sense to say that its eigenvalues are numbers in a bigger
field. Strictly speaking, they are not eigenvalues of this morphism (they
are eigenvalues of a morphism defined in a bigger vector space, that can
be defined in a natural way from this first morphism). If we include the
functionality as a function of the vector space, i think it makes sense to
be mathematically correct in this sense.
Maybe a better way to implement this would be to call the methods of the
underlying matrix (avoiding thus the duplicity of code) and then select
only the values that belong to the base field (keeping thus the
mathematical correctedness).
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8974#comment:3>
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.
