|
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:
|