Project

General

Profile

Design #1192

RealRoots: rational roots (but not binary rational roots)

Added by John Abbott 27 days ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
Cleaning
Target version:
Start date:
19 Jun 2018
Due date:
% Done:

0%

Estimated time:

Description

What should RealRoots do with an input like 3*x-1?

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.

Should 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]

Also available in: Atom PDF