monomialideal.lib
LIB "monomialideal.lib"; ring R = 0,(w,x,y,z,t),lp; ideal I = w,y,t; isprimeMon (I); ==> 1 ideal J = w,y,t,x*z; isprimeMon (J); ==> 0