Truncation is a setting for the option RoundingRule of SetArithmetic that specifies rounding by discarding excess digits.
BesselSimplify[expr] transforms Bessel functions in expr, trying to either decrease the number of Bessel functions, or convert Bessel functions into more elementary functions.
FromPackedArray[expr] unpacks expr so that its internal representation is not a packed array.
NotebookConvert["name"] converts a Mathematica notebook from a previous version of Mathematica to one for the current version.
TrigToRadicals[expr] converts trigonometric functions to radicals whenever possible in expr.
CompileEvaluate[expr] compiles expr and then evaluates the resulting compiled code.
ExistsRealQ[ineqs, {x_1, x_2, ...}] tests whether there exist real values of the x_i for which the inequalities and equations ineqs are satisfied.
ForAllRealQ[ineqs, {x_1, x_2, ...}] tests whether for all real values of the x_i the inequalities and equations ineqs are satisfied.
ImpliesRealQ[ineqs_1, ineqs_2] tests whether the inequalities and equations ineqs_1 imply the ineqs_2 for all real values of all variables.
ElementToPolynomial[e, s] gives a polynomial in the symbol s corresponding to the field element e.ElementToPolynomial[f, s] gives the irreducible polynomial in s of the field ...