Manifolds: Vector Valued Forms

[b220a61f-8dcb-4d62-9a53-d56a2b1bfc8f]

In this ticket, I'd like to introduce vector valued forms with values in a vector bundle by using a generalization of the class sage.tensor.modules.comp.Components allowing its element to be more general elements (in this case differential forms). In a next step, a bundle connection is introduced having these components as coefficients (see: connection matrix).

This is also useful for characteristic class on vector bundles and a corresponding embedding is easily handled.

Since I am really short of time, I'm afraid this ticket have to wait.

CC: @egourgoulhon

Component: geometry

Author: Michael Jung

Issue created by migration from https://trac.sagemath.org/ticket/28640

[b220a61f-8dcb-4d62-9a53-d56a2b1bfc8f]

Description changed:

--- 
+++ 
@@ -1,4 +1,4 @@
-In this ticket, I'd like to introduce vector valued forms with values in a vector bundle by using a generalization of the class `sage.tensor.modules.comp.Components` allowing its element to be more general elements (in this case differential forms). In a next step, a bundle connection is introduced having vector valued forms as coefficients (see: connection matrix).
+In this ticket, I'd like to introduce vector valued forms with values in a vector bundle by using a generalization of the class `sage.tensor.modules.comp.Components` allowing its element to be more general elements (in this case differential forms). In a next step, a bundle connection is introduced having these components as coefficients (see: connection matrix).

 This is also useful for characteristic class on vector bundles and a corresponding embedding is easily handled.

[egourgoulhon]

comment:2

This sounds very interesting. I hope you'll find time to work on this soon.