Node:EICG, Next:ICG, Up:Definitions
y_n = inv(a*(n_0 + n) + b) (mod p) n >= 0
prng_new):
"eicg(p,a,b,n_0)"
prng_is_congruential is TRUE
prng_can_seed is TRUE. prng_seed will be used as
"n" in the next call to get_next.
prng_can_fast_sub and prng_can_fast_con are TRUE.