Ore_algebra - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Algebra : Skew Polynomials : Ore Algebra : Ore_algebra/poly_algebra

Ore_algebra

  

poly_algebra

  

create an algebra of commutative polynomials

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

poly_algebra(x_1,..., x_n)

Parameters

x_i

-

indeterminates (variable names)

Description

• 

The poly_algebra command defines an algebra of commutative polynomials and returns a table that can be used by other functions of the Ore_algebra package.

• 

The name x_i may not be assigned.

• 

The poly_algebra command allows the declaration of a commutative algebra as a particular case of Ore algebras.

• 

Options are available to control the ground ring of the algebra.  See Ore_algebra[declaration_options].

• 

All options described in the previous reference are available, except for the option polynom=s, which is the default.  This option is replaced with the option rational=s used to declare an indeterminate which may appear rationally.

Examples

withOre_algebra:

Apoly_algebraa,b,x,y

A:=Ore_algebra

(1)

skew_producta+1x,by,A

abxy+bxy

(2)

Apoly_algebrai,x,y,alg_relations=i2+1:

skew_productx+i,yi,A

ix+iy+xy+1

(3)

See Also

Ore_algebra

Ore_algebra/skew_product

Ore_algebra/Weyl_algebra

 


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