next up previous contents index
Next: OrderedArithmeticType Up: MachineInteger Previous: bytes,max,min   Contents   Index


modX,modInverse


Usage

mod_X(a, b, n)
modInverse(a, n)


Parameter Type Description
a, b, n % machine integers


Signatures

mod_X: (%, %, %) $\to$ %
modInverse: (%, %) $\to$ %


Returns

mod_X(a, b, n) returns $(a X b) \pmod n$ where $X$ is one of $+,-,\ast,/,\land$, while modInverse(a, b) returns the inverse of $a$ modulo $n$.


Remarks

Those operations require that $0 \le a, b < n$.



Manuel Bronstein 2004-06-28