Feature #1173
Updated by John Abbott over 6 years ago
Write a function which accepts a (univariate) polynomial *f* (with rational coeffs), and an interval *[a,b]* with rational end points; the functions returns a rational which is an upper bound for *max(f(x) | x in [a,b])* and perhaps also a lower bound for *min(f(x) | x in [a,b])*.