CohenTopLevel -- a strategy value for
LLL(..., Strategy => ...) used to specify that the all-integer LLL algortithm from H.Cohen's book (with improvements by Euchner and Schnorr) should be used, as coded in the front-end of Macaulay2. This is basically the same algorithm as
Strategy=>CohenEngine, but is written at top level, so that it is relatively easy to adapt the code to other situations.