Currently, the `DirectSum`

package provides a `SubManifold{V,N,B}`

representation of a simplex. This versatile type is extended by `Grassmann`

algebra so that it can be combined into point clouds and chain complexes, (including quadrangles which can be obtained by combining oriented simplices).

The fundamental building blocks of a quadrangle can be represented in terms of a simplicial chain.

I would certainly like to hear more about what people think is a better approach for unifying the simplicial building blocks with the more general elements like quadrangles. The `DirectSum`

package provides the foundation for any `Simplex`

based on a `SubManifold`

representation, while the `Grassmann`

package provides an extension to combine `SubManifold`

into `Chain`

and `MultiVector`

simplicial complex.

Please do share any ideas about interfacing if you have any suggestions.