Rational_root_theorem loading ...