Bug#990950: ITP: bergman -- Groebner bases in commutative and non-commutative algebras
Package: wnpp
Severity: wishlist
Owner: Doug Torrance <dtorrance@piedmont.edu>
X-Debbugs-Cc: debian-devel@lists.debian.org, dtorrance@piedmont.edu
* Package name : bergman
Version : 1.001
Upstream Author : Joergen Backelin
* URL : http://servus.math.su.se/bergman/
* License : Bergman General Public License
Programming Lang: Common Lisp
Description : Groebner bases in commutative and noncommutative algebras
Bergman is a powerful tool to calculate Gröbner bases in commutative
and non-commutative algebras, and in modules over them. It may also be
used to calculate some invariants of algebras and modules: the Hilbert
series, and (in the non-commutative case) the Poincaré-Betti series,
the Anick resolution, and the Betti numbers.
The most important feature of bergman are computations both in
non-commutative and commutative cases. It also permits degree-wise
output of results; thus it may save partial results from calculations
close to or beyond the limit for calculations of entire Gröbner bases
with present-day computer strength. This saves for the user partial
results even the problem overheads the strength of the computer.
Bergman offers the user a high level of flexibiliy. Among the
alternatives for ring set-ups are: commutativity or non-commutativity;
various strategies of Gröbner basis computation; a few different
monomial orderings; and various coefficient fields. The set-up may be
changed interactively during the session. Most calculations can be
done both for ideals and modules. In the Reduce version it is possible
to include indeterminates (with or without declared reduction rules)
as coefficients for the commutative computations; otherwise the
coefficient field should be a prime field.
Bergman is written in Standard Lisp, the Lisp dialect underlying
Reduce implementations. There is also available an experimentative
Common Lisp version.Therefore, bergman works under Reduce, PSL or
Common Lisp (at least one of them should be pre-installed), and
commands are written in respect to Reduce or Lisp syntax.
Bergman is a dependency of the Macaulay2 package "NCAlgebra" for
working with noncommutative algebras. I intend to maintain it under
the umbrella of the Debian Science Team.
Reply to: