Eliminate the variable between two equations:

Eliminate multiple variables in a system of equations:

A system of linear equations:

A system of polynomial equations:

Eliminate two variables:

A system of equations involving radicals:

A system of transcendental equations:

A system of modular equations:

Find a modulus for which a system of equations has a solution and eliminate a variable:

Rewrite in terms of and :

Find a condition for two polynomials to have a common root:

This solves the same problem using Resolve :

The condition is equivalent to Resultant of the polynomials being zero:

Equations returned by Eliminate do not contain the elimination variables:

Equations returned by Eliminate are implied by the input equations:

Use Resolve to check this property:

Use Resolve to eliminate an existential quantifier:

Eliminate gives the same set of equations, but does not give inequations:

Eliminate a variable using GroebnerBasis :

Eliminate a variable from a pair of polynomials using Resultant :

Use Reduce to eliminate an existential quantifier and solve the resulting system:

When the input contains only equations, Eliminate returns only equations:

The zero set of the result is the Zariski closure of the projection of the zero set of eqns:

Use Resolve to get a result with zero set equal to the projection of the zero set of eqns:

When the input contains inequations, Eliminate returns equations and inequations:

The zero set of the result is equal to the projection of the zero set of eqin: