|
7.7.7.0. letplaceGBasis
Procedure from library freegb.lib (see freegb_lib).
- Usage:
- letplaceGBasis(I); I an ideal
- Return:
- ideal
- Assume:
- basering is a Letterplace ring, an ideal consists of Letterplace
polynomials
- Purpose:
- compute the two-sided Groebner basis of an ideal I via Letterplace
algorithm
- Note:
- the degree bound for this computation is read off the letterplace
structure of basering
Example:
|