“…The condition (3) comes in because the Hopf algebra in the context of Ore extension R X D is a smash product of R with k X , the free k-algebra considered as the universal enveloping algebra of the free Lie k-algebra X generated by X ( [7,8]). We refer the details to [5,6,8]. Each of the three conditions (1), (2), and (3) does not seem easy to verify for a particular application.…”