Related papers: Brackets and Projective Geometry in Macaulay2
We extend the concepts of trivializing and knotting numbers for knots to spatial graphs and 2-bouquet graphs, in particular. Furthermore, we calculate the trivializing and knotting numbers for projections and pseudodiagrams of 2-bouquet…
Our main purpose is to give multiple examples for using the available implementations for computing the normalization of an affine ring, computing the minimial generators of the normalization as an algebra over the original ring and…
In this article, we prove that Dirac brackets for Hamiltonian and non-Hamiltonian constrained systems can be derived recursively. We then study the applicability of that formulation in analysis of some interesting physical models.…
Macaulay2 is a computer algebra platform widely used by researchers in algebraic geometry and commutative algebra. Using the ForeignFunctions package, it is possible to make calls from Macaulay2 to dynamic libraries such as FLINT. We…
We explain how the geometric Langlands program inspires some recent new prospectives of classical arithmetic Langlands program and leads to the solutions of some problems in arithmetic geometry.
We compute the equivariant cohomology of complex projective spaces associated to finite-dimensional representations of $C_2$, using ordinary cohomology graded on representations of the fundamental groupoid, with coefficients in the Burnside…
A supplemental paper detailing the QuillenSuslin package for Macaulay2. The QuillenSuslin package for Macaulay2 provides the ability to compute a free basis for a projective module over a polynomial ring with coefficients in Q, Z or Z/p for…
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 is an expository version of our paper [arXiv:1902.07384]. Our aim is to present recent Macaulay2 algorithms for computation of mixed multiplicities of ideals in a Noetherian ring which is either local or a standard graded algebra over…
We offer a Maple package SL\_2\_Inv\_Ker for calculating of minimal generating sets for the algebras of joint invariants/semi-invariants of binary forms and for calculations of the kernels of Weitzenb\"ock derivations.
A Kauffman bracket on a surface is an invariant for framed links in the thickened surface, satisfying the Kauffman skein relation and multiplicative under superposition. This includes representations of the skein algebra of the surface. We…
We describe presentations of the Roger-Yang generalized skein algebras for punctured spheres with an arbitrary number of punctures. This skein algebra is a quantization of the decorated Teichmuller space and generalizes the construction of…
Braided sets which are also spaces with dilations are presented and explored in this paper, in the general frame of emergent algebras arxiv:0907.1520. Examples of such spaces are the sub-riemannian symmetric spaces. Keywords: braided sets,…
The Galois/monodromy group of a family of geometric problems or equations is a subtle invariant that encodes the structure of the solutions. Computing monodromy permutations using numerical algebraic geometry gives information about the…
In the Dirac bracket approach to dynamical systems with second class constraints observables are represented by elements of a quotient Dirac bracket algebra. We describe families of new realizations of this algebra through quotients of the…
We initiate the study of an algebra of symmetries for the 3D Dirac-Dunkl operator associated with the Weyl group of the exceptional root system $G_2$. For this symmetry algebra, we give both an abstract definition and an explicit…
We introduce and investigate the concept of Stratified Algebra, a new algebraic framework equipped with a layer-based structure on a vector space. We formalize a set of axioms governing intra-layer and inter-layer interactions, study their…
We describe a significant update to the Macaulay2 package A1BrouwerDegrees. We extend several methods in the previous version of the package to the setting of finite \'{e}tale algebras, allowing the computation of transfers along finite…
A new heuristic method for the evaluation of definite integrals is presented. This method of brackets has its origin in methods developed for theevaluation of Feynman diagrams. We describe the operational rules and illustrate the method…
Unitary braiding operators can be used as robust entangling quantum gates. We introduce a solution-generating technique to solve the $(d,m,l)$-generalized Yang-Baxter equation, for $m/2\leq l \leq m$, which allows to systematically…