33.29 Row Space Coset Records

A row space coset v + U is a record with at least the following components.

isDomain :

always true,

isRowSpaceCoset :

always true,

isSpaceCoset :

always true,

factorDen :

the row space U if the coset is an element of V / U for a space V,

representative :

one element of the coset, note that equal cosets need not have equal representatives (see Row Space Cosets), operations :
the record SpaceCosetRowSpaceOps.

Previous Up Top Next
Index