Top
Back: ncpreim_lib
Forward: preimageNC
FastBack: dmodloc_lib
FastForward: Examples
Up: ncpreim_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document
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).


Top Back: ncpreim_lib Forward: preimageNC FastBack: dmodloc_lib FastForward: Examples Up: ncpreim_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.