An Ore polynomial is represented by an OrePoly structure. It consists of the constructor OrePoly with a sequence of coefficients starting with the one of degree zero. For example, in the differential case with the differential operator D, OrePoly(2/x, x, x+1, 1) represents the operator 2/x+xD+(x+1)D^2+D^3.

For a brief review of pseudo-linear algebra (also known as Ore algebra), see OreAlgebra.