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 ≔ poly_algebra⁡i,x,y,alg_relations=i2+1:
Download Help Document