This symbol represents a univariate function, whose argument should be an integer.
When applied to an integer m, it denotes the equivalence relation of being
equal modulo m on Z.
This symbol represents a bivariate Boolean function, whose arguments should be integers.
When applied to integers a and b, it denotes the property that a divides b.
Commented Mathematical property (CMP):
For two integers a and b, the number a divides b if and only, in the magma Z
with multiplication, a is a left divisor of b.
This symbol represents a Boolean valued trivariate function, whose arguments should be integers.
When applied to integers a, b, m, it denotes the Boolean
evalue of the assertion that a and b are equal modulo m.
This symbol represents a Boolean valued trivariate function, whose arguments should be integers.
When applied to integers a, b, m, it denotes the Boolean
evalue of the assertion that a and b are not equal modulo m.
This symbol represents a bivariate function, whose arguments should be integers.
If a, m are integers, then class(a,m) denotes the residue class a mod m in setname2.Zm.
This symbol denotes the univariate Euler totient function.
If m is an integer, then euler(m) denotes the order of the multiplicative
group of invertible elements in
the residue class ring Z/mZ.
This symbol denotes a binary function. Its first argument shoud be a prime
number p, the second an integer n.
When applied to p and n, it represents the highest power of p occurring in a
factorization of n.
