Home Online Manual
Top
Back: HomJJ
Forward: primeClosure
FastBack: noether_lib
FastForward: normaliz_lib
Up: normal_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.4.17.5 genus

Procedure from library normal.lib (see normal_lib).

Return:
an integer, the geometric genus p_g = p_a - delta of the projective curve defined by i, where p_a is the arithmetic genus.

Note:
genus always treats projective curves and takes projective closure if input is affine 1-dim variety. delta is the sum of all local delta-invariants of the singularities, i.e. dim(R'/R), R' the normalization of the local ring R of the singularity.
genus(I,"nor") uses the normalization to compute delta. Usually genus(I,"nor") is slower than genus(I) but sometimes not.
genus(I,"pri") starts with a primary decompsition.

Example:
 
LIB "normal.lib";
ring r=0,(x,y),dp;
ideal i=y^9 - x^2*(x - 1)^9;
genus(i);
==> 0
ring r7=7,(x,y),dp;
ideal i=y^9 - x^2*(x - 1)^9;
genus(i);
==> 0