|
7.7.4.9 lpLmDivides
Procedure from library freegb.lib (see freegb_lib).
- Usage:
- lpLmDivides(I); I an ideal
- Return:
- boolean
- Assume:
- basering is a Letterplace ring
- Purpose:
- tests if there is a polynomial q in I with LM(q)|LM(p)
Example:
| LIB "freegb.lib";
ring r = 0,(x,y),dp;
def R = makeLetterplaceRing(5);
setring R;
poly p = x*y*y;
lpLmDivides(y*y, p);
==> 1
lpLmDivides(y*x, p);
==> 0
lpLmDivides(ideal(y*y, y*x), p);
==> 1
|
|