65.159 UpperBoundCoveringRadiusStrength

UpperBoundCoveringRadiusStrength( code )

UpperBoundCoveringRadiusStrength returns an upper bound for the covering radius of code.

First the code is punctured at the zero coordinates (i.e. the coordinates where all codewords have a zero). If the remaining code has strength 1 (i.e. each coordinate contains each element of the field an equal number of times), then it returns frac{q-1}{q}m + (n-m) (where q is the size of the field and m is the length of punctured code), otherwise it returns n. This bound works for all codes.

Previous Up Top Next
Index

GAP 3.4.4
April 1997