-
modulus a n ...procedure Computes the quotient of a and all n parameters or the multiplicative inverse of a just like the standard procedure / does, but operating on the finite field with the given modulus.
Note that a unique multiplicative inverse of an element in a finite field only exists if the element and the modulus are coprime. This procedure only works in that case.