Top
Back: D.4.4.14 zeroOpt
Forward: D.4.4.16 minSatMod
FastBack: Appendix D SINGULAR libraries
FastForward: E Release Notes
Up: D.4.4 mprimdec_lib
Top: 1 Preface
Contents: Table of Contents
Index: F Index
About: About This Document

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)

Top Back: D.4.4.14 zeroOpt Forward: D.4.4.16 minSatMod FastBack: Appendix D SINGULAR libraries FastForward: E Release Notes Up: D.4.4 mprimdec_lib Top: 1 Preface Contents: Table of Contents Index: F Index About: About This Document
            User manual for Singular version 2-0-4, October 2002, generated by texi2html.