Related papers: Computing Quasidegrees of A-graded Modules
The aim of this paper is to contribute more examples and classification results of finite pointed quasi-quantum groups within the quiver framework initiated in \cite{qha1, qha2}. The focus is put on finite dimensional graded Majid algebras…
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…
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…
The established equivalence between 2-crossed modules and Gray 3-groups [M. Sarikaya and E. Ulualan, 2024] serves as a benchmark for higher-dimensional algebraic models. However, to the best of our knowledge, the established definitions of…
Let A be a finitely generated connected graded k-algebra defined by a finite number of monomial relations. Then there is a finite directed graph, Q, the Ufnarovskii graph of A, for which the categories QGr(A) and QGr(kQ) are equivalent:…
In this paper, we study properties of the algebras of planar quasi-invariants. These algebras are Cohen-Macaulay and Gorenstein in codimension one. Using the technique of matrix problems, we classify all Cohen-Macaulay modules of rank one…
We use \ZZ^d-gradings to study d-dimensional monomial ideals. The Koszul functor is employed to interpret the quasidegrees of local cohomology in terms of the geometry of distractions and to explicitly compute the multiplicities of…
We introduce the CpMackeyFunctors package for Macaulay2, which allows for computations with Mackey functors over a cyclic group of prime order.
We explain a Macaulay2 implementation of a construction, which appeared in [Holweck-Oeding arXiv:2206.13662], of a graded algebra structure on the direct sum of a Lie algebra $\mathfrak{g}$ (typically $\mathfrak{sl}_n$) and a…
We explain how the computation of induced crossed modules allows the computation of certain homotopy 2-types and, in particular, second homotopy groups. We discuss various issues involved in computing induced crossed modules and give some…
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…
The arithmetic degree, the smallest extended degree, and the homological degree are invariants that have been proposed as alternatives of the degree of a module if this module is not Cohen-Macaulay. We compare these degree functions and…
We study primary submodules and primary decompositions from a differential and computational point of view. Our main theoretical contribution is a general structure theory and a representation theorem for primary submodules of an arbitrary…
This paper is a coalgebra version of arXiv:1703.04266 and a sequel to arXiv:1607.03066. We present the definition of a pseudo-dualizing complex of bicomodules over a pair of coassociative coalgebras $\mathcal C$ and $\mathcal D$. For any…
This is a contribution to the project of quiver approaches to quasi-quantum groups initiated in arXiv:0902.1620. We classify Majid bimodules over groups with 3-cocycles by virtue of projective representations. This leads to a theoretic…
We introduce and study kernel algebras, i.e., algebras in the category of sheaves on a square of a scheme, where the latter category is equipped with a monoidal structure via a natural convolution operation. We show that many interesting…
In recent studies, Bibiloni-Femenias, Mi\~{n}ana and Valero characterized the functions that aggregate a family of (quasi-)(pseudo)metric modulars defined over a fixed set $X$ into a single one. In this paper, we adopt a related but…
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…
XMDS2 is a cross-platform, GPL-licensed, open source package for numerically integrating initial value problems that range from a single ordinary differential equation up to systems of coupled stochastic partial differential equations. The…
We prove the existence of a module for the largest Mathieu group, whose trace functions are weight two quasimodular forms. Restricting to the subgroup fixing a point, we see that the integrality of these functions is equivalent to certain…