Top
Back: elim
Forward: nselect
FastBack: algebra_lib
FastForward: homolog_lib
Up: elim_lib
Top: Singular 2-0-4 Manual
Contents: Table of Contents
Index: Index
About: About this document

D.4.2.3 elim1

Procedure from library elim.lib (see elim_lib).

Usage:
elim1(id,p); id ideal/module, p product of vars to be eliminated

Return:
ideal/module obtained from id by eliminating vars occurring in poly

Note:
no special monomial ordering is required, result is a SB with respect to ordering dp (resp. ls) if the first var not to be eliminated belongs to a -p (resp. -s) block ordering
This proc uses 'execute' or calls a procedure using 'execute'.

Example:
 
LIB "elim.lib";
ring r=0,(x,y,t,s,z),dp;
ideal i=x-t,y-t2,z-t3,s-x+y3;
elim1(i,ts);
==> _[1]=y2-xz
==> _[2]=xy-z
==> _[3]=x2-y
module m=i*gen(1)+i*gen(2);
m=elim1(m,st); show(m);
==> // module, 6 generator(s)
==> [y2-xz]
==> [0,y2-xz]
==> [xy-z]
==> [0,xy-z]
==> [x2-y]
==> [0,x2-y]
See also: elim; eliminate.


Top Back: elim Forward: nselect FastBack: algebra_lib FastForward: homolog_lib Up: elim_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.