The command RegularSystem(rc, H, R) constructs a regular system from a regular chain and a list of inequations. Denote by  the quasi-component of rc. Then the constructed regular system encodes those points in  that do not cancel any polynomial in H.

Each polynomial in H must be regular with respect to the regular chain rc; otherwise an error is reported.

If rc is not specified, then rc is set to the empty regular chain.

If H is not specified, then H is set to .

The command RegularSystem(R) constructs the regular system corresponding to the whole space.

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

See ConstructibleSetTools and RegularChains for the related mathematical concepts, in particular for the ideas of a constructible set, a regular system, and a regular chain.