IsNormalCode( code )
IsNormalCode
returns true if code is normal.
A code is called normal if the norm of the code is not more
than two times the covering radius of the code plus one.
Almost all codes are normal, however some (non-linear) abnormal
codes have been found.
Often, it is difficult to find out whether a code is normal,
because it involves computing the covering radius.
However, IsNormalCode
uses much information from the literature
about normality for certain code parameters.
gap> IsNormalCode( HammingCode( 3, GF(2) ) ); true
GAP 3.4.4