IntegerExponent (Built-in Mathematica Symbol)

IntegerExponent[n, b] gives the highest power of b that divides n.

KroneckerDelta (Built-in Mathematica Symbol)

KroneckerDelta[n_1, n_2, ...] gives the Kronecker delta \[Delta] Subscript[n, 1] Subscript[n, 2] ..., equal to 1 if all the n_i are equal, and 0 otherwise.

Length (Built-in Mathematica Symbol)

Length[expr] gives the number of elements in expr.

MemberQ (Built-in Mathematica Symbol)

MemberQ[list, form] returns True if an element of list matches form, and False otherwise. MemberQ[list, form, levelspec] tests all parts of list specified by levelspec.

MultiplicativeOrder (Built-in Mathematica Symbol)

MultiplicativeOrder[k, n] gives the multiplicative order of k modulo n, defined as the smallest integer m such that k^m \[Congruent] 1 mod n. MultiplicativeOrder[k, n, {r_1, ...

Nand (Built-in Mathematica Symbol)

Nand[e_1, e_2, ...] is the logical NAND function. It evaluates its arguments in order, giving True immediately if any of them are False, and False if they are all True.

Nor (Built-in Mathematica Symbol)

Nor[e_1, e_2, ...] is the logical NOR function. It evaluates its arguments in order, giving False immediately if any of them are True, and True if they are all False.

PolynomialMod (Built-in Mathematica Symbol)

PolynomialMod[poly, m] gives the polynomial poly reduced modulo m. PolynomialMod[poly, {m_1, m_2, ...}] reduces modulo all of the m_i.

PolynomialRemainder (Built-in Mathematica Symbol)

PolynomialRemainder[p, q, x] gives the remainder from dividing p by q, treated as polynomials in x.

PowerMod (Built-in Mathematica Symbol)

PowerMod[a, b, m] gives a^b mod m. PowerMod[a, -1, m] finds the modular inverse of a modulo m.PowerMod[a, 1/r, m] finds a modular r\[Null]^th root of a.