Top
Back: D.7.1.14 valvars
Forward: D.7.1.16 idealSplit
FastBack: Appendix D SINGULAR libraries
FastForward: E Release Notes
Up: D.7.1 presolve_lib
Top: 1 Preface
Contents: Table of Contents
Index: F Index
About: About This Document

D.7.1.15 idealSimplify

Procedure from library presolve.lib (see section presolve_lib).

Usage:

idealSimplify(id); id ideal

Return:

ideal I = eliminate(Id,m) m is a product of variables which are only linearly involved in the generators of id

Example:

LIB "presolve.lib";
ring r=0,(x,y,z,w,t),dp;
ideal i=
t,
x3+y2+2z,
x2+3y,
x2+y2+z2,
w2+z;
ideal j=idealSimplify(i);
ideal k=eliminate(i,zyt);
reduce(k,std(j));
→ _[1]=0
→ _[2]=0
reduce(j,std(k));
→ _[1]=0
→ _[2]=0

Top Back: D.7.1.14 valvars Forward: D.7.1.16 idealSplit FastBack: Appendix D SINGULAR libraries FastForward: E Release Notes Up: D.7.1 presolve_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 texinfo.