English
Related papers

Related papers: Software for multiplier ideals

200 papers

We present a package 'MixedMultiplicity' for computing mixed multiplicities of ideals in a Noetherian ring which is either local or a standard graded algebra over a field. This enables us to find mixed volumes of convex lattice polytopes…

Commutative Algebra · Mathematics 2023-08-30 Kriti Goel , Vivek Mukundan , Sudeshna Roy , J. K. Verma

We introduce the Macaulay2 package SparseResultants, which provides general tools for computing sparse resultants, sparse discriminants, and hyperdeterminants. We give some background on the theory and briefly show how the package works.

Algebraic Geometry · Mathematics 2021-09-02 Giovanni Staglianò

Using discrete Morse theory, Batzies and Welker introduced Morse resolutions of monomial ideals. In this note, we present the {\it Macaulay2} package {\tt MorseResolutions} for working with two important classes of Morse resolutions:…

Commutative Algebra · Mathematics 2023-07-10 Trung Chau , Selvi Kara , Augustine O'Keefe

We introduce the VirtualResolution package for the computer algebra system Macaulay2. This package has tools to construct, display, and study virtual resolutions for products of projective spaces. The package also has tools for generating…

Algebraic Geometry · Mathematics 2021-01-27 Ayah Almousa , Juliette Bruce , Michael C. Loper , Mahrud Sayrafi

This note describes a \emph{Macaulay2} package for computations in prime characteristic commutative algebra. This includes Frobenius powers and roots, $p^{-e}$-linear and $p^{e}$-linear maps, singularities defined in terms of these maps,…

We introduce the package "GraphicalModelsMLE" for computing the maximum likelihood estimates (MLEs) of a Gaussian graphical model in the computer algebra system Macaulay2. This package allows the computation of MLEs for the class of…

Cellular resolutions are a technique for constructing resolutions of monomial ideals by giving a cell complex labeled by monomials, or more generally, by monomial modules. This \verb|Macaulay2| package allows us to work with cellular…

Commutative Algebra · Mathematics 2023-07-18 Aleksandra Sobieska , Jay Yang

We introduce the package \texttt{EliminationTemplates} for the Macaulay2 computer algebra system, which provides tools for constructing automatic solvers for families of zero-dimensional radical ideals depending on algebraically independent…

Commutative Algebra · Mathematics 2026-05-06 Manav Batavia , Cheng Chen , Anna Natalie Chlopecki , Timothy Duff , William Huang , Aolong Li , Wanchun Shen

The Macaulay2 package SumsOfSquares decomposes polynomials as sums of squares. It is based on methods to rationalize sum-of-squares decompositions due to Parrilo and Peyrl. The package features a data type for sums-of-squares polynomials,…

Optimization and Control · Mathematics 2020-03-11 Diego Cifuentes , Thomas Kahle , Pablo A. Parrilo

We introduce the DeterminantalRepresentations package for Macaulay2, which computes definite symmetric determinantal representations of real polynomials. We focus on quadrics and plane curves of low degree (i.e. cubics and quartics). Our…

Algebraic Geometry · Mathematics 2020-02-12 Justin Chen , Papri Dey

This note introduces the $\texttt{LikelihoodGeometry}$ package for the computer algebra system $\textit{Macaulay2}$. This package gives tools to construct the likelihood correspondence of a discrete algebraic statistical model, a variety…

Computation · Statistics 2024-11-19 David Barnhill , John Cobb , Matthew Faust

We present stdPairs.spyx, a SageMath library to compute standard pairs of a monomial ideal over a pointed (non-normal) affine semigroup ring. Moreover, stdPairs.spyx provides the associated prime ideals, the corresponding multiplicities,…

Commutative Algebra · Mathematics 2022-03-09 Byeongsu Yu

We give an effective method to determine the multiplier ideals and jumping numbers associated with a curve singularity $C$ in a smooth surface. We characterize the multiplier ideals in terms of certain Newton polygons, generalizing a…

We compute the multiplier ideals of hyperplane arrangements via the interpretation of these ideals in terms of spaces of arcs, due to Ein, Lazarsfeld and the author.

Algebraic Geometry · Mathematics 2007-05-23 Mircea Mustata

We present the Matlab toolbox MacaulayLab, which implements numerical linear algebra algorithms for solving multivariate polynomial systems and rectangular multiparameter eigenvalue problems. Its structure and functionality are the result…

Mathematical Software · Computer Science 2026-05-21 Christof Vermeersch , Bart De Moor

In this article, we present FastMinors.m2, a package in Macaulay2 designed to introduce new methods focused on computations in function field linear algebra. Some key functionality that our package offers includes: finding a submatrix of a…

Commutative Algebra · Mathematics 2023-08-30 Boyana Martinova , Marcus Robinson , Karl Schwede , Yuhui Yao

We introduce the Macaulay2 package $\mathtt{LinearTruncations}$ for finding and studying the truncations of a multigraded module over a standard multigraded ring that have linear resolutions.

Commutative Algebra · Mathematics 2023-01-25 Lauren Cranton Heller , Navid Nemati

The Macaulay2 package PHCpack.m2 provides an interface to PHCpack, a general-purpose polynomial system solver that uses homotopy continuation. The main method is a numerical blackbox solver which is implemented for all Laurent systems. The…

Algebraic Geometry · Mathematics 2012-10-11 Elizabeth Gross , Sonja Petrović , Jan Verschelde

We introduce the Macaulay2 package GradedLieAlgebras for doing computations in graded Lie algebras presented by generators and relations.

Rings and Algebras · Mathematics 2021-01-27 Clas Löfwall , Samuel Lundqvist

We give algorithms for computing multiplier ideals using Gr\"obner bases in Weyl algebras. The algorithms are based on a newly introduced notion which is a variant of Budur--Musta\c{t}\v{a}--Saito's (generalized) Bernstein--Sato polynomial.…

Algebraic Geometry · Mathematics 2010-01-30 Takafumi Shibuta