Bergman 2

This is a new Gröbner basis calculator inspired of bergman (which seems not to work anymore unfortunately). It only handles non-commutative algebras for now. The source code is available.

Presentation

Generate: with n =

Variables

Please enter variable names (lowercase letters only) separated by commas.

Relations

Please enter (possibly non-homogeneous) relations separated by commas.

Options

Order:

Augmentation:

Maximum degree:

Computations

Gröbner basis

Betti numbers

Anick chains

Anick resolution