|
 |
 |
 |
 |
 |
 |
 |
 |
 |
D.12.7.5 boundposDes
Procedure from libraryrootsur.lib (see rootsur_lib).
- Usage:
- boundposDes(p); poly p
- Return:
- int: an upper bound for the number of positive roots of p, with
the same parity as the actual number of positive roots of p.
- Assume:
- p is a univariate polynomial with rational coefficients
LIB "rootsur.lib"; ring r = 0,x,dp; poly p = (x+2)*(x-1)*(x-5); boundposDes(p); ==> 2 p = p*(x2+1); boundposDes(p); ==> 4 |