Top
Back: valvars
Forward: idealSplit
FastBack: Symbolic-numerical solving
FastForward: solve_lib
Up: presolve_lib
Top: Singular 2-0-4 Manual
Contents: Table of Contents
Index: Index
About: About this document

D.7.1.15 idealSimplify

Procedure from library presolve.lib (see 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: valvars Forward: idealSplit FastBack: Symbolic-numerical solving FastForward: solve_lib Up: presolve_lib Top: Singular 2-0-4 Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 2-0-4, May 2003, generated by texi2html.