ClassInChowRing -- Gives the class of a hypersurface in the associated Chow ring of a product of projective spaces

Synopsis

• Usage:

  ClassInToricChowRing(A,f)

• Inputs:

  • A, a quotient ring, the Chow ring of ℙ^n₁ x...xℙ^n₁
  • f, a ring element, an element of the coordinate ring of ℙ^n₁ x...xℙ^n₁
• Outputs:

  • a ring element, the class of V(f), [V(f)] in the Chow ring of ℙ^n₁ x...xℙ^n₁

Description

i1 : R=MultiProjCoordRing({3,4,1})

o1 = R

o1 : PolynomialRing

i2 : A=ChowRing(R)

o2 = A

o2 : QuotientRing

i3 : f=random({1,1,1},R);

i4 : ClassInChowRing(A,f)

o4 = h  + h  + h
      1    2    3

o4 : A