The command IsZeroDimensional(rc, R) returns true if rc is zero-dimensional false otherwise.

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

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

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

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

$R≔\mathrm{polynomial\_ring}$

$\mathrm{pz}≔\left(z-1\right)\left(z-2\right)$

$\mathrm{pz}≔\left(z-1\right)\left(z-2\right)$

$\mathrm{py}≔y^2+z$

$\mathrm{py}≔y^2+z$

$\mathrm{px}≔x+y+z$

$\mathrm{px}≔x+y+z$

$\mathrm{rc}≔\mathrm{Empty}\left(R\right)$

$\mathrm{rc}≔\mathrm{regular\_chain}$

$\mathrm{rc1}≔\mathrm{Chain}\left(\left[\mathrm{pz}\right]\,\mathrm{rc}\,R\right)$

$\mathrm{rc1}≔\mathrm{regular\_chain}$

$\mathrm{IsZeroDimensional}\left(\mathrm{rc1}\,R\right)$

$\mathrm{false}$

$\mathrm{rc2}≔\mathrm{Chain}\left(\left[\mathrm{pz}\,\mathrm{py}\,\mathrm{px}\right]\,\mathrm{rc}\,R\right)$

$\mathrm{rc2}≔\mathrm{regular\_chain}$

$\mathrm{IsZeroDimensional}\left(\mathrm{rc2}\,R\right)$

$\mathrm{true}$