I can live with (V, projections, coprojections)
but I dislike hiding everything in lists (or lists of lists, or lists of
lists of lists..).
Being able to type VW.projections(1) would just be so much nicer.
--
You received this message because you are subscribed to the Google Groups
I am not a big fan of bundling everything into a single
bigger object. What about returning a triple
(V, projections, coprojections)?
Le 22/05/2019 à 11:19, Simon Brandhorst a écrit :
Right now I can do
sage: V = ZZ^2
sage: D = V.direct_sum(V)
sage: D
Free module of degree 4 and rank 4 over
Right now I can do
sage: V = ZZ^2
sage: D = V.direct_sum(V)
sage: D
Free module of degree 4 and rank 4 over Integer Ring
Echelon basis matrix:
[1 0 0 0]
[0 1 0 0]
[0 0 1 0]
[0 0 0 1]
But the result has forgotten that it is a direct sum.
Of a direct sum I expect, that it has a projection and a
