Arithmetic is usually done over the full ring of integers; setting the option Modulus specifies that arithmetic should instead be done in the finite ring .
The setting Modulus specifies the full ring of integers.
Some functions require that Modulus be set to a prime, or a power of a prime. is a finite field when is prime.
Equations for Modulus can be given in Eliminate and related functions.