UpperBoundCoveringRadiusStrength( code )
UpperBoundCoveringRadiusStrength
returns an upper bound for the
covering radius of code.
First the code is punctured at the zero coordinates (i.e. the coordinates where all codewords have a zero). If the remaining code has strength 1 (i.e. each coordinate contains each element of the field an equal number of times), then it returns frac{q-1}{q}m + (n-m) (where q is the size of the field and m is the length of punctured code), otherwise it returns n. This bound works for all codes.
GAP 3.4.4