next | previous | forward | backward | up | top | index | toc | Macaulay2 website
SpecialFanoFourfolds :: cycleClass

cycleClass -- determine the expression of the class of a cycle as a linear combination of Schubert classes

Synopsis

Description

For the general theory on Chow rings of Grassmannians, see e.g. the book 3264 & All That - Intersection Theory in Algebraic Geometry, by D. Eisenbud and J. Harris.

i1 : G = Grass(2,5,ZZ/33331);
i2 : C = schubertCycle({3,2,1},G);

o2 : Ideal of G
i3 : time cycleClass C
     -- used 1.59114 seconds

o3 = s
      3,2,1

o3 : ZZ[s     , s     , s     ]
         3,3,0   3,2,1   2,2,2
i4 : C' = intersect(C,schubertCycle({2,2,2},G));

o4 : Ideal of G
i5 : time cycleClass C'
     -- used 2.07487 seconds

o5 = s      + s
      3,2,1    2,2,2

o5 : ZZ[s     , s     , s     ]
         3,3,0   3,2,1   2,2,2

See also

Ways to use cycleClass :

For the programmer

The object cycleClass is a method function.