UpperBoundCoveringRadiusDelsarte( code )
UpperBoundCoveringRadiusDelsarte
returns an upper bound for the
covering radius of code.
This upperbound is equal to the em external distance of code,
this is the minimum distance of the dual code, if
code is a linear code.
GAP 3.4.4