  The Macaulay2 package RealRoots provides symbolic methods to study real
solutions to systems of polynomial equations. It updates and expands an earlier
package developed by Grayson and Sottile in 1999. We provide mathematical
background and descriptions of the RealRoots package, giving examples which
illustrate some of its implemented methods. We also prove a general version of
Sylvester's Theorem whose statement and proof we could not find in the
literature.
