We're sorry but this page doesn't work properly without JavaScript enabled. Please enable it to continue.
Feedback

Letterplace — a Subsystem of Singular for Computations with Free Algebras via Letterplace Embedding

Formal Metadata

Title
Letterplace — a Subsystem of Singular for Computations with Free Algebras via Letterplace Embedding
Title of Series
Number of Parts
2
Author
License
CC Attribution 3.0 Germany:
You are free to use, adapt and copy, distribute and transmit the work or content in adapted or unchanged form for any legal purpose as long as the work is attributed to the author in the manner specified by the author or licensor.
Identifiers
Publisher
Release Date2020
LanguageEnglish
Production Year2020
Production PlaceAachen

Content Metadata

Subject Area
Genre
Abstract
We present the newest release of the subsystem of Singular called Letterplace which exists since 2009. It is devoted to computations with finitely presented associative algebras over fields and offers Gröbner(-Shirshov) bases over free algebras via the Letterplace correspondence of La Scala and Levandovskyy. This allows to use highly tuned commutative data structures internally and to reuse parts of existing algorithms in the non-commutative situation. The present version has been deeply reengineered, based on the experience with earlier and experimental versions. We offer an unprecedented functionality, some of which for the first time in the history of computer algebra. In particular, we present tools for elimination theory (via truncated Gröbner bases and via supporting several kinds of elimination orderings), dimension theory (Gel'fand-Kirillov and global dimension), and for homological algebra (such as syzygy bimodules and lifts for ideals and bimodules) to name a few. Another article in this issue is devoted to the extension of Gröbner bases to the coefficients in principal ideal rings including Z, which is also a part of this release. We report on comparison with other systems and on some advances in the theory. Quite nontrivial examples illustrate the abilities of the system.
Keywords