Procedures:
7.5.3.0. centralizeSet v.s. basis of the centralizer of F within V 7.5.3.0. centralizerVS v.s. basis of the centralizer of F 7.5.3.0. centralizerRed reduced basis of the centralizer of F 7.5.3.0. centerVS v.s. basis of the center 7.5.3.0. centerRed reduced basis of the center 7.5.3.0. center reduced basis of the center 7.5.3.0. centralizer reduced bais of the centralizer of F 7.5.3.0. sa_reduce 's.a. reduction' of pairwise commuting elements 7.5.3.0. sa_poly_reduce 's.a. reduction' of p by pairwise commuting elements 7.5.3.0. inCenter checks the centrality of list/ideal/poly T 7.5.3.0. inCentralizer checks whether list/ideal/poly T commute with S 7.5.3.0. isCartan checks whether polynomial p is a Cartan element 7.5.3.0. applyAdF images of elements under the k-linear map Ad_f 7.5.3.0. linearMapKernel kernel of a linear map given by images 7.5.3.0. linearCombinations k-linear combinations of elements 7.5.3.0. variablesStandard set of algebra generators in their natural order 7.5.3.0. variablesSorted heuristically sorted set of algebra generators 7.5.3.0. PBW_eqDeg PBW monomials of given degree 7.5.3.0. PBW_maxDeg PBW monomials up to given degree 7.5.3.0. PBW_maxMonom PBW monomials up to given maximal monomial