Intersection[list_1, list_2, ...] gives a sorted list of the elements common to all the list_i.

RamanujanTauZ[t] gives the Ramanujan tau Z-function Z(t).

TraceScan[f, expr] applies f to all expressions used in the evaluation of expr. TraceScan[f, expr, form] includes only those expressions which match form. TraceScan[f, expr, ...

Permutations are basic elements in algebra. They have a natural non-commutative product (as matrices do as well), and hence can encode highly nontrivial structures in a ...

NumberFieldIntegralBasis[a] gives an integral basis for the field \[DoubleStruckCapitalQ][a] generated by the algebraic number a.

MachineIntegerQ[expr] returns True if expr corresponds to a machine-sized integer, and False otherwise.

LinkPatterns[link] gives a list of the patterns for which definitions were set up when the external program associated with the specified MathLink connection was installed.

s : obj represents the pattern object obj, assigned the name s.

Verbatim[expr] represents expr in pattern matching, requiring that expr be matched exactly as it appears, with no substitutions for blanks or other transformations.

Apart[expr] rewrites a rational expression as a sum of terms with minimal denominators. Apart[expr, var] treats all variables other than var as constants.