SetCoveringRadius( code, intlist )
SetCoveringRadius
enables the user to set the covering radius
herself, instead of letting GUAVA compute it.
If intlist is an integer, GUAVA will simply put it in
the
boundsCoveringRadius
field.
If it is a list of integers, however, it will intersect this list
with the boundsCoveringRadius
field, thus taking the best of both
lists.
If this would leave an empty list, the field is set to intlist.
Because some other computations use the covering radius of the code, it is important that the entered value is not wrong, otherwise new results may be invalid.
gap> code := BCHCode( 17, 3, GF(2) );; gap> BoundsCoveringRadius( code ); [ 3 .. 4 ] gap> SetCoveringRadius( code, [ 2 .. 3 ] ); gap> BoundsCoveringRadius( code ); [ 3 ]
GAP 3.4.4