|  |  D.6.11.19 allsquarefree Procedure from libraryhnoether.lib(see  hnoether_lib).
 
Example:Usage :
allsquarefree(f,g); f,g poly
Assume:
g is the output of squarefree(f).
Return:
the greatest squarefree divisor of f.
Note  :
This proc uses factorize to get the missing factors of f not in g and,
therefore, may be slow.
 See also:
 squarefree.|  | LIB "hnoether.lib";
ring exring=7,(x,y),dp;
poly f=(x+y)^7*(x-y)^8;
poly g=squarefree(f);
g;                      // factor x+y lost, since characteristic=7
==> x-y
allsquarefree(f,g);     // all factors (x+y)*(x-y) found
==> x2-y2
 | 
 
 |