GINDEPENDENT\_SETS _ _ _ _ _ _ _ _ _ _ _ _ operator
where <bas> is a groebner basis in any term order (which must be the current term order) with the specified variables (see ideal parameters).
Gindependent_setscomputes the maximal left independent variable sets of the ideal, that are the variable sets which play the role of free parameters in the current ideal basis. Each set is a list which is a subset of the variable list. The result is a list of these sets. For an ideal with dimension zero the list is empty. The Kredel-Weispfenning algorithm is used.