PolynomialIdeals - Maple Programming Help

Online Help

All Products    Maple    MapleSim


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

PolynomialIdeals

  

Add

  

compute the sum of ideals

  

Multiply

  

compute the product of ideals

  

Quotient

  

compute the quotient of two ideals

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

Add(J, K, ..., options)

Multiply(J, K, ..., options)

Quotient(J, K, options)

Parameters

J, K

-

polynomial ideals, polynomials, or list or sets or polynomials

options

-

(optional) properties of the ideal and polynomial ring of the result

Description

• 

The Add, Multiply, and Quotient commands compute ideal sums, products, and quotients respectively.

• 

Let J=<f1,...,fs> and K=<g1,...,gt> be two polynomial ideals. The ideal sum J&plus;K is the ideal <f1,...,fs,g1,...,gt>.  The ideal product JK is the ideal <figj:1<=i<=s,1<=j<=t>.  The ideal quotient J is the set of all polynomials f such that fg&in;J for all g in K.

• 

Add and Multiply accept any number of arguments. The set of variables is extended to include the variables of each ideal.  If the ideals cannot be put into a common polynomial ring, then an error is produced.  Add and Multiply do not make any effort to simplify their results. The Simplify command can be used for this purpose.

• 

The Quotient command accepts exactly two arguments.  If both arguments are polynomial ideals, then the set of variables is extended to include the variables of both ideals.  If one or more arguments are polynomials f, then the Quotient command takes that to mean f in an appropriate polynomial ring.

Examples

withPolynomialIdeals&colon;

Jx31&comma;y23

J:=x31&comma;y23

(1)

Kx2z

K:=x2z

(2)

SAddJ&comma;K

S:=x31&comma;y23&comma;x2z

(3)

IdealInfo:-VariablesS

x&comma;y&comma;z

(4)

PMultiplyJ&comma;K

P:=x31x2z&comma;y23x2z

(5)

IdealInfo:-VariablesP

x&comma;y&comma;z

(6)

QuotientJ&comma;x2&plus;x&plus;1

x1&comma;y23

(7)

QuotientJ&comma;x2&plus;x&plus;1

x1&comma;y23

(8)

QQuotientx21&comma;x1&comma;characteristic&equals;2

Q:=x&plus;1

(9)

IdealInfo:-CharacteristicQ

2

(10)

See Also

PolynomialIdeals

PolynomialIdeals[IdealInfo]

PolynomialIdeals[Operators]

PolynomialIdeals[PolynomialIdeal]

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