Top
Back: zeroOpt
Forward: minSatMod
FastBack: intprog_lib
FastForward: mregular_lib
Up: mprimdec_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.4.7.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)


Top Back: zeroOpt Forward: minSatMod FastBack: intprog_lib FastForward: mregular_lib Up: mprimdec_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-0-1, October 2005, generated by texi2html.