Skip to contents

Handles the sanity check for the parameterisation (P,a,b)

Usage

assert_sane_parameterication(P, a, b)

Arguments

P

Modulus used to devide n, iff n is equivalent to (0 mod P).

a

Factor by which to multiply n.

b

Value to add to the scaled value of n.

Details

Required by both the function and reverse function, to assert that they have sane parameters, otherwise will force stop the execution.