Resultant[poly_1, poly_2, var] computes the resultant of the polynomials poly_1 and poly_2 with respect to the variable var. Resultant[poly_1, poly_2, var, Modulus -> p] ...
Set
(Built-in Mathematica Symbol) lhs = rhs evaluates rhs and assigns the result to be the value of lhs. From then on, lhs is replaced by rhs whenever it appears. {l_1, l_2, ...} = {r_1, r_2, ...} evaluates ...
Mathematica includes many controls and structures related to controls as part of its core language. These control objects are supported in a completely seamless way ...
Mathematica provides a general mechanism for specifying constraints on patterns. All you need to do is to put /;condition at the end of a pattern to signify that it applies ...
Probability[pred, x \[Distributed] dist] gives the probability for an event that satisfies the predicate pred under the assumption that x follows the probability distribution ...
Mathematica has over 3000 built-in functions and other objects, all based on a single unified framework, and all carefully designed to work together, both in simple ...
Mathematica's handling of polynomial systems is a tour de force of algebraic computation. Building on mathematical results spanning more than a century, Mathematica for the ...
Algebraics represents the domain of algebraic numbers, as in x \[Element] Algebraics.
Complexes represents the domain of complex numbers, as in x \[Element] Complexes.
Rationals represents the domain of rational numbers, as in x \[Element] Rationals.