33 Row Spaces

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.

Subsections

  1. More about Row Spaces
  2. Row Space Bases
  3. Row Space Cosets
  4. Quotient Spaces
  5. Subspaces and Parent Spaces
  6. RowSpace
  7. Operations for Row Spaces
  8. Functions for Row Spaces
  9. IsRowSpace
  10. Subspace
  11. AsSubspace
  12. AsSpace
  13. NormedVectors
  14. Coefficients for Row Space Bases
  15. SiftedVector
  16. Basis
  17. CanonicalBasis
  18. SemiEchelonBasis
  19. IsSemiEchelonBasis
  20. NumberVector
  21. ElementRowSpace
  22. Operations for Row Space Cosets
  23. Functions for Row Space Cosets
  24. IsSpaceCoset
  25. Operations for Quotient Spaces
  26. Functions for Quotient Spaces
  27. Row Space Records
  28. Row Space Basis Records
  29. Row Space Coset Records
  30. Quotient Space Records
Previous Up Next
Index

GAP 3.4.4
April 1997