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.
Generate: with n =
Please enter variable names (lowercase letters only) separated by commas.
Please enter (possibly non-homogeneous) relations separated by commas.
Order:
Augmentation:
Maximum degree: