PolynomialIdeals - Maple Programming Help

PolynomialIdeals

 test whether an ideal is radical
 compute the radical of an ideal
 test for membership in the radical

Parameters

 J - polynomial ideal f - polynomial

Description

 • The IsRadical command tests whether a given ideal is radical. An ideal J is radical if ${f}^{m}$ in J implies f in J for all f in the polynomial ring. Similarly, the radical of J is the ideal of polynomials f such that ${f}^{m}$ is in J for some integer m. This can be computed using the Radical command.
 • The RadicalMembership command tests for membership in the radical without explicitly computing the radical.  This command can be useful in cases where computation of the radical cannot be performed.
 • The algorithms employed by Radical and IsRadical are based on the algorithm for prime decomposition, and require only a single lexicographic Groebner basis in the zero-dimensional case.  In practice, this means that computing the radical is no harder than computing a decomposition, and that both can be computed using the same information.
 • The Radical and IsRadical commands require polynomials over a perfect field.  Infinite fields of positive characteristic are not supported, and over finite fields only zero-dimensional ideals can be handled because the dimension reducing process generates infinite fields.  These restrictions do not apply to the RadicalMembership command.

Examples

 > with(PolynomialIdeals):
 > J := <(x^3-y)^2, y^3-1>;
 ${J}{≔}⟨{\left({{x}}^{{3}}{-}{y}\right)}^{{2}}{,}{{y}}^{{3}}{-}{1}⟩$ (1)
 ${\mathrm{false}}$ (2)
 > IdealMembership(x^3-y, J);
 ${\mathrm{false}}$ (3)
 ${\mathrm{true}}$ (4)
 ${R}{≔}⟨{{y}}^{{3}}{-}{1}{,}{{x}}^{{3}}{-}{y}⟩$ (5)
 > Simplify(PrimeDecomposition(J));
 $⟨{-}{1}{+}{y}{,}{x}{-}{1}⟩{,}⟨{-}{1}{+}{y}{,}{{x}}^{{2}}{+}{x}{+}{1}⟩{,}⟨{-}{{x}}^{{3}}{+}{y}{,}{{x}}^{{6}}{+}{{x}}^{{3}}{+}{1}⟩$ (6)
 > Intersect((6));
 $⟨{{y}}^{{3}}{-}{1}{,}{{x}}^{{3}}{-}{y}⟩$ (7)
 > IdealContainment((7), R, (7));
 ${\mathrm{true}}$ (8)
 > K := ;
 ${K}{≔}⟨{{x}}^{{3}}{-}{{y}}^{{2}}{,}{-}{z}{}{{x}}^{{2}}{+}{{y}}^{{3}}{,}{{x}}^{{2}}{}{{y}}^{{2}}{-}{2}{}{x}{}{y}{}{z}{+}{{z}}^{{2}}⟩$ (9)
 ${\mathrm{false}}$ (10)
 > IsPrimary(K);
 ${\mathrm{false}}$ (11)
 ${R}{≔}⟨{-}{{x}}^{{3}}{+}{{y}}^{{2}}{,}{-}{x}{}{y}{+}{z}⟩$ (12)
 ${\mathrm{true}}$ (13)