Logged In: YES

user_id=588346

Agreed that the univariate polynomial stuff is random.

As for excluding algebraic coefficients.... I agree that

this should be documented. The method (Sturm sequences) is

exact for exact evaluation of polynomials. Exact evaluation

is easy for rational coefficients. The result is

approximate for approximate coefficients (floats), which is

also fine. However, though algebraic numbers are exact,

calculating with them exactly is a problem. If this matters

to you, I suppose you can use increasingly precise intervals

until the signs are unambiguous (though checking for 0 is

harder...), but Maxima doesn't currently support interval

arithmetic.

Anyway, what I would suggest is not changing the

documentation, but instead converting algebraic numbers to

rationals (at what precision?) and giving the warning:

Warning: nroots will not always give exact results with

non-rational coefficients

Unfortunately, nroots does not currently support bfloats....