next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
SegreClasses :: projectiveDegrees

projectiveDegrees -- This method computes the projective degrees of a scheme X inside a scheme Y, where X,Y are subschemes of some product of projective spaces

Synopsis

Description

For subschemes X,Y of ℙn1x...xℙnm this command computes a list of the projective degrees of a subscheme X in the subscheme Y as classes in the Chow ring of ℙn1x...xℙnm.

i1 : R = makeProductRing({3,3})

o1 = R

o1 : PolynomialRing
i2 : x = gens(R)

o2 = {a, b, c, d, e, f, g, h}

o2 : List
i3 : D = minors(2,matrix{{x_0..x_3},{x_4..x_7}})

o3 = ideal (- b*e + a*f, - c*e + a*g, - c*f + b*g, - d*e + a*h, - d*f + b*h,
     ------------------------------------------------------------------------
     - d*g + c*h)

o3 : Ideal of R
i4 : X = ideal(x_0*x_1,x_1*x_2,x_0*x_2)

o4 = ideal (a*b, b*c, a*c)

o4 : Ideal of R
i5 : projectiveDegrees(X,D)

         3 3    2 3    3 2      3    2 2    3
o5 = {10H H , 6H H , 6H H , 3H H , 3H H , 3H H }
         1 2    1 2    1 2    1 2    1 2    1 2

o5 : List
i6 : A = makeChowRing(R)

o6 = A

o6 : QuotientRing
i7 : pd = projectiveDegrees(X,D,A)

         3 3    2 3    3 2      3    2 2    3
o7 = {10H H , 6H H , 6H H , 3H H , 3H H , 3H H }
         1 2    1 2    1 2    1 2    1 2    1 2

o7 : List

Ways to use projectiveDegrees :