||Software package designed for computations in algebra, number theory, algebraic geometry and algebraic combinatorics.|
Software system devoted to supporting research in algebraic geometry and commutative algebra.
Software for solving polynomial systems.
|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.|
|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.|