A quotient space V / U is a record with at least the following components.
isDomain
true
isRowSpace
isFactorSpace
field
factorNum
factorDen
operations
FactorRowSpaceOps
Previous Up Top Index