ExistsRealQ (Experimental Package Symbol)

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 (Experimental Package Symbol)

ForAllRealQ[ineqs, {x_1, x_2, ...}] tests whether for all real values of the x_i the inequalities and equations ineqs are satisfied.

ImpliesRealQ (Experimental Package Symbol)

ImpliesRealQ[ineqs_1, ineqs_2] tests whether the inequalities and equations ineqs_1 imply the ineqs_2 for all real values of all variables.

ExtensionDegree (Finite Fields Package Symbol)

ExtensionDegree[f] gives the degree of the extension of the field f over its base field.

FieldIrreducible (Finite Fields Package Symbol)

FieldIrreducible[f, s] gives the irreducible polynomial in the symbol s associated with the field f.

PolynomialToElement (Finite Fields Package Symbol)

PolynomialToElement[f, poly] gives an element in the field f corresponding to the univariate polynomial poly with integer coefficients.

HertzToCents (Music Package Symbol)

HertzToCents[{freq_1, freq_2, ...}] converts a list of frequencies freq_1, freq_2, ..., measured in Hertz to a list of intervals measured in cents.

AddInputAlias (Notation Package Symbol)

AddInputAlias[alias -> boxes] adds the alias Esc\[ThinSpace]alias\[ThinSpace]Esc for boxes to the aliases in the current notebook. AddInputAlias[alias -> boxes, notebook] ...

AutoLoadNotationPalette (Notation Package Symbol)

AutoLoadNotationPalette specifies whether the Notation palette is opened when the Notation Package is loaded.

CreateNotationRules (Notation Package Symbol)

CreateNotationRules is a possible value for the Action option to Notation, Symbolize and InfixNotation.