Top
Back: isVar
Forward: lpVarAt
FastBack:
FastForward:
Up: freegb_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

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


Top Back: isVar Forward: lpVarAt FastBack: FastForward: Up: freegb_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 4-1-1p4, 2018, generated by texi2html.