teachstd.lib
LIB "teachstd.lib"; ring s=0,(x,y,z),(c,dp); leadmonomial((y+z+x+xyz)^2); ==> x2y2z2 leadmonomial([(y+z+x+xyz)^2,xyz5]); ==> x2y2z2