Mathematica's unified symbolic architecture allows arbitrary extensibility in the output and input of notation.
TimeConstraint is an option for various algorithmic functions which specifies how long to spend trying a particular transformation or part of an algorithm.
NumberFieldRootsOfUnity[a] gives the roots of unity for the field \[DoubleStruckCapitalQ][a] generated by the algebraic number a.
ExpandAll[expr] expands out all products and integer powers in any part of expr. ExpandAll[expr, patt] avoids expanding parts of expr that do not contain terms matching the ...
WeierstrassZeta[u, {g_2, g_3}] gives the Weierstrass zeta function \[Zeta](u; g_2, g_3).
Unequal
(Built-in Mathematica Symbol) lhs != rhs or lhs != rhs returns False if lhs and rhs are identical.
IrreduciblePolynomialQ[poly] tests whether poly is an irreducible polynomial over the rationals.IrreduciblePolynomialQ[poly, Modulus -> p] tests whether poly is irreducible ...
SatisfiabilityInstances[bf] attempts to find a choice of variables that makes the Boolean function bf yield True.SatisfiabilityInstances[expr, {a_1, a_2, ...}] attempts to ...
$GeoLocation is a settable global variable that specifies the default geodetic location to use.
$MaxRootDegree specifies the maximum degree of polynomial to allow in Root objects.