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.