numerDecom.lib
LIB "numerDecom.lib"; ring r=0,(x,y,z),dp; ideal I= x3+y4,z4+yx,xz+3x,x2y+z; def D=re2squ(I); setring D; J;