Closed ftschindler closed 5 months ago
I started to draft out the architecture a bit here. What I noticed is that HilbertSpaceWithBasis
is not derived from NormedSpaceWithBasis
, but from VectorSpaceWithBasis
. Any particular reason for that which I'm missing @sdrave ?
Not meant to be merged for the moment, just a basis for discussion.