numerDecom.lib
LIB "numerDecom.lib"; ring r=0,(x,y,z),dp; ideal I= x3+y4,z4+yx,xz+3x,x2y+z; string sv=varstr(basering); def A=UseBertini(I,sv);