ring.lib
LIB "ring.lib"; ring r=0,x,dp; ideal I1=x2; ideal I2=x3; isSubModule(I1,I2); ==> 0 isSubModule(I2,I1); ==> 1