IsRadical - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Microsoft Edge.

Online Help

All Products    Maple    MapleSim


PolynomialIdeals

  

IsRadical

  

test whether an ideal is radical

  

Radical

  

compute the radical of an ideal

  

RadicalMembership

  

test for membership in the radical

 

Calling Sequence

Parameters

Description

Examples

References

Compatibility

Calling Sequence

IsRadical(J)

Radical(J)

RadicalMembership(f, J)

Parameters

J

-

polynomial ideal

f

-

polynomial

Description

• 

The IsRadical command tests whether a given ideal is radical. An ideal J is radical if  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  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

(1)

(2)

(3)

(4)

(5)

(6)

(7)

(8)

(9)

(10)

(11)

(12)

(13)

References

  

Cox, D.; Little, J.; and O'Shea, D. Ideals, Varieties, and Algorithms. 2nd ed. New York: Springer-Verlag, 1997.

  

Gianni, P.; Trager, B.; and Zacharias, G. "Grobner bases and primary decompositions of polynomial ideals." J. Symbolic Comput. Vol. 6, (1988): 149-167.

Compatibility

• 

The PolynomialIdeals[IsRadical], PolynomialIdeals[Radical] and PolynomialIdeals[RadicalMembership] commands were updated in Maple 16.

See Also

Groebner[Basis]

map

PolynomialIdeals

PolynomialIdeals[HilbertDimension]

PolynomialIdeals[IdealContainment]

PolynomialIdeals[IdealMembership]

PolynomialIdeals[Intersect]

PolynomialIdeals[PrimeDecomposition]

PolynomialIdeals[ZeroDimensionalDecomposition]

 


Download Help Document