Top
Back: Mathematical background (plural)
Forward: Groebner bases in G-algebras
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.1 G-algebras

Definition (PBW basis)

Definition (G-algebra)

  • non-degeneracy conditions:

Note: Note that non-degeneracy conditions simply ensure associativity of multiplication.

Theorem (properties of G-algebras)

Setting up a G-algebra

  • - define a commutative ring equipped with a monomial ordering (see ring declarations (plural)).
    This provides us with the information on a field (together with its parameters), variables and an ordering <.
    From the sequence of variables we will build a G-algebra with the Poincaré-Birkhoff-Witt (PBW) basis

  • - define strictly upper triangular matrices (of type matrix)

  • Call the initialization function nc_algebra(C,D) (see nc_algebra) with the data

At present, PLURAL does not check automatically whether the non-degeneracy conditions hold but it provides a procedure ndcond from the library nctools_lib to check this.


Top Back: Mathematical background (plural) Forward: Groebner bases in G-algebras 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.