dmodloc.lib
LIB "dmodloc.lib"; ring r = 0,(x,y),dp; ideal I = x2+5x3y7, x-x2-6xy; monomialInIdeal(I); ==> _[1]=x3y7 ==> _[2]=x2 ==> _[3]=xy ==> _[4]=x