Top
Back: deleteGenerator
Forward: makeLetterplaceRing
FastBack: dmodapp_lib
FastForward: involut_lib
Up: Non-commutative libraries
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

7.7.5 freegb_lib

Library:
freegb.lib
Purpose:
Compute two-sided Groebner bases in free algebras via letterplace
Author:
Viktor Levandovskyy, levandov@math.rwth-aachen.de

Theory:
See chapter 'LETTERPLACE' in the @sc{Singular} Manual.

Procedures:

7.7.5.0. makeLetterplaceRing  creates a ring with d blocks of shifted original variables
7.7.5.0. freeGBasis  compute two-sided Groebner basis of ideal, encoded via L, up to degree n
7.7.5.0. setLetterplaceAttributes  supplies ring R with the letterplace structure
Auxiliary procedures:
7.7.5.0. lpMult  letterplace multiplication of letterplace polynomials
7.7.5.0. lp2lstr  convert letter-place ideal to a list of modules
7.7.5.0. lst2str  convert a list (of modules) into polynomials in free algebra
7.7.5.0. mod2str  convert a module into a polynomial in free algebra
7.7.5.0. vct2str  convert a vector into a word in free algebra
7.7.5.0. lieBracket  compute Lie bracket ab-ba of two letterplace polynomials
7.7.5.0. serreRelations  compute the ideal of Serre's relations associated to a generalized Cartan matrix A
7.7.5.0. isVar  check whether p is a power of a single variable
7.7.5.0. ademRelations  compute the ideal of Adem relations for i<2j in char 0
See also: LETTERPLACE.


Top Back: deleteGenerator Forward: makeLetterplaceRing FastBack: dmodapp_lib FastForward: involut_lib Up: Non-commutative libraries Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-0, Mar 2009, generated by texi2html.