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 the preprint Coisotropic Hypersurfaces in the Grassmannian, by K. Kohn.
Version 1.2.1 of this package was accepted for publication in volume 8 of the journal 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, https://github.com/Macaulay2/M2/blob/master/M2/Macaulay2/packages/Resultants.m2, commit number 61c93a6aaf9d6bf0dd11440339145703ce3d824b.
This documentation describes version 1.2.2 of Resultants.
The source code from which this documentation is derived is in the file Resultants.m2.