Using GBNP with Gap
GBNP
GBNP
is a non-commutative Groebner Basis package which assumes that all algebras involved will be free algebras over a finite number of non-commuting generators. It also assumes that the ordering on the monomials is left length-lexicographic.
Setting up GBNP
in progress...
Relevant GBNP internals
in progress...
Communicating with GBNP
a Groebner basis of the ideal generated by rels in the path algebra KQ.