Changes between Version 3 and Version 9 of Ticket #28716
- Timestamp:
- 11/11/19 22:17:03 (3 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #28716
-
Property
Commit
changed from
013fb8b665adaf1339372c457fca851246d30a3c
tod0ef4d77e44422e25fbdfbc90e9c852387a15033
-
Property
Commit
changed from
-
Ticket #28716 – Description
v3 v9 1 This ticket introduces the keyword argument `from_family` to`DifferentiableManifold.vector_frame()` to allow for constructing a vector frame from a spanning family of linearly independent vector fields:1 This ticket modifies `DifferentiableManifold.vector_frame()` to allow for constructing a vector frame from a spanning family of linearly independent vector fields: 2 2 {{{ 3 3 sage: M = Manifold(2, 'M') … … 5 5 sage: e0 = M.vector_field(1+x^2, 1+y^2) 6 6 sage: e1 = M.vector_field(2, -x*y) 7 sage: e = M.vector_frame('e', from_family=(e0, e1)); e7 sage: e = M.vector_frame('e', (e0, e1)); e 8 8 Vector frame (M, (e_0,e_1)) 9 9 sage: e[0].display() … … 20 20 sage: e = X.frame().new_frame(aut, 'e') 21 21 }}} 22 The introduction of `from_family` in `vector_frame()` simplifies this process. 22 23 23 24 24 '''Implementation details:''' such functionality already existed for bases of finite rank free modules; the relevant code is extracted from the method `FiniteRankFreeModule.basis()` and put into the new method `FreeModuleBasis._init_from_family()`, in order to be used in `DifferentiableManifold.vector_frame()` as well.