The command RemoveRedundantComponents(lrc, R) returns a list  of regular chains whose quasi-components are pairwise noninclusive and such that lrc and  are Lazard decompositions of the same algebraic variety. Consequently, this command removes from  those quasi-components that are redundant for inclusion.

The command RemoveRedundantComponents(lrsas, R) returns a list  of regular semi-algebraic system whose zero sets are pairwise noninclusive, and such that lrsas and  have the same zero set.

For more details, see Algorithm 35 in the Ph.D. thesis of Yuzhen Xie.

The RegularChains[SemiAlgebraicSetTools][RemoveRedundantComponents] command was introduced in Maple 16.

The lrsas parameter was introduced in Maple 16.

For more information on Maple 16 changes, see Updates in Maple 16.

Xie, Y. "Fast Algorithms, Modular Methods, Parallel Approaches and Software Engineering for Solving Polynomial Systems Symbolically" Ph.D. Thesis, University of Western Ontario, Canada, 2007.