D.4.4.17 specialModulesEqual

Procedure from library mprimdec.lib (see mprimdec_lib).

Usage:

specialModulesEqual(N1, N2) N1, N2 standard bases of modules, s.th. N1 is contained in N2 or vice versa

Return:

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