Top
Back: lpNF
Forward: setLetterplaceAttributes
FastBack: fpadim_lib
FastForward: involut_lib
Up: freegb_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document
7.7.7.0. freeGBasis
Procedure from library freegb.lib (see freegb_lib).

Usage:
freeGBasis(L, d); L a list of modules, d an integer

Return:
ring

Assume:
L has a special form. Namely, it is a list of modules, where

- each generator of every module stands for a monomial times coefficient in
free algebra,

- in such a vector generator, the 1st entry is a nonzero coefficient from the
ground field

- and each next entry hosts a variable from the basering.

Purpose:
compute the two-sided Groebner basis of an ideal, encoded by L
in the free associative algebra, up to degree d

Note:
Apply lst2str to the output in order to obtain a better readable
presentation

Example:
 


Top Back: lpNF Forward: setLetterplaceAttributes FastBack: fpadim_lib FastForward: involut_lib Up: freegb_lib 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.