We need to implement data structures for k-{vectors,forms}. These data structures are similar to nalgebra datastructures like na::{Vector, Matrix}. We need to decide on an ordering of the standard bases of these linear spaces of k-{vectors, forms} and then we can store the coefficients/coordinates of these objects.
By choosing an ordering we can store a list of coefficients in a vector or we can store the objects as actual tensors using nD arrays.
These exterior algebras need of course common operations like wedge product, hodge star, sharp and flat. And for forms we additionally need exterior derivative and evaluation.
It would of course be nice to abstracts over vectors and forms and just have an ExteriorAlgebra.
We need to implement data structures for k-{vectors,forms}. These data structures are similar to nalgebra datastructures like
na::{Vector, Matrix}
. We need to decide on an ordering of the standard bases of these linear spaces of k-{vectors, forms} and then we can store the coefficients/coordinates of these objects. By choosing an ordering we can store a list of coefficients in a vector or we can store the objects as actual tensors using nD arrays.These exterior algebras need of course common operations like wedge product, hodge star, sharp and flat. And for forms we additionally need exterior derivative and evaluation.
It would of course be nice to abstracts over vectors and forms and just have an
ExteriorAlgebra
.