Modular equation
Jump to navigation
Jump to search
A relation which has the form expression EQUIV expression ("mod" expression)
. The modulus will be automatically applied whenever the equation changes, depending on the type of the modulus:
- Positive integer modulus: Any integers in the equation will be reduced to a remainder smaller than the modulus
- Symbolic modulus (single symbol): Any occurrence of the modulus in the equation will be replaced by 0
The brackets around "mod"
can be omitted.