This package provides methods to deal with resultants and discriminants of multivariate polynomials, and with higher associated subvarieties of irreducible projective varieties. The main methods are: resultant, discriminant, chowForm, dualVariety, and tangentialChowForm. For the mathematical theory, we refer to the following two books: Using Algebraic Geometry, by David A. Cox, John Little, Donal O'shea; Discriminants, Resultants, and Multidimensional Determinants, by Israel M. Gelfand, Mikhail M. Kapranov and Andrei V. Zelevinsky. Other references for the theory of Chow forms are: The equations defining Chow varieties, by M. L. Green and I. Morrison; Multiplicative properties of projectively dual varieties, by J. Weyman and A. Zelevinsky; and Coisotropic hypersurfaces in Grassmannians, by K. Kohn.
Version 1.2.1 of this package was accepted for publication in volume 8 of The Journal of Software for Algebra and Geometry on 18 May 2018, in the article A package for computations with classical resultants. That version can be obtained from the journal or from the Macaulay2 source code repository.
This documentation describes version 1.2.2 of Resultants.
The source code from which this documentation is derived is in the file Resultants.m2.