Changes between Initial Version and Version 1 of Ticket #31609, comment 9


Ignore:
Timestamp:
04/06/21 00:12:11 (15 months ago)
Author:
gh-mjungmath
Comment:

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.
     1Alternatively 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.