Does SymPy have everything needed for doing Differential Algebra?

We saw how to work with normal polynomials, both univariate and multivariate in previous videos. But what about differential polynomials where other than the variables, their derivatives can also appear? For example see this Wikipedia page on differential algebra. https://en.wikipedia.org/wiki/Differential_algebra Here we just check some basic functionalities of SymPy that you can use to implement some algorithms in this topic. Feel free to let us know SymPy is enough for implementing your favorite algorithm in computational differential algebra or it is not. A SymPy documentation page on Derivatives: https://docs.sympy.org/latest/modules/core.html#sympy.core.function.Derivative