pushforwardToPoint a
pushforwardToPointFromCotangent a
This function returns the push forward of a (K-theory or cohomology) class from either the flag variety or its cotangent bundle to a point. The ring of input a must have been previously created with setupCotangent.
The object pushforwardToPoint is a method function.
The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/CotangentSchubert.m2:398:0.