Related papers: The QuillenSuslin Package for Macaulay2
We introduce SP$\mathbb{Q}$R, a new Mathematica package for the division and elimination of variables from polynomial systems. SP$\mathbb{Q}$R works by sampling and reconstructing results over finite fields, in an analogous manner to many…
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,…
We confirm a conjecture of Quillen in the case of the mod $2$ cohomology of arithmetic groups ${\rm SL}_2({\mathcal{O}}_{\mathbb{Q}(\sqrt{-m})}[\frac{1}{2}]\thinspace)$, where ${\mathcal{O}}_{\mathbb{Q}(\sqrt{-m}\thinspace)}$ is an…
We introduce the Brackets package for the computer algebra system Macaulay2, which provides convenient syntax for computations involving the classical invariants of the special linear group. We describe our implementation of bracket rings…
The {\tt Macaulay2} package {\tt RandomMonomialIdeals} provides users with a set of tools that allow for the systematic generation and study of random monomial ideals. It also introduces new objects, Sample and Model, to allow for…
In this paper, by assuming a faithful action of a finite flat $\mathbb{Z}_p$-algebra $\mathscr{R}$ on a $p$-divisible group $\mathcal{G}$ defined over the ring of $p$-adic integers $\mathscr{O}_K$, we construct a category of new…
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…
Quantum signal processing (QSP) is a framework for implementing certain polynomial functions via quantum circuits. To construct a QSP circuit, one needs (i) a target polynomial $P(z)$, which must satisfy $\lvert P(z)\rvert\leq 1$ on the…
We give theoretical and practical information on the Pari/GP modular forms package available since the spring of 2018. Thanks to the use of products of two Eisenstein series, this package is the first which can compute Fourier expansions at…
In the work we have considered Breuil-Kisin module over the ring of witt vectors $W(\kappa)$ over the residue field $\kappa$ of characteristic $p$ and a finite flat $\mathbb{Z}_p$-algebra $R$. Then considered Breuil-Kisin modules $M$ over…
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…
Finite group actions on free resolutions and modules arise naturally in many interesting examples. Understanding these actions amounts to describing the terms of a free resolution or the graded components of a module as group…
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…
Hazewinkel proved the Ditters conjecture that the algebra of quasisymmetric functions over the integers is free commutative by constructing a nice polynomial basis. In this paper we prove a structure theorem for the algebra of peak…
We describe a significant update to the existing InvariantRing package for Macaulay2. In addition to expanding and improving the methods of the existing package for actions of finite groups, the updated package adds functionality for…
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…
Let $\mathscr{A}$ be a connected cochain DG algebra and $P$ a DG $\mathscr{A}$-module such that its underlying graded module $P^{\#}$ is a finitely generated $\mathscr{A}^{\#}$-module. We show that $P$ is semi-free if it is semi-projective…
We suggest a new method of basis construction for the kernel of a linear form on the Laurent polynomial module related to multivariate wavelets, and demonstrate its applications to box spline prewavelets, leading to small mask supports for…
We describe a software package for constructing minimal free resolutions of GL_n(Q)-equivariant graded modules M over Q[x_1, ..., x_n] such that for all i, the ith syzygy module of M is generated in a single degree. We do so by describing…
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…