Singular Manual: lpLmDivides

| #### 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

User manual for Singular version 4-1-1p4, 2018, generated by texi2html.