Polynomials Modulo Primes (Mathematica Tutorial)

Mathematica can work with polynomials whose coefficients are in the finite field Z_p of integers modulo a prime p. Functions for manipulating polynomials over finite fields. ...

GreaterEqual (Built-in Mathematica Symbol)

x >= y or x >= y yields True if x is determined to be greater than or equal to y. x_1 >= x_2 >= x_3 yields True if the x_i form a non-increasing sequence.

Greater (Built-in Mathematica Symbol)

x > y yields True if x is determined to be greater than y. x_1 > x_2 > x_3 yields True if the x_i form a strictly decreasing sequence.

KroneckerSymbol (Built-in Mathematica Symbol)

KroneckerSymbol[n, m] gives the Kronecker symbol (n/m).

LessEqual (Built-in Mathematica Symbol)

x <= y or x <= y yields True if x is determined to be less than or equal to y. x_1 <= x_2 <= x_3 yields True if the x TraditionalForm\`i form a nondecreasing sequence.

Less (Built-in Mathematica Symbol)

x < y yields True if x is determined to be less than y. x_1 < x_2 < x_3 yields True if the x_i form a strictly increasing sequence.

BooleanConvert (Built-in Mathematica Symbol)

BooleanConvert[expr] converts the Boolean expression expr to disjunctive normal form.BooleanConvert[expr, form] converts the Boolean expression expr to the specified ...

ArcCot (Built-in Mathematica Symbol)

ArcCot[z] gives the arc cotangent cot -1 (z) of the complex number z.

LogicalExpand (Built-in Mathematica Symbol)

LogicalExpand[expr] expands out logical combinations of equations, inequalities, and other functions.

InverseFunction (Built-in Mathematica Symbol)

InverseFunction[f] represents the inverse of the function f, defined so that InverseFunction[f][y] gives the value of x for which f[x] is equal to y. InverseFunction[f, n, ...