PolynomialIdeals - Maple Programming Help

Online Help

All Products    Maple    MapleSim


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

PolynomialIdeals

  

Operators

  

binary operators for ideals

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

J + K

J * K

J / K

J ^ n

f in J

J subset K

Simplify(J)

Parameters

J, K

-

polynomial ideals

n

-

positive integer

f

-

polynomial

Description

• 

The Operators subpackage provides access to Add, Multiply, and Quotient as binary operators.  An exponentiation operator, which uses binary powering on Multiply, is also provided.  These operators are intended for interactive use with small examples.

  

Note: The `in` and `subset` operators are bound to the IdealMembership and IdealContainment routines when the PolynomialIdeals package is loaded. They are not part of the Operators subpackage.

• 

The arithmetic operators accept ordinary expressions as well as ideals.  Wherever an expression f is encountered, the operators construct <f> in an appropriate polynomial ring.

• 

Unlike their respective commands in PolynomialIdeals, the arithmetic operators simplify their results to a canonical form using reduced Groebner bases. The Simplify command is also rebound so that it simplifies ideals to this same canonical form.  The parent PolynomialIdeals package command behavior of Simplify can still be accessed through the long form PolynomialIdeals[Simplify].

• 

Operator overloading and the simplification of ideals to a canonical form is often very expensive and may be impractical for problems of even a moderate size.  In this case, don't use these operators.  Use the Add, Multiply, and Quotient commands in the parent PolynomialIdeals package, and apply the Simplify command selectively.

• 

These operators are part of the Operators subpackage, and can be used in their binary form only after executing with(PolynomialIdeals[Operators]), or inside a use statement.

Examples

withPolynomialIdeals&colon;

withOperators

`*`&comma;`+`&comma;Simplify&comma;`^`

(1)

Jx21

J:=x21

(2)

Ky2y

K:=y2y

(3)

Lx&plus;1&comma;y1

L:=x&plus;1&comma;y1

(4)

J&plus;L

x&plus;1&comma;y1

(5)

J&plus;KL

x21&comma;y2y

(6)

J&plus;KL

x21&comma;y2y&comma;xyy

(7)

L2L2

L2:=x2&plus;2x&plus;1&comma;y22y&plus;1&comma;xyx&plus;y1

(8)

fx2&plus;2x&plus;1

f:=x2&plus;2x&plus;1

(9)

gy1

g:=y1

(10)

f&in;L2

true

(11)

g&in;L2

false

(12)

L2&sube;f&comma;g

true

(13)

Hy21&comma;characteristic&equals;3

H:=y2&plus;2

(14)

Hg

y&plus;1

(15)

IdealInfo&lsqb;Characteristic&rsqb;

3

(16)

gH

1

(17)

IdealInfo&lsqb;Characteristic&rsqb;

3

(18)

See Also

PolynomialIdeals

PolynomialIdeals[Add]

PolynomialIdeals[IdealContainment]

PolynomialIdeals[IdealInfo]

PolynomialIdeals[IdealMembership]

PolynomialIdeals[Multiply]

PolynomialIdeals[Quotient]

PolynomialIdeals[Simplify]

 


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