33.23 Functions for Row Space Cosets

Since row space cosets are domains, all set theoretic functions are applicable to them.

Representative returns the value of the representative component. Note that equal cosets may have different representatives. Canonical representatives can be computed using CanonicalRepresentative.

CanonicalRepresentative( C ) :

returns the canonical representative of the row space coset C, which is defined as the result of SiftedVector( B, v ) where C = v + U, and B is the canonical basis of U.

Previous Up Top Next
Index