|  |  7.10.4.9 letplaceGBasis Procedure from libraryfreegb.lib(see  freegb_lib).
 
Example:Usage:
letplaceGBasis(I); I an ideal/module
Return:
ideal/module
Assume:
basering is a Letterplace ring, input consists of Letterplace polynomials
Purpose:
compute the two-sided Groebner basis of I via Letterplace algorithm (legacy routine)
Note:
the degree bound for this computation is read off the letterplace
structure of basering
 |  | LIB "freegb.lib";
ring r = 0,(x,y,z),Dp;
int degree_bound = 5;
def R = freeAlgebra(r, 5);
setring R;
ideal I = -x*y-7*y*y+3*x*x, x*y*x-y*x*y;
ideal J = letplaceGBasis(I);
J;
==> J[1]=3*x*x-x*y-7*y*y
==> J[2]=22*x*y*y-3*y*x*y-21*y*y*x+7*y*y*y
==> J[3]=3*x*y*x-22*x*y*y+21*y*y*x-7*y*y*y
==> J[4]=22803*y*y*y*x+19307*y*y*y*y
==> J[5]=1933*y*y*x*y+2751*y*y*y*x+161*y*y*y*y
==> J[6]=y*y*y*y*y
 | 
 
 |