| - Magma |
Software package designed for computations in algebra, number theory, algebraic geometry and algebraic combinatorics. |
| - MacAulay2 |
Software system devoted to supporting research in algebraic geometry and commutative algebra.
|
| - Bertini | Software for solving polynomial systems. |
| Packages | ||
| P1xPn.zip | Magma library computing the nef cones and the Mori chamber decompositions of blow-ups of ℙ1 × ℙn in general points. See also Cox rings of blow-ups of multiprojective spaces on GitHub. |
 |
| Grass_Magma.zip | Magma function computing the Grassmannian of k-planes in an n-dimensional projective space. | |
| Dual_Magma.zip | Magma function computing the dual of a projective hypersurface. | |
| Tensor_Decomposition.zip | Magma library implementing the algorithms for tensor and polynomial decomposition in "Decomposition algorithms for tensors and polynomials", by A. Laface, A. Massarenti and R. Rischter. | |
| Toric_Def.zip | Magma package checking whether a toric variety is defective as described in "On secant defectiveness and identifiability of Segre-Veronese varieties", by A. Laface, A. Massarenti and R. Rischter. | |
| Comon-1.0.m2 | Macaulay 2 package checking whether a homogeneous polynomial satisfies Comon's conjecture as described in "On Comon's and Strassen's conjectures", by A. Casarotti, A. Massarenti and M. Mella. |
|
| MCD_SBLD.zip | Magma package checking whether the Mori chamber and the stable base locus decomposition of a Mori dream space coincide as described in "On Mori chamber and stable base locus decompositions", by A. Laface, A. Massarenti and R. Rischter. | |
| Movable_Complete_Forms.zip | Maple scripts computing the extremal rays of the movable cones of spaces of complete forms as described in "On the birational geometry of spaces of complete forms I: collineations and quadrics" and "On the birational geometry of spaces of complete forms II: skew-forms". | |
| Identifiability.m2 | Macaulay 2 package implementing the identifiability criteria in "Effective identifiability criteria for tensors and polynomials" by A. Massarenti, M. Mella and G. Staglianò. | |
| Movable.mw | Maple script computing the extremal rays of the movable cone of a Mori dream space from the generators of its Cox ring, by A. Massarenti and R. Rischter. | |