- (with-modulus modulus body ...)syntax
Overloads the symbols +, add1, -, sub1, *, / and expt inside body with the modular versions operating on the finite field with the given modulus instead of the standard arithmetic procedures.
Overloads the symbols +, add1, -, sub1, *, / and expt inside body with the modular versions operating on the finite field with the given modulus instead of the standard arithmetic procedures.