The implementation of `is_lucas_probable_prime()` is based on [Sec. C.3.3 in FIPS-186-4](https://nvlpubs.nist.gov/nistpubs/FIPS/NIST.FIPS.186-4.pdf#page=84). The new version [FIPS-186-5 defines in Sec. B.3.3](https://nvlpubs.nist.gov/nistpubs/FIPS/NIST.FIPS.186-5.pdf#page=68) an additional check `GCD(C, (1-D)/4) = 1` which is not implemented in Botan so far.
The implementation of
is_lucas_probable_prime()is based on Sec. C.3.3 in FIPS-186-4.The new version FIPS-186-5 defines in Sec. B.3.3 an additional check
GCD(C, (1-D)/4) = 1which is not implemented in Botan so far.