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 occurrring/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