|
PolynomialIdeals[HilbertDimension] - compute the Hilbert dimension of an ideal
PolynomialIdeals[MaximalIndependentSet] - compute a maximal independent set of variables
PolynomialIdeals[IsZeroDimensional] - test if an ideal is zero-dimensional
|
|
Calling Sequence
|
|
HilbertDimension(J, X)
MaximalIndependentSet(J, X)
IsZeroDimensional(J, X)
|
|
|
Parameters
|
|
|
J
|
-
|
polynomial ideal
|
|
X
|
-
|
(optional) set of ring variable names
|
|
|
|
|
|
Description
|
|
|
•
|
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]](/support/helpjp/helpview.aspx?si=8499/file02586/math74.png) . This set has the property that ![`intersect`(J, k[X]) = {0}](/support/helpjp/helpview.aspx?si=8499/file02586/math76.png) . 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.
|
|
|
|
Examples
|
|
|
>
|
|
|
>
|
|
|
| (1) |
J is in Q[w, x, y, z].
|
>
|
|
|
| (2) |
|
>
|
|
|
| (3) |
|
>
|
|
|
| (4) |
|
>
|
|
|
| (5) |
|
>
|
|
|
| (6) |
|
>
|
|
|
| (7) |
|
|
|
References
|
|
|
|
Becker, T., and Weispfenning, V. Groebner Bases. New York: Springer-Verlag, 1993.
|
|
|
Download Help Document
Was this information helpful?
