ImpliesQ[expr_1, expr_2] tests whether the expression expr_1 implies expr_2.
FieldIrreducible[f, s] gives the irreducible polynomial in the symbol s associated with the field f.
FunctionOfCoefficients[g] is a setting for the option FormatType that specifies the format g[c_0, c_1, ...] for an element, where c_0, c_1, ... are the coefficients in the ...
PerfectPowerQ[e, n] gives True if e is a perfect n\[Null]^th power in its field, and False otherwise.
PolynomialToElement[f, poly] gives an element in the field f corresponding to the univariate polynomial poly with integer coefficients.
Successor[e] gives the next element in a canonical ordering of the field elements.
NFourierCoefficient[expr, t, n] gives a numerical approximation to the n \[Null]^th coefficient in the Fourier exponential series expansion of expr, where expr is a periodic ...
NFourierSinCoefficient[expr, t, n] gives a numerical approximation to the n\[Null]^th coefficient in the Fourier sine series expansion of expr, where expr is a periodic ...
EdgeList
(Graph Utilities Package Symbol) EdgeList[g] gives a list of edges in the graph g
AddInputAlias[alias -> boxes] adds the alias Esc\[ThinSpace]alias\[ThinSpace]Esc for boxes to the aliases in the current notebook. AddInputAlias[alias -> boxes, notebook] ...