Procedure from library mprimdec.lib (see mprimdec_lib).
mprimdec.lib
specialModulesEqual(N1, N2) N1, N2 standard bases of modules, s.th. N1 is contained in N2 or vice versa
int i if (N1==N2) then i=1 else i=0
Example:
LIB "mprimdec.lib"; ring r = 0,(x,y,z),dp; module N1=x*freemodule(2); module N2=xy*freemodule(2); int i=specialModulesEqual(N1,N2); i; → 0 N2=N1; i=specialModulesEqual(N1,N2); i; → 1