Top
Back: boundposDes
Forward: allrealst
FastBack:
FastForward:
Up: rootsur_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.12.8.6 boundDes

Procedure from library rootsur.lib (see rootsur_lib).

Usage:
boundDes(p); poly p

Return:
int: an upper bound for the number of real roots of p, with the same parity as the actual number of real 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);
boundDes(p);
==> 3
p = p*(x2+1);
boundDes(p);
==> 5
See also: boundBuFou.


Top Back: boundposDes Forward: allrealst FastBack: FastForward: Up: rootsur_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 4-0-3, 2016, generated by texi2html.