compute the sum of ideals - Maple Help

Online Help

All Products    Maple    MapleSim


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

PolynomialIdeals[Add] - compute the sum of ideals

PolynomialIdeals[Multiply] - compute the product of ideals

PolynomialIdeals[Quotient] - compute the quotient of two ideals

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 fgJ 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;

J:=x31&comma;y23

J:=x31&comma;y23

(1)

K:=x2z

K:=x2z

(2)

S:=AddJ&comma;K

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

(3)

IdealInfo:-VariablesS

x&comma;y&comma;z

(4)

P:=MultiplyJ&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)

Q:=Quotientx21&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