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.