Correct, it is an encoding to represent SubManifold spaces used in the multi-linear Grassmann algebra. It might seem strange on its own, but the advantage it pr

Correct, it is an encoding to represent SubManifold spaces used in the multi-linear Grassmann algebra. It might seem strange on its own, but the advantage it provides in Grassmann.jl is specialized automatic pre-compilation for differential geometric algebras based on a vector bundle manifold. For example, see https://grassmann.crucialflow.com https://grassmann.crucialflow.com