Discrete Mathematics & Theoretical Computer Science (Dec 1997)

BERGMAN under MS-DOS and Anick's resolution

  • V. Ufnarovski,
  • S. Cojocaru

Journal volume & issue
Vol. 1, no. 1

Abstract

Read online

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.