create an algebra of commutative polynomials
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.
A ≔ poly_algebra⁡a,b,x,y
A ≔ Ore_algebra
A ≔ poly_algebra⁡i,x,y,alg_relations=i2+1:
Download Help Document
What kind of issue would you like to report? (Optional)
Thank you for submitting feedback on this help document. Your feedback will be used
to improve Maple's help in the future.