Hi, I'm new to Sage and curious about one, potentially very useful aspect regarding SageManifolds module. I've seen that part regarding vector bundles is already developed, so I'd like to ask whether it is possible to form objects such as differential forms on regular manifold M, valued in vector bundle E.
More precisely, structures such as C^{\infty} ( E \otimes \bigwedge^k (T^{\ast} M ) ) (sorry, I can't insert pictures yet). Such entities arise naturally, at least in physics (starting from general relativity) where one needs to relate structure of vector bundle over M with tangent bundle of M.
In index notation, which also works in Sage, such tensors would be naturally manipulated by structure on M and E. Is there a possibility to form such differential forms, any other way than just forming a matrix of regular differential forms? Making such a matrix would be an option in the most trivial cases, but in general one would rather like to treat E and M equally.
