Top
Back: boundDes
Forward: maxabs
FastBack: signcond_lib
FastForward: Visualization
Up: rootsur_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.7.8.7 allrealst

Procedure from library rootsur.lib (see rootsur_lib).

Usage:
allrealst(p); poly p

Return:
int: 1 iff all the roots of p are real, 0 otherwise.
Checks whether all the roots of p are real by using Sturm's Theorem

Assume:
p is a univarite polynomials with rational coefficients

Example:
 
LIB "rootsur.lib";
ring r = 0,x,dp;
poly p = (x+2)*(x-1)*(x-5);
allrealst(p);
==> 1
p = p*(x2+1);
allrealst(p);
==> 0
allreal, sturm, sturmha


Top Back: boundDes Forward: maxabs FastBack: signcond_lib FastForward: Visualization Up: rootsur_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-0-1, October 2005, generated by texi2html.