id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
11555 Expand print representation of free module morphisms rbeezer jason was "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]
}}}
'''Apply:'''
1. [attachment:trac_11555-free-module-morphism-printing.patch]" enhancement closed minor sage-4.8 linear algebra fixed beginner novoselt sage-4.8.alpha1 Rob Beezer Julian Rueth N/A