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 equidistant.

IsMDS(C) : Code -> BoolElt

True iff the linear code C is maximum-distance separable; that is, has parameters [n, k, n - k + 1].

True iff the binary linear code C is nearly perfect.

True iff the linear code C is perfect; that is, iff the cardinality of C equals the sphere packing bound of C.

True iff the linear code C is projective.

IsSelfOrthogonal(C) : Code -> BoolElt

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

IsWeaklySelfOrthogonal(C) : Code -> BoolElt

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

True iff the codeword u is the zero vector.