Changes between Version 4 and Version 49 of Ticket #30092


Ignore:
Timestamp:
07/25/20 21:06:39 (2 years ago)
Author:
mkoeppe
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #30092

    • Property Summary changed from FreeQuadraticModule needs richer categories to Categories of normed additive monoids/groups, normed modules/rings/fields, add FreeQuadraticModule to normed vector spaces
    • Property Branch changed from to public/categories/normed_monoids-30092
    • Property Commit changed from to 656612e56a585f70da156db3ccd35ff74e2bfa63
  • Ticket #30092 – Description

    v4 v49  
    99
    1010
    11 We define a category `InnerProductSpaces` with element methods `inner_product`.
    1211
    1312We define a category `NormedVectorSpaces` with element method `abs`.
     
    1514We deprecate the `MetricSpaces` element method `abs`.
    1615
     16
     17Follow-up: #30218: Category `InnerProductSpaces`
     18