Changes between Initial Version and Version 1 of Ticket #31609, comment 9
- Timestamp:
- 04/06/21 00:12:11 (15 months ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #31609, comment 9
initial v1 1 Alternatively the Euclidean space, as a special case, can be endowed with an alias `vector` whereas general (differentiable) manifolds only supposed to have `tangent_vector`. I think that is the best solution .1 Alternatively the Euclidean space, as a special case, can be endowed with an alias `vector` whereas general (differentiable) manifolds only supposed to have `tangent_vector`. I think that is the best solution to maintain preciseness and having that alias in the elementary case at the same time.