UpperBoundCoveringRadiusCyclicCode( code )
This function returns an upper bound for the covering radius of code, which must be a cyclic code. It returns n - k + 1 - leftlceil fracw(g(x))2 rightrceil, where g(x) is the generator polynomial of code.
GAP 3.4.4