Home Online Manual
Top
Back: squarefree
Forward: further_hn_proc
FastBack:
FastForward:
Up: hnoether_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.6.15.19 allsquarefree

Procedure from library hnoether.lib (see hnoether_lib).

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.

Example:
 
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
See also: squarefree.