Dear GAP Forum,
Axel Buurman asked about the function DecreaseMinimumDistanceLowerBound in
GUAVA. The function is implemented in the GAP language, so there is access to
the source code, which is in the file pkg/guava/lib/codemisc.gi of the GAP
distribution, starting around line 400. The function seems to have at least
some explanatory comments, although I can find no mention of a parameter called
Unfortunately, the original authors of GUAVA are no longer maintaining it, so
we can't give a more comprehensive answer.