The HilbertDimension command computes the Hilbert dimension of an ideal.

The MaximalIndependentSet command computes a maximal independent set of variables for an ideal J in $k_X$.  This set has the property that $J\cap k_X=\left\{0\right\}$.  The cardinality of this set is an invariant, equal to the Hilbert dimension of the ideal. These commands require a total degree Groebner basis.

The IsZeroDimensional command tests only whether an ideal has Hilbert dimension zero.  This can be done using any Groebner basis. In cases where the dimension is not zero, some computation is avoided.

An optional second argument can be used to override the variables of the polynomial ring.

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

$J≔⟨x^2-y^2+z^{4}w\,xz-y{w}^2⟩$

$J≔⟨-y{w}^2+xz\,z^{4}w+x^2-y^2⟩$

$\mathrm{IsZeroDimensional}\left(J\right)$

$\mathrm{false}$

$M≔\mathrm{MaximalIndependentSet}\left(J\right)$

$M≔\left\{y\,z\right\}$

$\mathrm{EliminationIdeal}\left(J\,M\right)$

$⟨0⟩$

$\mathrm{HilbertDimension}\left(J\right)$

$2$

$V≔\mathrm{IdealInfo}:-\mathrm{Variables}\left(J\right)$

$V≔\left\{w\,x\,y\,z\right\}$

$\mathrm{HilbertDimension}\left(J\,V\mathbf{minus}M\right)$

$0$

Becker, T., and Weispfenning, V. Groebner Bases. New York: Springer-Verlag, 1993.