If GeneralElements is set to true, findGensUpToIrrelevance will replace the given ideal with an ideal where all generators of the same degree are combined into a general linear combination of those generators, then run findGensUpToIrrelevance on the new ideal. The first element in the output will be the new ideal, followed by the subsets of generators that will generate the original ideal up to saturation.
The object GeneralElements is a symbol.