|
7.7.7.0. lpNF
Procedure from library freegb.lib (see freegb_lib).
- Usage:
- lpNF(p,G); f letterplace polynomial, ideal I
- Return:
- poly
- Purpose:
- computation of the normalform of p with respect to G
- Assume:
- p is a Letterplace polynomial, G is a set Letterplace polynomials,
being a Letterplace Groebner basis (no check for this will be done)
- Note:
- Strategy: take the smallest monomial wrt ordering for reduction
For homogenous ideals the shift does not matter
For non-homogenous ideals the first shift will be the smallest monomial
Example:
|