Related papers: Software for doing computations in graded Lie alge…
In this paper, we introduce the notion of a pre-Lie 2-algebra, which is a categorification of a pre-Lie algebra. We prove that the category of pre-Lie 2-algebras and the category of 2-term pre-Lie$_\infty$-algebras are equivalent. We…
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 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…
We present different methods for symbolic computer algebra computations in higher dimensional (\ge9) Clifford algebras using the \Clifford\ and \Bigebra\ packages for \Maple(R). This is achieved using graded tensor decompositions,…
DifferentialGeometry is a Maple software package which symbolically performs fundamental operations of calculus on manifolds, differential geometry, tensor calculus, Lie algebras, Lie groups, transformation groups, jet spaces, and the…
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…
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 the framework of bidifferential graded algebras, we present universal solution generating techniques for a wide class of integrable systems.
The aim of this article is to show, how computer algebra can be used when applying Liu's procedure. Although Mathematica (a commercial product by Wolfram Research Inc.) is used, it is possible to use other computer algebra systems as well.
We introduce the notion of a subregular subalgebra, which we believe is useful for classification of subalgebras of Lie algebras. We use it to construct a non-regular invariant generalized complex structure on a Lie group. As an…
The complexity of Gr\"{o}bner computations has inspired many improvements to Buchberger's algorithm over the years. Looking for further insights into the algorithm's performance, we offer a threaded implementation of classical Buchberger's…
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 describe the isomorphism classes of infinite-dimensional graded Lie algebras of maximal class, generated by elements of weight one, over fields of odd characteristic.
Taking into account the theoretical results and guidelines given inthis work, we introduce a computational method to construct any 2 step nilpotent quadratic algebra of d generators. Along the work we show that the key of the classification…
We explain that general differential calculus and Lie theory have a common foundation: Lie Calculus is differential calculus, seen from the point of view of Lie theory, by making use of the groupoid concept as link between them. Higher…
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…
This preprint contains a description of a package for Mathematica called EinS. This package allows one to perform various calculations with indexed objects.
This paper is devoted to the description of complex finite-dimensional algebras of level two. We obtain the classification of algebras of level two in the varieties of Jordan, Lie and associative algebras.
We introduce a new cohomology for Lie algebroids, and prove that it provides a differential graded Lie algebra which ``controls'' deformations of the structure bracket of the algebroid. We also have a closer look at various special cases…
It is a basic introduction to differential graded Lie algebras, Maurer-Cartan equation and associated deformation functors.