#11555: Expand print representation of free module morphisms
------------------------------+---------------------------------------------
Reporter: rbeezer | Owner: jason, was
Type: enhancement | Status: new
Priority: minor | Milestone: sage-4.7.2
Component: linear algebra | Keywords:
Work_issues: | Upstream: N/A
Reviewer: | Author:
Merged: | Dependencies:
------------------------------+---------------------------------------------
Morphisms between free modules are basically represented by matrices.
Here is how they sometimes print:
{{{
sage: V = ZZ^6
sage: W = ZZ^4
sage: m = matrix(QQ, [[1, 0, 0 ,0], [0]*4, [0]*4, [0]*4, [0]*4, [0]*4])
sage: phi = V.hom(m, W)
sage: rho = phi.restrict_codomain(W.span([W.0]))
sage: rho
Free module morphism defined by the matrix
(not printing 6 x 1 matrix)
Domain: Ambient free module of rank 6 over the principal ideal domain ...
Codomain: Free module of degree 4 and rank 1 over Integer Ring
Echelon ...
}}}
The cutoff (...) on the domains is totally arbitrary, at 60 characters.
Here is the new output with upcoming patch:
{{{
Free module morphism defined by the matrix
[1]
[0]
[0]
[0]
[0]
[0]
Domain: Ambient free module of rank 6 over the principal ideal domain
Integer Ring
Codomain: Free module of degree 4 and rank 1 over Integer Ring
Echelon basis matrix:
[1 0 0 0]
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11555>
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.
