I’m thinking out loud here but I think there might be a nice way to have a generic Space<S: Structure> struct where the Structure trait provides ways to relate points in that space together. For example, you could have something like Space<Euclidean<N>> for Euclidean N space and then you’d automatically get all the algebra and what not you want on the space from that.
I’m thinking out loud here but I think there might be a nice way to have a generic
Space<S: Structure>struct where theStructuretrait provides ways to relate points in that space together. For example, you could have something likeSpace<Euclidean<N>>for EuclideanNspace and then you’d automatically get all the algebra and what not you want on the space from that.