Top
Back: intersection
Forward: delta
FastBack: gmspoly_lib
FastForward: kskernel_lib
Up: hnoether_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.6.9.11 is_irred

Procedure from library hnoether.lib (see hnoether_lib).

Usage:
is_irred(f); f poly

Assume:
f is a squarefree bivariate polynomial (in the first 2 ring variables).

Return:
int (0 or 1):
- is_irred(f)=1 if f is irreducible as a formal power series over the algebraic closure of its coefficient field (f defines an analytically irreducible curve at zero),
- is_irred(f)=0 otherwise.

Note:
0 and units in the ring of formal power series are considered to be not irreducible.

Example:
 


Top Back: intersection Forward: delta FastBack: gmspoly_lib FastForward: kskernel_lib Up: hnoether_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.