Procedures:
D.8.2.1 degreepart elements of id of total degree >= d1 and <= d2, and rest D.8.2.2 elimlinearpart linear part eliminated from id D.8.2.3 elimpart partial elimination of vars [among first n vars] D.8.2.4 elimpartanyr factors of p partially eliminated from i in any ring D.8.2.5 fastelim fast elimination of factors of p from i [options] D.8.2.6 findvars variables occuring/not occurring in id D.8.2.7 hilbvec intvec of Hilberseries of id [in char c and ord o] D.8.2.8 linearpart elements of id of total degree <=1 D.8.2.9 tolessvars maps id to new basering having only vars occuring in id D.8.2.10 solvelinearpart reduced std-basis of linear part of id D.8.2.11 sortandmap map to new basering with vars sorted w.r.t. complexity D.8.2.12 sortvars sort vars w.r.t. complexity in id [different blocks] D.8.2.13 valvars valuation of vars w.r.t. to their complexity in id D.8.2.14 idealSplit a list of ideals such that their intersection has the same radical as id
Online Manual
Online Manual
Online Manual