Top
Back: elimpartanyr
Forward: findvars
FastBack: Symbolic-numerical solving
FastForward: solve_lib
Up: presolve_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.8.1.5 fastelim

Procedure from library presolve.lib (see presolve_lib).

Usage:
fastelim(i,p[h,o,a,b,e,m]); i=ideal, p=polynomial; h,o,a,b,e=integers
p: product of variables to be eliminated;
Optional parameters:
 
  - h !=0: use Hilbert-series driven std-basis computation
  - o !=0: use proc valvars for a - hopefully - optimal ordering of vars
  - a !=0: order vars to be eliminated w.r.t. increasing complexity
  - b !=0: order vars not to be eliminated w.r.t. increasing complexity
  - e !=0: use elimpart first to eliminate easy part
  - m !=0: compute a minimal system of generators
(default: h,o,a,b,e,m = 0,1,0,0,0,0)

Return:
ideal obtained from i by eliminating those variables, which occur in p

Example:
 


Top Back: elimpartanyr Forward: findvars FastBack: Symbolic-numerical solving FastForward: solve_lib Up: presolve_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.