|
7.7.20.0. eliminateNC
Procedure from library ncpreim.lib (see ncpreim_lib).
- Usage:
- eliminateNC(I,v,eng); I ideal, v intvec, eng optional int
- Return:
- ideal, I intersected with the subring defined by the variables not
index by the entries of v
- Assume:
- The entries of v are in the range 1..nvars(basering) and the
corresponding variables generate an admissible subalgebra.
- Remarks:
- In order to determine the required elimination ordering, a linear
programming problem is solved with the simplex algorithm.
Reference: (GML)
Unlike eliminate, this procedure will always find an elimination
ordering, if such exists.
- Note:
- If eng<>0,
std is used for Groebner basis computations,
otherwise (and by default) slimgb is used.
If printlevel=1, progress debug messages will be printed,
if printlevel>=2, all the debug messages will be printed.
Example:
See also:
eliminate (plural).
|