Related papers: The Rees Algebra Package in Macaulay2
The Macaulay2 package Cremona performs some computations on rational and birational maps between irreducible projective varieties. For instance, it provides methods to compute degrees and projective degrees of rational maps without any…
This article highlights the ToricHigherDirectImages package in Macaulay2. The central feature is a method for computing (higher) direct images of line bundles under surjective toric morphisms.
We introduce the Macaulay2 package SCMAlgebras. It provides functions for computing the modules of deficiency and the filter ideals, in order to check whether a module or an ideal is sequentially Cohen-Macaulay. After the basic algebraic…
This is the Hadamard package for Macaulay2 which computes the Hadamard product of projective subvarieties.
CylindricalAlgebraicDecomposition.m2 is the first implementation of Cylindrical Algebraic Decomposition (CAD) in Macaulay2. CAD decomposes space into 'cells' where input polynomials are sign-invariant. This package computes an Open CAD…
In this article, we introduce a new cohomology theory associated to a Lie 2-algebras. This cohomology theory is shown to extend the classical cohomology theory of Lie algebras; in particular, we show that the second cohomology group…
The article mainly presents some results in using MAPLE platform for computer algebra and GrTensorII package in doing calculations for theoretical and numerical cosmology
We describe a new software package for computing multiplier ideals in certain cases, including monomial ideals, monomial curves, generic determinantal ideals, and hyperplane arrangements. In these cases we take advantage of combinatorial…
The aim of this paper is to study the cohomology theory of Reynolds Lie algebras equipped with derivations and to explore related applications. We begin by introducing the concept of Reynolds LieDer pairs. Subsequently, we construct the…
A new approach is established to computing the image of a rational map, whereby the use of approximation complexes is complemented with a detailed analysis of the torsion of the symmetric algebra in certain degrees. In the case the map is…
We survey old and new approaches to the study of symbolic powers of ideals. Our focus is on the symbolic Rees algebra of an ideal, viewed both as a tool to investigate its symbolic powers and as a source of challenging problems in its own…
A non trivial application of a modern computer language ("C") in a highly structured and object-oriented fashion is presented. The contest is that of Lie algebra representations (irreps), specifically the problem of reducing the products of…
In this paper we show that the Rees algebra can be made into a functor on modules over a ring in a way that extends its classical definition for ideals. The Rees algebra of a module M may be computed in terms of a "maximal" map f from M to…
We survey the application of computer algebra in the context of gravitational theories. After some general remarks, we show of how to check the second Bianchi-identity by means of the Reduce package Excalc. Subsequently we list some…
In this article, we describe the theoretical foundations of the Macaulay2 package ConnectionMatrices and explain how to use it. For a left ideal in the Weyl algebra that is of finite holonomic rank, we implement the computation of the…
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…
We give a description of a new Macaulay2 package called SimplicialPosets. This package provides functions for working with simplicial posets and calculating their generalized Stanley-Reisner ideals. For practical purposes, we also introduce…
In this thesis, we introduce a new cohomology theory associated to a Lie 2-algebras and a new cohomology theory associated to a Lie 2-group. These cohomology theories are shown to extend the classical cohomology theories of Lie algebras and…
We show that several properties of the theory of Rees algebras of modules become more transparent using the category of coherent functors rather than working directly with modules. In particular, we show that the Rees algebra is induced by…
We describe the Macaulay2 package "A1BrouwerDegrees" for computing local and global $\mathbb{A}^1$-Brouwer degrees and studying symmetric bilinear forms over the complex numbers, the real numbers, the rational numbers, and finite fields of…