[Next] [Prev] [Right] [Left] [Up] [Index] [Root]
Access Functions

Access Functions

# S : List -> RngIntElt
The length of the list S.
IsEmpty(S) : List -> BoolElt
Return whether S is empty (has zero length).
S[i] : List, RngIntElt -> Elt
The i-th term of the list S. If either i <= 0 or i > #S + 1, then an error results. Here i is allowed to be a multi-index (see Introduction for the interpretation).
[Next] [Prev] [Right] [Left] [Up] [Index] [Root]