The command RepresentingInequations(rs, R) returns the inequations of the regular system rs, assuming that the polynomials of rs belong to R

This command is part of the RegularChains[ConstructibleSetTools] package, so it can be used in the form RepresentingInequations(..) 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][RepresentingInequations](..).

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.