GeneralUpperBoundCoveringRadius( code )
GeneralUpperBoundCoveringRadius
returns an upper bound on the
covering radius of code.
It uses as many functions which names start with
UpperBoundCoveringRadius
as possible to find the best known
upper bound (at least that GUAVA knows of).
GAP 3.4.4