Factor[poly] factors a polynomial over the integers. Factor[poly, Modulus -> p] factors a polynomial modulo a prime p. Factor[poly, Extension -> {a_1, a_2, ...}] factors a ...

ForAll[x, expr] represents the statement that expr is True for all values of x. ForAll[x, cond, expr] states that expr is True for all x satisfying the condition cond. ...

FunctionExpand[expr] tries to expand out special and certain other functions in expr, when possible reducing compound arguments to simpler ones. FunctionExpand[expr, assum] ...

Row[{expr_1, expr_2, ...}] is an object that formats with the expr_i arranged in a row, potentially extending over several lines. Row[list, s] inserts s as a separator ...

SortBy[list, f] sorts the elements of list in the order defined by applying f to each of them.

Total[list] gives the total of the elements in list. Total[list, n] totals all elements down to level n. Total[list, {n}] totals elements at level n. Total[list, {n_1, n_2}] ...

The leading term of a polynomial can be chosen in many different ways. For multivariate polynomials, sorting by the total degree of the monomials is often useful. Different ...

Mathematica's core tree-oriented symbolic language makes it well suited to working with a hierarchical view of C code as Mathematica expressions. This supports the use of the ...

Mod[m, n] gives the remainder on division of m by n. Mod[m, n, d] uses an offset d.

Defining Functions Functions as Procedures Manipulating Options