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