65.156 LowerBoundCoveringRadiusInduction

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.

Previous Up Top Next
Index

GAP 3.4.4
April 1997