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.

PrimeQ (Built-in Mathematica Symbol)

PrimeQ[expr] yields True if expr is a prime number, and yields False otherwise.

Range (Built-in Mathematica Symbol)

Range[i_max] generates the list {1, 2, ..., i_max}. Range[i_min, i_max] generates the list {i_min, ..., i_max}. Range[i_min, i_max, di] uses step di.