Related papers: ExteriorExtensions: A package for Macaulay2

For the exterior algebra E over a vector space, we consider general maps E^a -> E(1)^b and general symmetric and skew-symmetric maps E^a -> E(1)^a and describe the associated exterior algebra resolutions. Using the theory of homogeneous…

Let A be a line arrangement in the complex projective plane CP2. We define and describe the inclusion map of the boundary manifold --the boundary of a close regular neighborhood of A-- in the exterior of the arrangement. We obtain two…

In this article, we are interested in some subspaces of the exterior algebra of a simple Lie algebra g. In particular, we prove that some graded subspaces of degree d generate the g-module d (g) for some integers d.

Let $\mathfrak{g}$ be a finite-dimensional simple complex Lie algebra. A layer sum is introduced as the sum of formal exponentials of the distinct weights appearing in an irreducible $\mathfrak{g}$-module. It is argued that the character of…

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 paper, we define the notion of exterior isoclinism of crossed modules. Functions for computing with these structures have been written using the GAP computational discrete algebra programming language

A construction of integration, function calculus, and exterior calculus is made, allowing for integration of unital magma valued functions against (compactified) unital magma valued measures over arbitrary topological spaces. The Riemann…

In this letter, we show a nilpotent matrix representation of the exterior derivative operator in noncommutative geometry (NCG), by translating the noncommutative relations of the algebraic formalization into the original one. As a result,…

We assume that every element of a matrix has a small, individual error, and model it by an external number, which is the sum of a nonstandard real number and a neutrix, the latter being a convex (external) set having the group property. The…

The underlying algebra for a noncommutative geometry is taken to be a matrix algebra, and the set of derivatives the adjoint of a subset of traceless matrices. This is sufficient to calculate the dual 1-forms, and show that the space of…

We introduce the package MacaulayPosets written for the computational algebra system Macaulay2. This package utilized the poset data type introduced in the Posets package and offers functionality for studying the Macaulay property for…

Some forms of Lie algebras of types E_6, E_7, and E_8 are constructed using the exterior cube of a rank 9 finitely generated projective module.

We show that the external algebra $\cal M$ on $GL(N)$ can be equipped with the graded Poisson brackets compatible with the group action. We prove that there are only two graded Poisson-Lie structures (brackets) on $\cal M$ and we obtain…

We survey recent contributions to finite element exterior calculus on manifolds and surfaces within a comprehensive formalism for the error analysis of vector-valued partial differential equations on manifolds. Our primary focus is on…

We give a computational algorithm for computing Ext groups between bounded complexes of coherent sheaves on a projective variety, and we describe an implementation of this algorithm in Macaulay2. In particular, our results yield methods for…

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…

Over-extended Kac-Moody algebras contain so-called gradient structures - a gl(d)-covariant level decomposition of the algebra contains strings of modules at different levels that can be interpreted as spatial gradients. We present an…

We present a theory and applications of discrete exterior calculus on simplicial complexes of arbitrary finite dimension. This can be thought of as calculus on a discrete space. Our theory includes not only discrete differential forms but…

We introduce a new topological invariant of complex line arrangements in the complex projective plane, derived from the interaction between their complement and the boundary of a regular neighbourhood. The motivation is to identify Zariski…

This note introduces the $\texttt{LikelihoodGeometry}$ package for the computer algebra system $\textit{Macaulay2}$. This package gives tools to construct the likelihood correspondence of a discrete algebraic statistical model, a variety…