Redundancy( C )
Redundancy returns the redundancy r of C, which is equal to the
number of check symbols in each element. If C is not a linear code the
redundancy is not defined and Redundancy returns an error.
If a linear code C has dimension k and word length n, it has redundancy r=n-k.
gap> C := TernaryGolayCode();
a cyclic [11,6,5]2 ternary Golay code over GF(3)
gap> Redundancy(C);
5
gap> Redundancy( DualCode(C) );
6
GAP 3.4.4