PackedArrayForm[expr] prints with packed arrays in expr shown in summary form, without all their elements explicitly given.
TrigToRadicals[expr] converts trigonometric functions to radicals whenever possible in expr.
DifferentialEquationTrek is a setting for the option TrekGenerator that specifies that treks are generated from the phase space of the numerical solution of a differential ...
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.
Characteristic[f] gives the characteristic of the field f.
ExtensionDegree[f] gives the degree of the extension of the field f over its base field.