65.38 IsSelfDualCode

IsSelfDualCode( C )

IsSelfDualCode returns true if C is self-dual, i.e. when C is equal to its dual code (see also DualCode). If a code is self-dual, it automatically is self-orthogonal (see IsSelfOrthogonalCode).

If C is a non-linear code, it cannot be self-dual, so false is returned. A linear code can only be self-dual when its dimension k is equal to the redundancy r.

    gap> IsSelfDualCode( ExtendedBinaryGolayCode() );
    true
    gap> C := ReedMullerCode( 1, 3 );
    a linear [8,4,4]2 Reed-Muller (1,3) code over GF(2)
    gap> DualCode( C ) = C;
    true 

Previous Up Top Next
Index