check for real roots
list or set of polynomial equations with rational coefficients
list of names; the indeterminates
The function HasRealRoots tests if the system of equations defined in sys has real roots.
It returns a boolean, true if sys has real zeroes and false otherwise.
The equations in sys must be polynomial with rational coefficients. Any polynomial p appearing in sys is interpreted as the equation p=0.
When the list of names vars is provided, it must contain all the indeterminates appearing in sys. The order in the list is used for internal computations.
Download Help Document