Top
Back: G-algebras
Forward: Syzygies and resolutions (plural)
FastBack: Functions (plural)
FastForward: Graded commutative algebras (SCA)
Up: Mathematical background (plural)
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

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


Top Back: G-algebras Forward: Syzygies and resolutions (plural) FastBack: Functions (plural) FastForward: Graded commutative algebras (SCA) Up: Mathematical background (plural) Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.