Related papers: VersalDeformations - a package for computing versa…
We introduce a package for doing tropical computations in Macaulay2. The package draws on the functionality of Gfan and Polymake while making the process as simple as possible for the end user. This provides a powerful and user friendly…
In this paper, we investigate the relationship between the Hilbert functions and the associated properties of the graded modules. To attain this, we construct the graded modules from the sets of points in projective space, $\mathbb{P}_k^n$…
The versal deformation space of a smooth rational curve in a smooth complex threefold is explicitly computed under certain hypotheses. Under an additional hypothesis, the versal deformation space is then shown to be the variety of critical…
We develop a geometric version of the inverse problem of the calculus of variations for discrete mechanics and constrained discrete mechanics. The geometric approach consists of using suitable Lagrangian and isotropic submanifolds. We also…
We present quadrature schemes to calculate matrices, where the so-called modified Hilbert transformation is involved. These matrices occur as temporal parts of Galerkin finite element discretizations of parabolic or hyperbolic problems when…
Let $\L_m$ be the scheme of the laws defined by the Jacobi's identities on $\K^m$ with $\K$ a field. A deformation of $\g\in\L_m$, parametrized by a local $\K$-algebra $\A$, is a local $\K$-algebra morphism from the local ring of $\L_m$ at…
We describe the package "IncidenceCorrespondenceCohomology" for the computer algebra system Macaulay2. The main feature concerns the computation of characters and dimensions for the cohomology groups of line bundles on the incidence…
We present a package to perform partial fraction decompositions of multivariate rational functions. The algorithm allows to systematically avoid spurious denominator factors and is capable of producing unique results also when being applied…
A general scheme for determining and studying integrable deformations of algebraic curves, based on the use of Lenard relations, is presented. We emphasize the use of several types of dynamical variables : branches, power sums and…
This paper describes the RationalMaps package for Macaulay2. This package provides functionality for computing several aspects of rational maps such as whether a map is birational, or a closed embedding.
We investigate deformations of lagrangian manifolds with singularities. We introduce a complex similar to the de Rham-complex whose cohomology calculates deformation spaces. Examples of singular lagrangian varieties are presented and…
We develop the theory of versal deformations of dialgebras and describe a method for constructing a miniversal deformation of a dialgebra.
We make some remarks on deformations over non-commutative base. We describe the base algebra of versal deformations using $T^1$ and $T^2$.
This article explores \Z_2-graded L_\infinity algebra structures on a 2|1-dimensional vector space. The reader should note that our convention on the parities is the opposite of the usual one, because we define our structures on the…
For a pair (algebra, module) with equidimensional and isolated singularity we establish the existence of a versal henselian deformation. Obstruction theory in terms of an Andr\'e-Quillen cohomology for pairs is a central ingredient in the…
The package \texttt{NumericalCertification} implements methods for certifying numerical approximations of solutions for a given system of polynomial equations. For certifying regular solutions, the package implements Smale's $\alpha$-theory…
Numerical Algebraic Geometry uses numerical data to describe algebraic varieties. It is based on the methods of numerical polynomial homotopy continuation, an alternative to the classical symbolic approaches of computational algebraic…
We give an overview of a Macaulay2 package for computing with the multigraded BGG correspondence. This software builds on the package BGG due to Abo-Decker-Eisenbud-Schreyer-Smith-Stillman, which concerns the standard graded BGG…
We present an algorithm which, given a deformation with trivial section of a reduced plane curve singularity, computes equations for the equisingularity stratum (that is, the mu-constant stratum in characteristic 0) in the parameter space…
A general scheme for determining and studying integrable deformations of algebraic curves is presented. The method is illustrated with the analysis of the hyperelliptic case. An associated multi-Hamiltonian hierarchy of systems of…