Question: Taking Lie derivatives of expressions with RootOf

HI

I am using a simple piece of code to generate Lie derivatives, and I am interested in adapting it so that I can use it with vector Fields where that include RootOf expressions. 

LieDer_with_rootof.mw

The above includes an example where it works, and an example where RootOf appears in the vector field and it does not work. 

Please Wait...