Home Online Manual
Top
Back: partUnder
Forward: FultonA
FastBack:
FastForward:
Up: chern_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.15.4.57 SegreA

Procedure from library chern.lib (see chern_lib).

Usage:
SegreA(I); I an ideal

Return:
list of integers

Purpose:
computes the Segre classes of the subscheme defined by I

Note:

Example:
 
LIB "chern.lib";
// Consider a 3-dimensional projective space
ring r = 0, (x, y, z, w), dp;
// Consider 3 non-coplanar lines trough one point and compute the Segre class
ideal I=xy, xz, yz;
I;
==> I[1]=xy
==> I[2]=xz
==> I[3]=yz
SegreA(I);
==> [1]:
==>    0
==> [2]:
==>    0
==> [3]:
==>    3
==> [4]:
==>    -10
// Now consider 3 coplanar lines trough one point and its Segre class
ideal J=w, x*y*(x+y);
J;
==> J[1]=w
==> J[2]=x2y+xy2
SegreA(J);
==> [1]:
==>    0
==> [2]:
==>    0
==> [3]:
==>    3
==> [4]:
==>    -12