This chapter consists essentially of four parts, according to the four different types of data structures that are described, after the usual brief discussion of the objects (see More about Row Spaces, Row Space Bases, Row Space Cosets, Quotient Spaces, Subspaces and Parent Spaces).
The first part introduces row spaces, and their operations and functions (see RowSpace, Operations for Row Spaces, Functions for Row Spaces, IsRowSpace, Subspace, AsSubspace, AsSpace, NormedVectors).
The second part introduces bases for row spaces, and their operations and functions (see Coefficients for Row Space Bases, SiftedVector, Basis, CanonicalBasis, SemiEchelonBasis, IsSemiEchelonBasis, NumberVector, ElementRowSpace).
The third part introduces row space cosets, and their operations and Functions for Row Space Cosets, IsSpaceCoset).
The fourth part introduces quotient spaces of row spaces, and their Functions for Quotient Spaces).
The obligatory last sections describe the details of the implementation of the data structures (see Row Space Records, Row Space Basis Records, Row Space Coset Records, Quotient Space Records).
Note: The current implementation of row spaces provides no homomorphisms of row spaces (linear maps), and also quotient spaces of quotient spaces are not supported.
GAP 3.4.4