RoundToEven (Computer Arithmetic Package Symbol)

RoundToEven is a setting for the option RoundingRule of SetArithmetic that specifies rounding to the nearest representable number and, in the case of a tie, rounding to the ...

RoundToInfinity (Computer Arithmetic Package Symbol)

RoundToInfinity is a setting for the option RoundingRule of SetArithmetic that specifies rounding to the nearest representable number and, in the case of a tie, rounding away ...

Ulps (Computer Arithmetic Package Symbol)

Ulps is a unit of error in machine arithmetic.

BesselSimplify (Developer Package Symbol)

BesselSimplify[expr] transforms Bessel functions in expr, trying to either decrease the number of Bessel functions, or convert Bessel functions into more elementary functions.

GammaSimplify (Developer Package Symbol)

GammaSimplify[expr] transforms gamma functions in expr, trying to either decrease the number of gamma functions, or convert combinations of them into more elementary ...

PolyGammaSimplify (Developer Package Symbol)

PolyGammaSimplify[expr] transforms polygamma functions in expr, trying to either decrease the number of polygamma functions, or convert combinations of them into more ...

PolyLogSimplify (Developer Package Symbol)

PolyLogSimplify[expr] transforms polylogarithm functions in expr, trying to either decrease the number of polylogarithm functions, or convert combinations of them into more ...

TrigToRadicals (Developer Package Symbol)

TrigToRadicals[expr] converts trigonometric functions to radicals whenever possible in expr.

ZetaSimplify (Developer Package Symbol)

ZetaSimplify[expr] transforms zeta functions in expr, trying to either decrease the number of zeta functions, or convert combinations of them into more elementary functions.

ImpliesQ (Experimental Package Symbol)

ImpliesQ[expr_1, expr_2] tests whether the expression expr_1 implies expr_2.