AlgebraicNumberDenominator[a] gives the smallest positive integer n such that n a is an algebraic integer.
CoefficientArrays[polys, vars] gives the arrays of coefficients of the variables vars in the polynomials polys.
PowerMod[a, b, m] gives a^b mod m. PowerMod[a, -1, m] finds the modular inverse of a modulo m.PowerMod[a, 1/r, m] finds a modular r\[Null]^th root of a.
Trig
(Built-in Mathematica Symbol) Trig is an option for various polynomial manipulation functions that specifies whether trigonometric functions should be treated like polynomial elements.
ButcherPlotRootSize is an option to ButcherPlot that specifies a scaling factor for the circle highlighting the root.
When searching for a real simple root of a real valued function, it is possible to take advantage of the special geometry of the problem, where the function crosses the axis ...
x >= y or x >= y yields True if x is determined to be greater than or equal to y. x_1 >= x_2 >= x_3 yields True if the x_i form a non-increasing sequence.
Greater
(Built-in Mathematica Symbol) x > y yields True if x is determined to be greater than y. x_1 > x_2 > x_3 yields True if the x_i form a strictly decreasing sequence.
x <= y or x <= y yields True if x is determined to be less than or equal to y. x_1 <= x_2 <= x_3 yields True if the x TraditionalForm\`i form a nondecreasing sequence.
Less
(Built-in Mathematica Symbol) x < y yields True if x is determined to be less than y. x_1 < x_2 < x_3 yields True if the x_i form a strictly increasing sequence.