D.4.4.15 clrSBmod

Procedure from library mprimdec.lib (see mprimdec_lib).

Usage:

clrSBmod(N); N module which is SB ordered by monomial ordering

Return:

module = minimal SB

Example:

LIB "mprimdec.lib";
ring  r = (0,a,b),(x,y,z),dp;
module N1=ax2+y,a2x+y,bx;
module N2=clrSBmod(N1);
N2;
→ N2[1]=(a)*x2*gen(1)+y*gen(1)
→ N2[2]=(b)*x*gen(1)