Question: Computations involving exterior derivatives and tensor products

Often times I run into calculations like these:

Where d denotes the exterior derivative. Now I know that it is possible to compute the exterior derivative of a function (using the DifferentialGeometry package). But is there a way to compute and simplify them with tensor products as above?

Please Wait...