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