GeneralLowerBoundCoveringRadius( code )
GeneralLowerBoundCoveringRadius returns a lower bound on the
covering radius of code.
It uses as many functions which names start with LowerBoundCoveringRadius
as possible to find the best known lower bound (at least that
GUAVA knows of) together with
tables for the covering radius of binary linear codes with length
not greater than 64.
GAP 3.4.4