Changes between Version 2 and Version 17 of Ticket #30062


Ignore:
Timestamp:
07/25/20 21:21:29 (4 months ago)
Author:
mkoeppe
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #30062

    • Property Commit changed from to 7a92b60ad53cc25a20ea86e29ef82fb52f2babc7
    • Property Branch changed from to public/manifolds/euclidean_metric_space
    • Property Summary changed from Add to category of metric spaces to Rename MetricSpaces parent method metric to metric_function, add EuclideanSpace to category of metric spaces

  • Ticket #30062 – Description

    v2 v17  
    1414sage: V = VectorSpace(QQ,3,inner_product_matrix=M)
    1515sage: V in MetricSpaces()
     16False
     17sage: E = EuclideanSpace(3)
     18sage: E in MetricSpaces()
     19False
    1620}}}
    1721
    18 also add (from https://trac.sagemath.org/ticket/30061#comment:44) `EuclideanSpace` (implementing the distance function by means of the Cartesian chart) and possibly other manifold classes.
     22On this ticket, we add (from https://trac.sagemath.org/ticket/30061#comment:44) `EuclideanSpace` (implementing the distance function by means of the Cartesian chart) to the category.
     23
     24To do this, we rename the `MetricSpaces` parent method `metric` to `metric_function`.
     25
     26The other examples from above will be taken care of in #30092 (which adds inner product spaces) and #30219 (real embedded number fields).
     27
     28