modules.lib
LIB "modules.lib"; ring r; ideal i=x,y,z+x; i; ==> i[1]=x ==> i[2]=y ==> i[3]=x+z Ideal I=i;