- 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. | ![]() |