Hi.
- Definition of multiple representations of vectors and matrices.
- Arbitrary combination of strategies and structure representations.
- Type-safe manipulation of context information associated to each strategy.
- Definition of specialized strategies for a given representation.