Dear Forum,
With the "gauss" package loaded, I noticed that "Display" behaves strangely
when the indices in a sparse matrix are not strictly increasing. I am
assuming it is allowed to have non-increasing indices because the manual
does not require otherwise and also because the conversion to an ordinary
matrix works as expected. The whole concept of a sparse matrix suggests, in
my opinion, that we should not worry about the linear ordering of matrix
entries any more.
Anvita
gap> LoadPackage("gauss");
───────────────────────────────────────────────────────────────
Loading Gauss 2017.06.14 (Extended Gauss functionality for GAP)
by Simon Goertzen (http://wwwb.math.rwth-aachen.de/goertzen).
Homepage: http://homalg-project.github.io/homalg_project/Gauss/
───────────────────────────────────────────────────────────────
true
gap> SN := SparseMatrix( 2, 3,
> [ [ 2 ], [ 3, 1 ] ],
> [ [ 1 ], [ 3, 2 ] ] * One( GF(5) ) );
<a 2 x 3 sparse matrix over GF(5)>
gap> Display( ConvertSparseMatrixToMatrix ( SN ) ); # expected output
. 1 .
2 . 3
gap> Display(SN); # corrupted output
. 1 .
. . 3 2 . .
_______________________________________________
Forum mailing list
Forum@gap-system.org
https://mail.gap-system.org/mailman/listinfo/forum
