|
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)
|
|