Question: square roots of numbers in Ore_algebras

Consider the following simple calculation with Ore algebras:

DA:=Ore_algebra[skew_algebra](euler=[theta,z]):
Ore_algebra[skew_power](sqrt(3)*theta,2,DA);
Error, (in Ore_algebra:-skew_power) skew polynomial must be member of the algebra

The error is due to the square root which is not recognized as a member of the algebra even though it is only a number. There seems to be no option to remedy this issue. Is there another solution ?

Please Wait...