|
D.6.9.18 squarefree
Procedure from library hnoether.lib (see hnoether_lib).
- Usage:
- squarefree(f); f poly
- Assume:
- f is a bivariate polynomial (in the first 2 ring variables).
- Return:
- poly, a squarefree divisor of f.
- Note:
- Usually, the return value is the greatest squarefree divisor, but
there is one exception: factors with a p-th root, p the
characteristic of the basering, are lost.
Example:
See also:
allsquarefree.
|