The command IsIncluded(rc1, rc2, R) returns true if the saturated ideal of rc1 is detected to be contained in that of rc2, false otherwise, where rc1 and rc2 are regular chains of R.

The answer is true if the following conditions hold.

(1) all equations of rc1 are reduced to zero by rc2

(2) the initials of rc1 are regular modulo rc2

The answer is also true if the following conditions hold.

(1) all equations of rc1 are reduced to zero by rc2

(2) the regular chain rc1 is primtive, that is, it generates its saturated ideal.

Other criteria are implemented.  Some inclusions are not detected by any of those criteria. When they all fail, then false is returned.

Even though there exists a general algorithm for deciding whether the saturated ideal rc1 is contained in that of rc2, this algorithm is not implemented since it too costly to execute in most cases. On the criteria the implemented crieria are in general much less costly to execute.

This command is part of the RegularChains[ChainTools] package, so it can be used in the form IsIncluded(..) only after executing the command with(RegularChains[ChainTools]).  However, it can always be accessed through the long form of the command by using RegularChains[ChainTools][IsIncluded](..).

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