Singular Manual: boundposDes

| #### D.12.7.5 boundposDes Procedure from library `rootsur.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 Example:
    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
See also: boundBuFou.

User manual for Singular version 4.3.2, 2023, generated by texi2html.