Function ADS::witness

Function Documentation

inline bool ADS::witness(U64 n, U64 b)

true if b is a witness that the odd n > 2 is composite

Pre:

n >= 3 odd and 1 <= b < n