### D.8.3 presolve_lib

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

Procedures:

> D.8.3.1 degreepart |  | elements of id of total degree >= d1 and <= d2, and rest
> D.8.3.2 elimlinearpart |  | linear part eliminated from id
> D.8.3.3 elimpart |  | partial elimination of vars [among first n vars]
> D.8.3.4 elimpartanyr |  | factors of p partially eliminated from i in any ring
> D.8.3.5 fastelim |  | fast elimination of factors of p from i [options]
> D.8.3.6 findvars |  | variables occurring/not occurring in id
> D.8.3.7 hilbvec |  | intvec of Hilberseries of id [in char c and ord o]
> D.8.3.8 linearpart |  | elements of id of total degree <=1
> D.8.3.9 tolessvars |  | maps id to new basering having only vars occurring in id
> D.8.3.10 solvelinearpart |  | reduced std-basis of linear part of id
> D.8.3.11 sortandmap |  | map to new basering with vars sorted w.r.t. complexity
> D.8.3.12 sortvars |  | sort vars w.r.t. complexity in id [different blocks]
> D.8.3.13 valvars |  | valuation of vars w.r.t. to their complexity in id
> D.8.3.14 idealSplit |  | a list of ideals such that their intersection has the same radical as id

User manual for Singular version 4.4.1, 2025, generated by texi2html.