Changes between Version 2 and Version 17 of Ticket #30062
- Timestamp:
- 07/25/20 21:21:29 (2 years ago)
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
toRename MetricSpaces parent method metric to metric_function, add EuclideanSpace to category of metric spaces
-
Property
Commit
changed from
-
Ticket #30062 – Description
v2 v17 14 14 sage: V = VectorSpace(QQ,3,inner_product_matrix=M) 15 15 sage: V in MetricSpaces() 16 False 17 sage: E = EuclideanSpace(3) 18 sage: E in MetricSpaces() 19 False 16 20 }}} 17 21 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. 22 On 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 24 To do this, we rename the `MetricSpaces` parent method `metric` to `metric_function`. 25 26 The other examples from above will be taken care of in #30092 (which adds inner product spaces) and #30219 (real embedded number fields). 27 28