### D.8.2 presolve_lib

Library:
  presolve.lib
Purpose:
  Pre-Solving of Polynomial Equations
Author:
  Gert-Martin Greuel, email: greuel@mathematik.uni-kl.de,

Procedures:

> D.8.2.1 degreepart |  | elements of id of total degree >= d1 and <= d2, and rest
> D.8.2.2 elimlinearpart |  | linear part eliminated from id
> D.8.2.3 elimpart |  | partial elimination of vars [among first n vars]
> D.8.2.4 elimpartanyr |  | factors of p partially eliminated from i in any ring
> D.8.2.5 fastelim |  | fast elimination of factors of p from i [options]
> D.8.2.6 findvars |  | variables occuring/not occurring in id
> D.8.2.7 hilbvec |  | intvec of Hilberseries of id [in char c and ord o]
> D.8.2.8 linearpart |  | elements of id of total degree <=1
> D.8.2.9 tolessvars |  | maps id to new basering having only vars occuring in id
> D.8.2.10 solvelinearpart |  | reduced std-basis of linear part of id
> D.8.2.11 sortandmap |  | map to new basering with vars sorted w.r.t. complexity
> D.8.2.12 sortvars |  | sort vars w.r.t. complexity in id [different blocks]
> D.8.2.13 valvars |  | valuation of vars w.r.t. to their complexity in id
> D.8.2.14 idealSplit |  | a list of ideals such that their intersection has the same radical as id

User manual for Singular version 4-0-3, 2016, generated by texi2html.