A Macaulay2 package for computations with rational maps (Q1755198)

The subject of this paper concerns computations with rational and irrational maps between irreducible projective varieties, using the Macaulay2 package. \par The computational package Cremona.m2, which is included in Macaulay2 (since version 1.9), performs computations on rational and birational maps between absolutely irreducible projective varieties over a given field. The algorithms given in this paper are derived from the classical mathematical definitions and tools of algebraic-geometry. Cremona.m2 provides general methods to compute projective degrees of rational maps, and using this, one can interpret them as methods to compute the push-forward to projective space of Segre classes. \par All the methods (where this may make sense) are available both in a probabilistic version and in a deterministic version, and one can switch from one to the other easily. \par The paper is organized into two parts, which we briefly present: section 1 gives an exposition of the main methods provided by the package and the algorithms implemented, in a general setting along with some classical definitions of algebraic geometry. Section 2 shows how these methods work, in particular examples are given.