Related papers: Computations over Local Rings in Macaulay2

In this paper we investigate and compare different gradient algorithms designed for the domain expression of the shape derivative. Our main focus is to examine the usefulness of kernel reproducing Hilbert spaces for PDE constrained shape…

With a view to study problems of smoothability, we construct a minimal free resolution for the coordinate ring of an algebroid monomial curve associated to an $AS$ numerical semigroup (i.e. generated by an arithmetic sequence), obtained…

This paper gives an elementary proof of an improved version of the algebraic Local B\'ezout Theorem (given by the authors in JSC 45 (2010) 975--985). Here we remove some ad hoc hypotheses and obtain an optimal algebraic version of the…

In this Macaulay2 \cite{M2} package we define an object called {\it linear code}. We implement functions that compute basic parameters and objects associated with a linear code, such as generator and parity check matrices, the dual code,…

A semidualizing module is a generalization of Grothendieck's dualizing module. For a local Cohen-Macaulay ring $R$, the ring itself and its canonical module are always realized as (trivial) semidualizing modules. Reasonably, one might…

This is an exposition of facts about p-local spectra, p-complete spectra and modules over the p-complete sphere spectrum, including homological criteria for finiteness. Most things are well-known to the experts, with a couple of potential…

In this paper, we focus on computing local minimizers of a multivariate polynomial optimization problem under certain genericity conditions. By using a technique in computer algebra and the second-order optimality condition, we provide a…

In this paper we will study the homological properties of various natural modules associated to the Fourier algebra of a locally compact group. In particular, we will focus on the question of identifying when such modules will be projective…

This work explores fundamental modeling and algorithmic issues arising in the well-established MapReduce framework. First, we formally specify a computational model for MapReduce which captures the functional flavor of the paradigm by…

The main focus is the generic freeness of local cohomology modules in a graded setting. The present approach takes place in a quite nonrestrictive setting, by solely assuming that the ground coefficient ring is Noetherian. Under additional…

In this work we describe the local cohomology of reflexive modules of rank one over normal semigroup rings with respect to monomial ideals. Using our description we show that the problem of classifying maximal Cohen-Macaulay modules of rank…

Let $R$ be a local ring and let ($x_1\biss x_r$) be part of a system of parameters of a finitely generated $R$-module $M,$ where $r < \dim_R M$. We will show that if ($y_1\biss y_r$) is part of a reducing system of parameters of $M$ with…

The acquisition of the defining equations of Rees algebras is a natural way to study these algebras and allows certain invariants and properties to be deduced. In this paper, we consider Rees algebras of codimension 2 perfect ideals of…

This is an English translation of the author's Ph.D. thesis, accumulating his results on a construction of Cohen-Macaulay modules over a polynomial ring that appeared in the study of Cauchy-Fueter equations. This construction is generalized…

The notions of Betti numbers and of Bass numbers of a finite module N over a local ring R are extended to modules that are only assumed to be finite over S, for some local homomorphism f: R --> S. Various techniques are developed to study…

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.

An overview is given of the construction of a differential polynomial ring of functions on the moduli space of Calabi-Yau threefolds. These rings coincide with the rings of quasi modular forms for geometries with duality groups for which…

We extend classical methods of computational complexity to the realm of distributed computing, where they sometimes prove more effective than in their original context. Our focus is on decision problems in the LOCAL model, a setting in…

Reformulating computer vision problems over Riemannian manifolds has demonstrated superior performance in various computer vision applications. This is because visual data often forms a special structure lying on a lower dimensional space…

Highly localized kernels constructed by orthogonal polynomials have been fundamental in recent development of approximation and computational analysis on the unit sphere, unit ball and several other regular domains. In this work we first…