Opened 7 years ago
Closed 6 years ago
#20771 closed enhancement (fixed)
Modules of vector fields as Lie algebroids
Reported by: | tscrim | Owned by: | tscrim |
---|---|---|---|
Priority: | major | Milestone: | sage-7.5 |
Component: | geometry | Keywords: | lie algebras, days74 |
Cc: | egourgoulhon | Merged in: | |
Authors: | Travis Scrimshaw | Reviewers: | Eric Gourgoulhon |
Report Upstream: | N/A | Work issues: | |
Branch: | 2f1d037 (Commits, GitHub, GitLab) | Commit: | 2f1d03736d98ad1d8088cfa7b8278ddcfbc9a393 |
Dependencies: | #19092, #20770 | Stopgaps: |
Description (last modified by )
This ticket adds Lie bracket to vector fields, giving the structure of Lie algebroid to the set X(M) of all vector fields over the manifold M.
Change History (20)
comment:1 Changed 7 years ago by
Branch: | → public/manifolds/lie_algebras-20771 |
---|---|
Commit: | → bb95148a2356f26157303f7fc9e4fd204b1fed15 |
Status: | new → needs_review |
comment:2 Changed 7 years ago by
Dependencies: | #16820, #20770 → #16820, #19092, #20770 |
---|---|
Status: | needs_review → positive_review |
Failing test suite will be handled by improvements #19092.
comment:3 Changed 7 years ago by
Commit: | bb95148a2356f26157303f7fc9e4fd204b1fed15 → 6b71b13d4fbda757edde6cbbcb0531f08937c64b |
---|---|
Status: | positive_review → needs_review |
Branch pushed to git repo; I updated commit sha1 and set ticket back to needs_review. New commits:
6b71b13 | Removing finite-dimensionality for generic vectorfield module.
|
comment:4 Changed 7 years ago by
Status: | needs_review → positive_review |
---|
comment:5 Changed 7 years ago by
Status: | positive_review → needs_work |
---|
This is not a Lie algebra over the scalar field (only over the base field).
comment:7 Changed 7 years ago by
Commit: | 6b71b13d4fbda757edde6cbbcb0531f08937c64b → 96f09abe606bcb1bea50989b1a30e97cb5e92626 |
---|
comment:8 Changed 7 years ago by
Dependencies: | #16820, #19092, #20770 → #19092, #20770 |
---|
I've changed this as per our discussions and the forced push is to remove the dependency of #16820.
comment:9 Changed 7 years ago by
Status: | needs_work → needs_review |
---|
comment:10 Changed 7 years ago by
Commit: | 96f09abe606bcb1bea50989b1a30e97cb5e92626 → 72396ddfe2900d9ca95c870114c1ba451f3d2b64 |
---|
Branch pushed to git repo; I updated commit sha1. New commits:
2150a43 | Correct doctests in vector fields after the merge of #20770 in sage 7.3.beta3
|
3b1b794 | Fix doctests in tangent spaces after the merge of #20770 in sage 7.3.beta3
|
72396dd | Merge with latest #19092 to fix doctests after the merge of #20770 in sage 7.3.beta3
|
comment:11 Changed 7 years ago by
Status: | needs_review → positive_review |
---|
Looks good to me, thanks (the above commits are just to fix doctests in dependency tickets).
comment:12 Changed 6 years ago by
Commit: | 72396ddfe2900d9ca95c870114c1ba451f3d2b64 → 835b29379b600d8c1511662654abd7ec7e4c48d5 |
---|---|
Status: | positive_review → needs_review |
Branch pushed to git repo; I updated commit sha1 and set ticket back to needs_review. New commits:
3ab0af0 | Initial reviewer changes.
|
d7ad8e1 | Merge branch 'public/manifolds/diff_manif_tensor_fields' of git://trac.sagemath.org/sage into sage 7.3.beta5
|
dcb08fc | Decrease doctest times in tensor fields; remove xder from the global namespace
|
c70792e | Update tangent spaces to the latest version of #18843 (vector fields)
|
835b293 | Update Lie algebroids to the latest version of #18843 (vector fields)
|
comment:13 Changed 6 years ago by
Milestone: | sage-7.3 → sage-7.4 |
---|---|
Status: | needs_review → positive_review |
Setting back to positive review (since the latest commit simply propagates changes in the dependency ticket #19092)
comment:14 Changed 6 years ago by
Commit: | 835b29379b600d8c1511662654abd7ec7e4c48d5 → a5ab39a35019da581e4a813381ed07aea6280558 |
---|---|
Status: | positive_review → needs_review |
Branch pushed to git repo; I updated commit sha1 and set ticket back to needs_review. Last 10 new commits:
58f7fb9 | Merge branch 'develop' into public/manifolds/diff_manif_tensor_fields
|
3e73095 | Merge branch 'develop' into public/manifolds/diff_manif_tensor_fields
|
4955c3c | Final review of everything.
|
7cf4ff4 | Merge branch 'public/manifolds/diff_manif_tensor_fields' of trac.sagemath.org:sage into public/manifolds/diff_manif_tensor_fields
|
58ae506 | Merge branch 'public/manifolds/diff_manif_tensor_fields' of git://trac.sagemath.org/sage into Sage 7.4.beta6
|
8219403 | Fix documentation error; change in TensorField comparison to zero
|
a841f79 | Python 3 compatible syntax in tensor fields
|
5a5f400 | Slight change in TensorField.__eq__ (comparison to zero)
|
98efa66 | Update tangent spaces to the final version of the dependency ticket #18843
|
a5ab39a | Update Lie algebroids to the latest version of the dependency ticket #19092
|
comment:15 Changed 6 years ago by
Description: | modified (diff) |
---|---|
Status: | needs_review → positive_review |
Summary: | Put vector fields in the category of Lie algebras → Modules of vector fields as Lie algebroids |
Setting back to positive review, since the latest commit simply propagates changes in the dependency ticket #19092
comment:16 Changed 6 years ago by
Commit: | a5ab39a35019da581e4a813381ed07aea6280558 → 6af8ad273b32323c3f6129b37f8b22d6bc3fbdf2 |
---|---|
Status: | positive_review → needs_review |
Branch pushed to git repo; I updated commit sha1 and set ticket back to needs_review. New commits:
8860387 | Add missing reference Lee13
|
fb7f4dd | Bibliographic references for tensor fields moved to the master file
|
8205dca | Update tangent spaces to the last change (adding a missing reference) in the dependency ticket #18843
|
785300b | Bibliographic references for tangent spaces moved to the master file created by #21454
|
6af8ad2 | Bibliographic references for vector field modules as Lie algebroids moved to the master file created by #21454
|
comment:17 Changed 6 years ago by
Status: | needs_review → positive_review |
---|
Setting back to positive review, since the latest commit simply solves a merge conflict with #21454.
comment:18 Changed 6 years ago by
Commit: | 6af8ad273b32323c3f6129b37f8b22d6bc3fbdf2 → 2f1d03736d98ad1d8088cfa7b8278ddcfbc9a393 |
---|---|
Status: | positive_review → needs_review |
Branch pushed to git repo; I updated commit sha1 and set ticket back to needs_review. New commits:
4ce1118 | Merge branch 'public/manifolds/diff_manif_tangent_spaces' of git://trac.sagemath.org/sage into public/manifolds/diff_manif_tangent_spaces
|
567b892 | Doing some reviewer changes for #19092.
|
05f8cc7 | A little bit of extra cleanup.
|
23eb9d8 | Correct doctest and documentation in tangent spaces
|
b4a4530 | Use sphinx_plot for 3D plots in the documentation of charts and vector fields
|
ff6eb09 | Name of argument 'nb_values' in RealChart.plot changed to 'number_values'.
|
2f1d037 | Update Lie algebroids to the latest version of tangent spaces
|
comment:19 Changed 6 years ago by
Milestone: | sage-7.4 → sage-7.5 |
---|---|
Status: | needs_review → positive_review |
Setting back to positive review, since the latest commit simply propagates changes in the dependency ticket #19092
comment:20 Changed 6 years ago by
Branch: | public/manifolds/lie_algebras-20771 → 2f1d03736d98ad1d8088cfa7b8278ddcfbc9a393 |
---|---|
Resolution: | → fixed |
Status: | positive_review → closed |
Last 10 new commits:
Parsing the input so that it uses the indexing set.
Merge branch 'public/lie_algebras/fd_structure_coeff-16820' in 7.0.rc1
trac #16820 correct the spelling of Cartesian
Merge branch 'public/lie_algebras/fd_structure_coeff-16820' into 7.3.b2
Fixing trivial doctest failures.
Implementing a better way to compare indices.
Merge branch 'public/lie_algebras/fd_structure_coeff-16820' into public/manifolds/lie_algebras-TBA
Added list of basis and finite-dimensionality to finite rank free modules.
Merge branch 'public/modules/add_category_support_finite_rank_free_modules-20770' into public/manifolds/lie_algebras-TBA
Adding vector field module to the category of Lie algebras.