PolynomialIdeals - Maple Programming Help

Online Help

All Products    Maple    MapleSim


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

PolynomialIdeals

  

IdealInfo

  

return information about an ideal

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

Generators(J)

IdealInfo[Generators](J)

IdealInfo[Characteristic](J)

IdealInfo[Variables](J)

IdealInfo[Parameters](J)

IdealInfo[NonVariables](J)

IdealInfo[KnownGroebnerBases](J, X)

IdealInfo[DefaultMonomialOrder](J, T, X)

Parameters

J

-

polynomial ideal

T

-

(optional) type of monomial order

X

-

(optional) set of monomial order variables

Description

• 

The IdealInfo subpackage is a collection of simple procedures that return information about polynomial ideals.  They are intended to serve as a programmer interface to the PolynomialIdeal data structure. For compatibility with future releases, it is strongly recommended that you use these commands instead of accessing the operands of the data structure directly.

• 

The Generators, Characteristic, and Variables commands return the generators, ring characteristic, and ring variables, respectively.  The Generators command is also aliased as PolynomialIdeals[Generators].

• 

The Parameters command returns the set of indeterminates appearing in the generators that are not ring variables.  The NonVariables command returns the set of all indeterminates that appear inside a radical or RootOf.

• 

The KnownGroebnerBases command outputs the set of monomial orders for which Groebner bases are stored.  An optional second argument restricts the orders to a certain set of variables. To obtain the actual Groebner bases, use the Groebner[Basis] command.

• 

The DefaultMonomialOrder command returns a monomial order for which a Groebner basis is stored or can be computed quickly. Optional arguments can specify both the type of monomial order (for example, 'plex') and the set of variables to use.

• 

IdealInfo is a subpackage of the PolynomialIdeals package, and its various commands can be used in the form IdealInfo[command](arguments) only after executing with(PolynomialIdeals).  However, they can always be accessed through the long form of the command using PolynomialIdeals[IdealInfo][command](arguments).

Examples

withPolynomialIdeals:

Jx2z,y2+23w,characteristic=5,variables=x,y

J:=y2+23+4w,x2+4z

(1)

lprintJ

POLYNOMIALIDEAL(y^2+2*(3+4*w)^(1/2),x^2+4*z,variables = {x, y},characteristic = 5,known_groebner_bases = (table([])))

GeneratorsJ=IdealInfo[Generators]J

y2+23+4w,x2+4z=y2+23+4w,x2+4z

(2)

IdealInfo[Characteristic]J

5

(3)

IdealInfo[Variables]J

x,y

(4)

IdealInfo[Parameters]J

w,z

(5)

IdealInfo[NonVariables]J

w

(6)

IdealInfo[DefaultMonomialOrder]J

tdegy,x

(7)

Groebner[Basis]J,plexx,y

y2+23+4w,x2+4z

(8)

Groebner[Basis]J,tdegx,y

y2+23+4w,x2+4z

(9)

IdealInfo[KnownGroebnerBases]J

plexx,y,tdegx,y,tdegy,x

(10)

lprintJ

POLYNOMIALIDEAL(y^2+2*(3+4*w)^(1/2),x^2+4*z,variables = {x, y},characteristic = 5,known_groebner_bases = (table([(tdeg(x,y))=[[1, y^2, y^2+2*(3+4*w)^(1/2)], [1, x^2, x^2+4*z]],(tdeg(y,x))=[[1, x^2, x^2+4*z], [1, y^2, y^2+2*(3+4*w)^(1/2)]],(plex(x,y))=[[1, y^2, y^2+2*(3+4*w)^(1/2)], [1, x^2, x^2+4*z]]])))

See Also

Groebner[Basis]

lprint

MonomialOrders

PolynomialIdeals

PolynomialIdeals[PolynomialIdeal]

 


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