Isolates the roots of the Rational polynomial poly
.
Isolates the roots of the Rational polynomial poly
. This returns a
sequence of intervals that each contain a single root of poly
. A root
will appear in the sequence as many times as its multiplicity in the
polynomial. Other than this, all root intervals are disjoint and are
either open on both ends or is a single point.
A type class for retreiving isolated roots.