The Ore_to_diff command converts a differential operator or a list of differential operators of the skew algebra A into a differential equation or a list of differential equations in the function f.  The output is expressed in terms of the diff function by default, or in terms of the D function when the optional parameter is set.

The Ore_to_DESol command converts a single differential operator of the skew algebra A into a DESol structure in the function f.

The Ore_to_shift command converts a shift operator or a list of shift operators of the skew algebra A into a recurrence equation or a list of recurrence equations in the sequence u.  The output is expressed in functional notation (  ) by default, or in the indexed notation (  ) when the optional argument is set.

The Ore_to_RESol command converts a single recurrence operator of the skew algebra A into an RESol structure in the sequence u.

Error, invalid input: Ore_algebra:-Ore_to_DESol expects its 1st argument, poly, to be of type polynom, but received [-2*x*Dx+Dy*y, -4*(mu-x*y^2)*(mu+x*y^2)+2*x*Dx+y^2*Dy^2, -2*(mu-x*y^2)*(mu+x*y^2)+Dy*Dx*y*x, -(mu-x*y^2)*(mu+x*y^2)+x*Dx+x^2*Dx^2]