33.30 Quotient Space Records

A quotient space V / U is a record with at least the following components.

isDomain :

always true,

isRowSpace :

always true,

isFactorSpace :

always true,

field :

the coefficients field,

factorNum :

the row space V (the numerator),

factorDen :

the row space U (the denominator),

operations :

the record FactorRowSpaceOps.

Previous Up Top
Index