Modular equation

From iMath
(Redirected from EQUIV ... MOD)
Jump to: navigation, 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.