A Macaulay2 package for computations with rational maps
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.
- Algorithms to compute the topological Euler characteristic, Chern-Schwartz-MacPherson class and Segre class of projective varieties
- Computing characteristic classes and the topological Euler characteristic of complex projective schemes
- Computing characteristic classes of projective schemes.
- Computing Segre classes in arbitrary projective varieties
- Cremona transformations and some related algebras
- Examples of special quadratic birational transformations into complete intersections of quadrics
- scientific article; zbMATH DE number 3572315 (Why is no real title available?)
- scientific article; zbMATH DE number 2190625 (Why is no real title available?)
- On birational maps and Jacobian matrices.
- Special cubic Cremona transformations of \(\mathbb{P}^{6}\) and \(\mathbb{P}^{7}\)
- A package for computations with classical resultants
- Divisor package for Macaulay2
- On the algebraic boundaries among typical ranks for real binary forms
- Some new rational Gushel fourfolds
- On some families of Gushel-Mukai fourfolds
- Companion varieties for root systems and Fermat arrangements
- Coding theory package for Macaulay2
- Computations with rational maps between multi-projective varieties
- Seminormalization package for Macaulay2
- Plane polar Cremona maps of arbitrarily large degree in positive characteristic
- Special cubic birational transformations of projective spaces
- Numerical implicitization: a Macaulay2 package
- Computing the Equations of a Variety
- Computations in algebraic geometry with Macaulay 2
- On Enriques-Fano threefolds and a conjecture of Castelnuovo
- On the singularities and on the projective normality of some Enriques-Fano threefolds
- Finding points on varieties with Macaulay2
- Geometric quadratic Chabauty and \(p\)-adic heights
- RationalMaps, a package for Macaulay2
- Bring's curve: old and new
- Trisecant flops, their associated \(K3\) surfaces and the rationality of some cubic fourfolds
- The weak Lefschetz property and mixed multiplicities of monomial ideals
- Explicit Computations with Cubic Fourfolds, Gushel–Mukai Fourfolds, and their Associated K3 Surfaces
This page was built for publication: A Macaulay2 package for computations with rational maps
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1755198)
