 RepresentingInequations - Maple Help

RegularChains[ConstructibleSetTools]

 RepresentingInequations
 return the list of inequations in a regular system Calling Sequence RepresentingInequations(rs, R) Parameters

 rs - regular system R - polynomial ring Description

 • 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. Examples

 > $\mathrm{with}\left(\mathrm{RegularChains}\right):$
 > $\mathrm{with}\left(\mathrm{ChainTools}\right):$
 > $\mathrm{with}\left(\mathrm{ConstructibleSetTools}\right):$

Define a polynomial ring.

 > $R≔\mathrm{PolynomialRing}\left(\left[x,y,z\right]\right)$
 ${R}{≔}{\mathrm{polynomial_ring}}$ (1)

Define a set of polynomials of R.

 > $\mathrm{sys}≔\left[z{x}^{2}+y+z,{y}^{2}+z\right]$
 ${\mathrm{sys}}{≔}\left[{z}{}{{x}}^{{2}}{+}{y}{+}{z}{,}{{y}}^{{2}}{+}{z}\right]$ (2)

The command Triangularize (with lazard option) will decompose the common solutions of the polynomials system $\mathrm{sys}$ by means of regular chains.

 > $\mathrm{dec}≔\mathrm{Triangularize}\left(\mathrm{sys},R,\mathrm{output}=\mathrm{lazard}\right)$
 ${\mathrm{dec}}{≔}\left[{\mathrm{regular_chain}}{,}{\mathrm{regular_chain}}\right]$ (3)

Let $\mathrm{rc}$ be the first regular chain and $h$ be a polynomial regarded as an inequation.

 > $\mathrm{rc}≔\mathrm{dec}\left[1\right];$$h≔x+z$
 ${\mathrm{rc}}{≔}{\mathrm{regular_chain}}$
 ${h}{≔}{x}{+}{z}$ (4)

To obtain a regular system, check whether $h$ is regular with respect to $\mathrm{rc}$.

 > $\mathrm{IsRegular}\left(h,\mathrm{rc},R\right)$
 ${\mathrm{true}}$ (5)

Since $h$ is regular, you can build a regular system.

 > $\mathrm{rs}≔\mathrm{RegularSystem}\left(\mathrm{rc},\left[h\right],R\right)$
 ${\mathrm{rs}}{≔}{\mathrm{regular_system}}$ (6)

Notice that the inequation $h$ is returned by the command RepresentingInequations.

 > $\mathrm{ineqs}≔\mathrm{RepresentingInequations}\left(\mathrm{rs},R\right)$
 ${\mathrm{ineqs}}{≔}\left[{x}{+}{z}\right]$ (7)