RealRoots: rational roots (but not binary rational roots)
RealRoots do with an input like
Currently, if the root is integer or a binary rational,
RealRoots will find it exactly.
If the root is rational but not a binary rational then
RealRoots does not find it exactly.
RealRoots restrict itself to finding exactly only binary rational roots?
Or should it guarantee(??) to find all rational roots exactly?
[the slightly tricky part would be the guarantee]