author: | S. Cojocaru and V. Ufnarovski |
title: | BERGMAN under MS-DOS and Anicks resolution |
keywords: | Gröbner basis, Hilbert series, resolution
|
abstract: | Noncommutative algebras, defined by the generators and relations, are considered. The definition and main results
connected with the Gröbner basis, Hilbert series and Anicks resolution
are formulated. Most attention is paid to universal enveloping algebras.
Four main examples illustrate the main concepts and ideas. Algorithmic problems
arising in the calculation of the Hilbert series are investigated. The existence
of finite state automata, defining thebehaviour of the Hilbert series, is
discussed. The extensions of the BERGMAN package for IBM PC compatible computers
are described. A table is provided permitting a comparison of the effectiveness
of the calculations in BERGMAN with the other systems.
|
reference: |
S. Cojocaru and V. Ufnarovski (1997),
BERGMAN under MS-DOS and Anicks resolution,
Discrete Mathematics and Theoretical Computer Science 1, pp. 139-147 |
ps.gz-source: | dm010110.ps.gz |
ps-source: | dm010110.ps ( 823 K
) |
pdf-source: | dm010110.pdf ( 1128 K
) |