7.4.2 Groebner bases in G-algebras
We follow the notations, used in the SINGULAR Manual (e.g. in Standard bases).
Definition
Remark: In general non-commutative algorithms are working with well-orderings
only (see PLURAL, Monomial orderings and Term orderings), unless we deal with grade commutative algebras.
Left Normal Form
Remark:
As we have already mentioned in the definitions ideal and module (see
PLURAL), PLURAL works with left normal form only.
Left ideal membership
|