Procedures:
D.7.1.1 degreepart elements of id of total degree >= d1 and <= d2 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 faststd fast std for ideal id [options] D.7.1.7 findvars ideal of variables occuring in id [more information] D.7.1.8 hilbvec intvec of Hilberseries of id [in char c and ord o] D.7.1.9 linearpart elements of id of total degree <=1 D.7.1.10 tolessvars maps id to new basering having only vars occuring in id D.7.1.11 solvelinearpart reduced std-basis of linear part of id D.7.1.12 sortandmap map to new basering with vars sorted w.r.t. complexity D.7.1.13 sortvars sort vars w.r.t. complexity in id [different blocks] D.7.1.14 valvars valuation of vars w.r.t. to their complexity in id D.7.1.15 idealSplit a list of ideals such that their intersection has the same radical as id