modulus `a``n``...`procedureComputes 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.