English
Related papers

Related papers: Numerical Hilbert functions for Macaulay2

200 papers

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

We survey some of the major results about normal Hilbert polynomials of ideals. We discuss a formula due to Lipman for complete ideals in regular local rings of dimension two, theorems of Huneke, Itoh, Huckaba, Marley and Rees in…

Commutative Algebra · Mathematics 2012-05-16 Mousumi Mandal , Shreedevi Masuti , J. K. Verma

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,…

Numerical algebraic geometry is the field of computational mathematics concerning the numerical solution of polynomial systems of equations. Bertini, a popular software package for computational applications of this field, includes…

Algebraic Geometry · Mathematics 2013-10-15 Daniel J. Bates , Elizabeth Gross , Anton Leykin , Jose Israel Rodriguez

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

{\tt AbstractSimplicialComplexes.m2} is a computer algebra package written for the computer algebra system {\tt Macaulay2} \cite{M2}. It provides new infrastructure to work with abstract simplicial complexes and related homological…

Algebraic Geometry · Mathematics 2025-04-15 Nathan Grieve

This document is the manual for a free Mathematica package for computing with harmonic functions. This package allows the user to make calculations that would take a prohibitive amount of time if done without a computer. For example, the…

Mathematical Software · Computer Science 2016-11-08 Sheldon Axler

Let $I$ be a homogeneous ideal in the polynomial ring $R = k[z_1, \cdots, z_n]$ , where $k$ is an algebraically closed field of characteristic zero. Macaulay's Theorem provides constraints on the Hilbert function of $I$ or $R/I$ from one…

Complex Variables · Mathematics 2025-12-29 Yun Gao

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

In this paper we give an effective characterization of Hilbert functions and polynomials of standard algebras over an Artinian equicharacteristic local ring; the cohomological properties of such algebras are also studied. We describe…

Commutative Algebra · Mathematics 2009-09-25 Cristina Blancafort

We introduce a new Macaulay 2 package, SimplicialDecomposability, which works in conjunction with the extant package SimplicialComplexes in order to compute a shelling order, if one exists, of a specified simplicial complex. Further,…

Combinatorics · Mathematics 2010-08-23 David Cook

We describe the computer algebra software package SpectralSequences for the computer algebra system Macaulay2. This package implements many data types, objects and algorithms which pertain to, among other things, filtered complexes,…

Commutative Algebra · Mathematics 2016-10-19 Adam Boocher , Nathan Grieve , Eloísa Grifo

Borel-fixed ideals play a key role in the study of Hilbert schemes. Indeed each component and each intersection of components of a Hilbert scheme contains at least one Borel-fixed point, i.e. a point corresponding to a subscheme defined by…

Symbolic Computation · Computer Science 2012-05-03 Paolo Lella

Algebraic methods have a long history in statistics. The most prominent manifestation of modern algebra in statistics can be seen in the field of algebraic statistics, which brings tools from commutative algebra and algebraic geometry to…

Computation · Statistics 2017-06-27 David Kahle , Christopher O'Neill , Jeff Sommars

Macaulay2 is a computer algebra platform widely used by researchers in algebraic geometry and commutative algebra. Using the ForeignFunctions package, it is possible to make calls from Macaulay2 to dynamic libraries such as FLINT. We…

Algebraic Geometry · Mathematics 2026-04-21 Douglas A. Torrance

Strongly stable monomial ideals are important in algebraic geometry, commutative algebra, and combinatorics. Prompted, for example, by combinatorial approaches for studying Hilbert schemes and the existence of maximal total Betti numbers…

Commutative Algebra · Mathematics 2011-12-05 Dennis Moore , Uwe Nagel

Macaulay Duality, between quotients of a polynomial ring over a field, annihilated by powers of the variables, and finitely generated submodules of the ring's graded dual, is generalized over any Noetherian ring, and used to provide…

Algebraic Geometry · Mathematics 2023-07-31 Steven L. Kleiman , Jan O. Kleppe

We introduce the Probability package for Macaulay2, which provides an interface for users to compute probabilities and generate random variates from a wide variety of univariate probability distributions.

Algebraic Geometry · Mathematics 2024-06-05 Douglas A. Torrance

We introduce the CpMackeyFunctors package for Macaulay2, which allows for computations with Mackey functors over a cyclic group of prime order.

Algebraic Topology · Mathematics 2025-09-09 Thomas Brazelton , David Chan , Benjamin Mudrak , Ben Spitz , Chase Vogeli , Chenglu Wang , Michael R. Zeng , Sasha Zotine

We present the Macaulay2 package Resultants, which provides commands for the effective computation of multivariate resultants, discriminants, and Chow forms. We provide some background for the algorithms implemented and show, with a few…

Algebraic Geometry · Mathematics 2018-08-28 Giovanni Staglianò