# Differential forms and chain rule

Is there any way to use the chain rule on differential forms in Sage e.g. d(1/z) = -z^(-2)dz ?

From what I've understood in the reference manual, differential forms are defined via a manifold and coordinate charts which doesn't seem to allow it. I am working with forms that can be arbitrarily big, so I think it would be better for me to treat this as a purely algebraic object with no reference to any charts, but I guess this cannot be avoided ?

Sorry for the somewhat naive question, I am new to Sage.

The basic abilities of Sage include the use of chain rule :

This entails the solution of your differential form,

reformulated as an ordinary differential equation :But this is outside the differential geometry framework, so I'm not sure that I address your question.