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
What kind of issue would you like to report? (Optional)