monomialideal.lib
LIB "monomialideal.lib"; ring R = 0,(x,y,z,t),dp; poly f = x^3*z^5*t^2; poly g = y^6*z^3*t^3; gcdMon(f,g); ==> z3t2