Examples
User documentation
Operations
There are two functions for polynomials with coefficients in RingQQ():
HasRealRoot3(f)tests quickly and heuristically whetherfhas real roots; a return result ofuncertain3meansfmay or may not have real rootsRealRadical(f)computes a multiple of the real radical off
The function HasRealRoot3 is reliable for univariate polynomials.
Maintainer documentation
Implementation is relatively straightforward.
Bugs, shortcomings and other ideas
It is a shame that RealRadical has to use factorization; is there a better way?
Perhaps better heuristics for the multivariate case can be added: maybe test whether the multivariate can be mapped down to univariate with real roots (by setting all-but-1 indets to -1, 0 or +1)?
Main changes
- 2017
- November (v0.99561): first release -