monomialideal.lib
LIB "monomialideal.lib"; ring R = 0,(w,x,y,z,t),lp; ideal I = w^4,x^3,z^2,t^5; isirreducibleMon (I); ==> 1 ideal J = w^4*x,x^3,z^2,t^5; isirreducibleMon (J); ==> 0