Home Online Manual
Top
Back: reszeta_lib
Forward: spectralNeg
FastBack: resolve_lib
FastForward: sheafcoh_lib
Up: reszeta_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.5.6.1 intersectionDiv

Procedure from library reszeta.lib (see reszeta_lib).

Usage:
intersectionDiv(L);
L = list of rings

Assume:
L is output of resolution of singularities
(only case of isolated surface singularities)

Compute:
intersection matrix and genera of the exceptional divisors (considered as curves on the strict transform)

Return:
list l, where
l[1]: intersection matrix of exceptional divisors
l[2]: intvec, genera of exceptional divisors
l[3]: divisorList, encoding the identification of the divisors

Example:
 
LIB "reszeta.lib";
ring r = 0,(x(1..3)),dp(3);
ideal J=x(3)^5+x(2)^4+x(1)^3+x(1)*x(2)*x(3);
list re=resolve(J);
list di=intersectionDiv(re);
di;
==> [1]:
==>    -3,1,1,
==>    1,-4,1,
==>    1,1,-2 
==> [2]:
==>    0,0,0
==> [3]:
==>    [1]:
==>       [1]:
==>          3,1,1
==>       [2]:
==>          5,1,1
==>    [2]:
==>       [1]:
==>          3,1,2
==>       [2]:
==>          4,1,1
==>       [3]:
==>          5,1,2
==>    [3]:
==>       [1]:
==>          4,2,1
==>       [2]:
==>          5,2,1
==> [4]:
==>    1,1,1