Quelle title.xml Sprache: XML

<?xml version="1.0" encoding="UTF-8"?>


<TitlePage>
 <Title>
 GBNP
 </Title>
 <Subtitle>
 computing Gröbner bases of noncommutative polynomials
 </Subtitle>
 <Version>
 1.1.0
 </Version>
 <Author>
 A.M. Cohen<Alt Only="LaTeX"> </Alt>
<Email>A.M.Cohen@tue.nl</Email>

 </Author>
 <Author>
 J.W. Knopper<Alt Only="LaTeX"> </Alt>
<Email>J.W.Knopper@tue.nl</Email>

 </Author>
 <Date>
 29 August 2024
 </Date>
 <Address>
 TU/e, POB 513, 5600 MB Eindhoven, the Netherlands
 </Address>
 <Abstract>
 We provide algorithms, written in the <Package>GAP</Package> 4 programming
language, for computing Gröbner bases of non-commutative polynomials, and some
variations, such as a weighted and truncated version and a tracing facility.
In addition, there are algorithms for analyzing the quotient of a
non-commutative polynomial algebra by a 2-sided ideal generated by a set of
polynomials whose Gröbner basis has been determined and for computing quotient
modules of free modules over quotient algebras.

The notion of algorithm is interpreted loosely: in general one cannot expect a
non-commutative Gröbner basis algorithm to terminate, as it would imply
solvability of the word problem for finitely presented (semi)groups.

This documentation gives a short description of the mathematical content,
explains the functions of the package, and provides more than twenty worked
out examples.
 </Abstract>
 <Copyright>
 ©right; 2001-2010 by Arjeh M. Cohen, Dié A.H. Gijsbers, Jan Willem
Knopper, Chris Krook. Address: Discrete Algebra and Geometry (DAM) group
at the Department of Mathematics and Computer Science of Eindhoven
University of Technology.
 </Copyright>
 <Acknowledgements>
 <List>
<Item>The package is based on an earlier version by Rosane Ushirobira.</Item>
<Item>The bulk of the package is written by Arjeh M. Cohen and Dié A.H. Gijsbers.</Item>
<Item>The theory is mainly taken from literature by Teo Mora <Cite Key="TCS::Mora1994:131"/>
 and Edward L. Green <Cite Key="Green1997"/>.</Item>
<Item>From Version 0.8.3 on the package has three additional files
 (<File>fincheck.g</File>, <File>tree.g</File> <File>graphs.g</File>) with
 routines for finding the Hilbert function and testing finite dimensionality
 when given a Gröbner basis by Chris Krook <Cite Key="Krook2003"/>, based on
 work by Victor Ufnarovski <Cite Key="MR91d:16053"/>.</Item>
<Item>From Version 0.9 on the package is enriched with support for fields
 implemented in GAP and additional prefix rules for quotient modules, as
 well as some speed improvements by Jan Willem Knopper. Knopper has also
 formatted the documentation in GAPDoc <Cite Key="GAPDoc"/>. </Item>
<Item>From Version 1.0 on the package is extended with NMO (for Noncommutative
 Monomial Orderings) by Randall Cone. This enables the GBNP user to choose
 a wider selection of monomial orderings than the standard one built into
 GBNP itself. Documentation on NMO can be found in the NMO manual <Cite
 Key="NMODoc"/>. </Item>
</List>
 </Acknowledgements>
 </TitlePage>

quality99%

¤ Dauer der Verarbeitung: 0.18 Sekunden (vorverarbeitet) ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.