test for ideal membership - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Algebra : Polynomials : PolynomialIdeals : PolynomialIdeals/IdealContainment

PolynomialIdeals[IdealMembership] - test for ideal membership

PolynomialIdeals[IdealContainment] - test for ideal containment

Calling Sequence

IdealMembership(f, J)

IdealMembership(l, J)

IdealContainment(J, K, ...)

f in J

J subset K

Parameters

f

-

polynomial

l

-

list or set of polynomials

J, K

-

polynomial ideals

Description

• 

The IdealMembership command tests elements for membership in an ideal.  If the first argument is a list or set of polynomials, IdealMembership returns true if and only if all of the elements f are members of the ideal.  The criterion for ideal membership is Groebner[NormalForm](f, J) = 0.

• 

The IdealContainment command tests whether ideals are contained within one another, and can test sequences of containments from left to right.  It returns true if and only if all containments are valid. For example, IdealContainment(J, K, L) tests whether J is contained in K and K is contained in L.

• 

A particularly useful form of the IdealContainment command is IdealContainment(J, K, J), which tests whether the ideals J and K are equal.

• 

The functionality of these commands is also available through the in and subset operators, see PolynomialIdeals[Operators] for more information.

Examples

withPolynomialIdeals:

J:=x2y,y2x

J:=y2x,x2y

(1)

K:=x4y2,y3x3

K:=x3+y3,x4y2

(2)

f:=expandx21x2yxy1y2+x

f:=x4xy32x2yx2+y2+x+y

(3)

IdealMembershipf,J

true

(4)

f∈J

true

(5)

IdealMembershipf,K

false

(6)

IdealContainmentK,J

true

(7)

K⊆J

true

(8)

L:=y2+y8,xy2y7,y3+x3

L:=y8y2,x3y3,y7+xy2

(9)

IdealContainmentK,L,K

true

(10)

See Also

expand, Groebner[Basis], Groebner[NormalForm], PolynomialIdeals, PolynomialIdeals[Operators]


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam