RealQP1 -- use a combination of double precision and quad precision real numbers
Description
RealQP1 -- a strategy value for LLL(..., Strategy => ...) used to specify that an approximate LLL basis will be constructed, using double precision. Only valid for the BKZ reduction condition.