Procedures:
D.7.1.1 degreepart elements of id of total degree >= d1 and <= d2, and rest D.7.1.2 elimlinearpart linear part eliminated from id D.7.1.3 elimpart partial elimination of vars [among first n vars] D.7.1.4 elimpartanyr factors of p partially eliminated from i in any ring D.7.1.5 fastelim fast elimination of factors of p from i [options] D.7.1.6 findvars ideal of variables occuring in id [more information] D.7.1.7 hilbvec intvec of Hilberseries of id [in char c and ord o] D.7.1.8 linearpart elements of id of total degree <=1 D.7.1.9 tolessvars maps id to new basering having only vars occuring in id D.7.1.10 solvelinearpart reduced std-basis of linear part of id D.7.1.11 sortandmap map to new basering with vars sorted w.r.t. complexity D.7.1.12 sortvars sort vars w.r.t. complexity in id [different blocks] D.7.1.13 valvars valuation of vars w.r.t. to their complexity in id D.7.1.14 idealSplit a list of ideals such that their intersection has the same radical as id