|  |  D.12.8.9 allreal Procedure from libraryrootsur.lib(see  rootsur_lib).
 
Example:Usage:
allreal(p);
Return:
int: 1 if and only if all the roots of p are real, 0 otherwise
 See also:
 allrealst.|  | LIB "rootsur.lib";
ring r = 0,x,dp;
poly p = (x+2)*(x-1)*(x-5);
allreal(p);
==> 1
p = p*(x2+1);
allreal(p);
==> 0
 | 
 
 |