|
7.7.5.0. freeGBasis
Procedure from library freegb.lib (see freegb_lib).
- Usage:
- freeGBasis(L, d); L a list of modules, d an integer
- Return:
- ring
- 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 human-readable
representation
Example:
| LIB "freegb.lib";
ring r = 0,(x,y,z),(dp(1),dp(2));
module M = [-1,x,y],[-7,y,y],[3,x,x];
module N = [1,x,y,x],[-1,y,x,y];
list L; L[1] = M; L[2] = N;
lst2str(L);
==> [1]:
==> -xy-7yy+3xx
==> [2]:
==> xyx-yxy
def U = freeGBasis(L,5);
lst2str(U);
==> [1]:
==> yyyyy
==> [2]:
==> 22803yyyx+19307yyyy
==> [3]:
==> 1933yyxy+2751yyyx+161yyyy
==> [4]:
==> 22xyy-3yxy-21yyx+7yyy
==> [5]:
==> 3xyx-22xyy+21yyx-7yyy
==> [6]:
==> 3xx-xy-7yy
|
|