Top
Back: D.5.5.19 squarefree
Forward: D.5.5.21 further_hn_proc
FastBack: Appendix D SINGULAR libraries
FastForward: E Release Notes
Up: D.5.5 hnoether_lib
Top: 1 Preface
Contents: Table of Contents
Index: F Index
About: About This Document

D.5.5.20 allsquarefree

Procedure from library hnoether.lib (see section 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.


Top Back: D.5.5.19 squarefree Forward: D.5.5.21 further_hn_proc FastBack: Appendix D SINGULAR libraries FastForward: E Release Notes Up: D.5.5 hnoether_lib Top: 1 Preface Contents: Table of Contents Index: F Index About: About This Document
            User manual for Singular version 2-0-4, October 2002, generated by texinfo.