Skip to content

Commit

Permalink
explicitly document that IsRowListMatrix objects are "dense"
Browse files Browse the repository at this point in the history
The documentation of the relevant operations for objects in `IsRowListMatrix`
(list access, list assignment, `IsBound[]`, ...) implies that such objects are
"dense" (although they need not be lists),
and this follows also from the fact that such an object `M` is in `IsMatrixObj`
and hence admits entry access `M[i,j]`,
for `i`and `j` up to `NumberRows( M )` and `NumberColumns( M )`, respectively.
However, it is better to say this explicitly (see also gap-system#4533).
  • Loading branch information
ThomasBreuer committed Jun 11, 2021
1 parent a0c073f commit 8a9ad5f
Showing 1 changed file with 4 additions and 2 deletions.
6 changes: 4 additions & 2 deletions lib/matobj1.gd
Original file line number Diff line number Diff line change
Expand Up @@ -231,8 +231,10 @@ DeclareCategory( "IsMatrixObj", IsMatrixOrMatrixObj );
##
## <Description>
## A <E>row list matrix object</E> is a matrix object
## (see <Ref Filt="IsMatrixObj"/>) which admits access to their rows,
## via list access <Ref Oper="\[\]"/>.
## (see <Ref Filt="IsMatrixObj"/>) <M>M</M> which admits access to its rows,
## that is, list access <M>M[i]</M> (see <Ref Oper="\[\]"/>) yields
## the <M>i</M>-th row of <M>M</M>,
## for <M>1 \leq i \leq</M> <C>NumberRows( </C><M>M</M><C> )</C>.
## <P/>
## All rows are <Ref Filt="IsVectorObj"/> objects in the same
## representation.
Expand Down

0 comments on commit 8a9ad5f

Please sign in to comment.