Real solutions to systems of polynomial equations in Macaulay2 (Q6589553)

The authors present the software package \texttt{RealRoots} for \texttt{Macaulay2}. The package implements\N\begin{itemize}\N\item Descartes' rule of sign for computing an upper bound of the number of positive real roots of a real univariate polynomial.\N\item Budan-Fourier theorem for computing an upper bound of the number of real roots within a given interval of a real univariate polynomial.\N\item Sturm's theorem for computing the exact number of real roots of a univariate real polynomial.\N\item Hurwitz theorem for determining if all the complex roots of a real univariate polynomial lies in the left-half complex plane.\N\item Rational univariate representation [\textit{F. Rouillier}, Appl. Algebra Eng. Commun. Comput. 9, No. 5, 433--461 (1999; Zbl 0932.12008)] for computing points of a zero-dimensional variety.\N\item The rank and signature of the trace form associated with a polynomial and a zero-dimensional ideal, which efficiently yields information on the number of real and complex points of the vanishing set of the ideal.\N\end{itemize}