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

• Usage:

  ClassInToricChowRing(A,f)

• Inputs:
  • A, a quotient ring, the Chow ring of \PP^{n_1} x...x\PP^{n_1}
  • f, a ring element, an element of the coordinate ring of \PP^{n_1} x...x\PP^{n_1}
• Outputs:
  • a ring element, the class of V(f), [V(f)] in the Chow ring of \PP^{n_1} x...x\PP^{n_1}

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