Boole[expr] yields 1 if expr is True and 0 if it is False.

Assumptions is an option for functions such as Simplify, Refine, and Integrate that specifies default assumptions to be made about symbolic quantities.

$Assumptions is the default setting for the Assumptions option used in such functions as Simplify, Refine, and Integrate.

Collect[expr, x] collects together terms involving the same powers of objects matching x. Collect[expr, {x_1, x_2, ...}] collects together terms that involve the same powers ...

TrigFactor[expr] factors trigonometric functions in expr.

Mathematica's symbolic character allows it to provide deep integrated support for algebraic numbers. At the core are Root objects, which provide exact implicit ...

With its convenient symbolic representation of algebraic numbers, Mathematica's state-of-the-art algebraic number theory capabilities provide a concrete implementation of one ...

DirectedInfinity[] represents an infinite numerical quantity whose direction in the complex plane is unknown. DirectedInfinity[z] represents an infinite numerical quantity ...

Since many functions in Mathematica give solutions in the form of rules, you need to be able to use these rules to explore and interpret your results. Although many of the ...

ZeroTest is an option to various linear algebra functions that gives a function to use in testing whether symbolic expressions should be treated as zero.