Ore_algebra
poly_algebra
create an algebra of commutative polynomials
Calling Sequence
Parameters
Description
Examples
poly_algebra(x_1,..., x_n)
x_i
-
indeterminates (variable names)
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.
withOre_algebra:
A≔poly_algebraa,b,x,y
A≔Ore_algebra
skew_producta+1x,by,A
abxy+bxy
A≔poly_algebrai,x,y,alg_relations=i2+1:
skew_productx+i,y−i,A
−ix+iy+yx+1
See Also
Ore_algebra/skew_product
Ore_algebra/Weyl_algebra
Download Help Document