PolynomialIdeals - Maple Help

Online Help

All Products    Maple    MapleSim


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

PolynomialIdeals

  

Simplify

  

put an ideal into a canonical form

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

Simplify(J)

Simplify(J, X)

Simplify(J, T)

Simplify(J, S)

Simplify(J, Z)

Parameters

J

-

polynomial ideal, or sequence of ideals

X

-

(optional) set of variables

T

-

(optional) monomial ordering

S

-

(optional) set of substitutions

Z

-

(optional) set of inequations

Description

• 

The Simplify command attempts to simplify an ideal using a Groebner basis.  It always detects whether the ideal is equivalent to the entire polynomial ring.

• 

The Simplify command can be applied directly to sequences of ideals, but must be mapped onto lists and sets.

• 

A monomial order, T, can be specified as an optional argument, forcing ideals into a canonical form.

• 

The set of ring variables can also be overridden using an optional argument.  If the new variables are a subset of the original ones, this computes the extension of the ideal in the new polynomial ring. The Contract command inverts this process when it is possible to do so.  Groebner bases that are stored by the system are not preserved under this operation.

• 

Simplify can optionally perform syntactic substitutions prior to the computation of a Groebner basis.  This is equivalent to using the eval command on the ideal generators.  Stored Groebner bases are not preserved under this operation.

• 

Simplify can also simplify under the assumption that certain expressions are not equal.  This functionality is equivalent to that of the Saturate command, and can be of great assistance on large problems.

Examples

withPolynomialIdeals:

Jx4x2+y6,xy5,y2x

J:=xy5,x4x2+y6,y2x

(1)

SimplifyJ

x3,yx2,y2x

(2)

Kx2+y26,2yzx2,z2xy

K:=x2+y26,xz+2y2,z2xy

(3)

SimplifyK,plexx,y

y3,xy,x2z2+4y2

(4)

SimplifyK,plexx,y,z=1

y3,xy,x2+4y2

(5)

Sx2x+1,xy,y2y+1,yx

S:=xy,x2x+1,yx,y2y+1

(6)

mapIdealInfo:-DefaultMonomialOrder,S

tdegx,y,tdegy,x

(7)

mapSimplify,S

xy,y2y+1,yx,x2x+1

(8)

Force a canonical form.

mapSimplify,S,tdegx,y

xy,y2y+1

(9)

Rz2+12y2m+y2+2ym3m2,x2+y2m2,12x2m+x2+2xm+t2,22z+z2+t2+2tm2t2m,56m4z+m2+4mz+z2+4t24t4ty4tm+2y+y2+2ym

R:=m2+x2+y2,2mx+t2+x22m2x+1,2mt+t2+z22m2t2z+2,3m2+2my+y2+z22m2y+1,m24mt+2my+4mz+4t24ty+y2+z26m4t+2y4z+5

(10)

R is a difficult system to solve.

HilbertDimensionR

1

(11)

R1SimplifyR,m0:

R1 is much easier to solve.

HilbertDimensionR1

0

(12)

See Also

Groebner[Basis]

map

MonomialOrders

PolynomialIdeals

PolynomialIdeals[Contract]

PolynomialIdeals[HilbertDimension]

PolynomialIdeals[IdealInfo]

PolynomialIdeals[Saturate]

 


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