#19609: Added image and kernel methods to morphisms of finite-dimensional
modules
with basis
-------------------------------------+-------------------------------------
Reporter: tscrim | Owner: sage-combinat
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.10
Component: linear algebra | Resolution:
Keywords: kernel, image, | Merged in:
module morphism | Reviewers:
Authors: Travis Scrimshaw | Work issues:
Report Upstream: N/A | Commit:
Branch: | 289d8c22e5fca2ef89131e7095516861bdd8e3d1
public/categories/image_kernel_module_morphism-19609| Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by tscrim):
Replying to [comment:6 virmaux]:
> Replying to [comment:5 tscrim]:
> > I think there is only the right kernel because I chose to use the
right matrix version and there is no ambiguity. Perhaps I'm not thinking
of something...
>
> Maybe saying it in the documentation; I often check the code to know
whether it is done on the right or left :P
I guess that wasn't very clear. What I meant to say is that there is no
right vs left because, obstinately, there is no matrix and the kernel is
well defined in terms of the morphism. Also, for matrices, the left
version would be the kernel of the dual map (under the convention that
vector spaces are represented by column vectors). So I'm not sure what you
would want me to say in the doc.
--
Ticket URL: <http://trac.sagemath.org/ticket/19609#comment:7>
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.
