Changes between Initial Version and Version 1 of Ticket #30092, comment 6


Ignore:
Timestamp:
07/17/20 23:48:17 (2 years ago)
Author:
mkoeppe
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #30092, comment 6

    initial v1  
    1 I have here a preliminary implementation (trying to learn from `FilteredModules` and `MetricSpaces` of `NormedSpacesCategory` and `NormedVectorSpaces`.
     1I have here a preliminary implementation (trying to learn from `FilteredModules` and `MetricSpaces`) of `NormedSpacesCategory` and `NormedVectorSpaces`.
    22
    33Travis, if you could take a quick look to see if this seems to be going in the right direction...