For the following operators, C and D are codes defined as a subset (or subspace) of the K-space V.

u in C : ModTupFldElt, Code -> BoolElt

True iff the vector u of V belongs to the code C.

True iff the vector u of V does not belong to the code C.

True iff the code C is a subcode of the code D.

True iff the code C is not a subcode of the code D.

True iff the codes C and D are equal.

True iff the codes C and D are not equal.

True iff the linear code C is a cyclic code.

True iff the linear code C is self-orthogonal (i.e. C equals the dual of C).

True iff the linear code C is weakly self-orthogonal (i.e. C is contained in the dual of C).

True iff the codeword u is the zero vector.