|
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:
|