CotangentSchubert is a package for calculations in cotangent Schubert calculus. Specifically, it allows to compute motivic Chern and Segre classes (as well as their limits in ordinary Schubert calculus, namely Schubert classes), and to independently compute the expansion of their products using puzzles. Puzzles and their "fugacities" are defined and computed using the results of [1,2,3].
References:
[1] A. Knutson and P. Zinn-Justin, Schubert puzzles and integrability I: invariant trilinear forms, arXiv:1706.10019.
[2] A. Knutson and P. Zinn-Justin, Schubert puzzles and integrability II: multiplying motivic Segre classes, arXiv:2102.00563.
[3] A. Knutson and P. Zinn-Justin, Schubert puzzles and integrability III: separated descents, arXiv:2306.13855.
Version 0.63 of this package was accepted for publication in volume 14 of Journal of Software for Algebra and Geometry on 2024-02-06, in the article The CotangentSchubert Macaulay2 package (DOI: 10.2140/jsag.2024.14.73). That version can be obtained from the journal or from the Macaulay2 source code repository.
This documentation describes version 0.71 of CotangentSchubert.
The source code from which this documentation is derived is in the file CotangentSchubert.m2. The auxiliary files accompanying it are in the directory CotangentSchubert/.
The object CotangentSchubert is a package.