Module scalar_mul_and_add_no_carry

Source

Functions§

assign
compute a * c + b = b + a * c
crt
compute a * c + b = b + a * c