Stack[] shows the current evaluation stack, giving a list of the tags associated with evaluations that are currently being done. Stack[pattern] gives a list of expressions ...

Eigensystem[m] gives a list {values, vectors} of the eigenvalues and eigenvectors of the square matrix m. Eigensystem[{m, a}] gives the generalized eigenvalues and ...

Messages[symbol] gives all the messages assigned to a particular symbol.

AlgebraicNumberPolynomial[a, x] gives the polynomial in x corresponding to the AlgebraicNumber object a.

Structural operations on polynomials. Here is a polynomial in one variable. Expand expands out products and powers, writing the polynomial as a simple sum of terms.

RecurrenceTable[eqns, expr, {n, n_max}] generates a list of values of expr for successive n based on solving the recurrence equations eqns.RecurrenceTable[eqns, expr, nspec] ...

Algebraic is now available as the newly added built-in Mathematica kernel function AlgebraicNumber. ToCommonField and ToNumberFieldElement are now available as the newly ...

DivisorSum[n, form] represents the sum of form[i] for all i that divide n.DivisorSum[n, form, cond] includes only those divisors for which cond[i] gives True.

Shorthand notations are a part of Mathematica 's rich syntax system that allows multiple ways to feed arguments to functions. In addition to creating compact code, using ...

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.