LowerBoundCoveringRadiusInduction( n, r )
LowerBoundCoveringRadiusInduction
returns a lower bound
for the size of a code with length n and
covering radius r.
If n = 2r+2 and r geq 1, the returned value is 4.
If n = 2r+3 and r geq 1, the returned value is 7.
If n = 2r+4 and r geq 4, the returned value is 8.
Otherwise, 0 is returned.
GAP 3.4.4