Function ADS::mulMod61

• Defined in File NumberTheory.h

Function Documentation

constexpr U64 ADS::mulMod61(U64 a, U64 b)

a b mod 2^61 - 1, by four products of 32 bits and the folding 2^61 = 1 mod 2^61 - 1

Pre:

a < 2^61 - 1 and b < 2^61 - 1

Post:

the result is below 2^61 - 1