Opened 17 months ago
Closed 15 months ago
#32270 closed enhancement (fixed)
Turn De Rham Cohomology into Algebra
Reported by: | Michael Jung | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-9.5 |
Component: | manifolds | Keywords: | |
Cc: | Travis Scrimshaw, Matthias Köppe, Eric Gourgoulhon | Merged in: | |
Authors: | Michael Jung | Reviewers: | Travis Scrimshaw |
Report Upstream: | N/A | Work issues: | |
Branch: | fb9c661 (Commits, GitHub, GitLab) | Commit: | fb9c6618ff20ec36984d1e42c24e2012ffff3d8a |
Dependencies: | Stopgaps: |
Description (last modified by )
The De Rham cohomology is in fact an algebra.
This happens in view of #29581, where the set of characteristic cohomology classes constitutes a sub-algebra.
Change History (8)
comment:1 Changed 17 months ago by
Branch: | → u/gh-mjungmath/turn_de_rham_cohomology_into_algebra |
---|
comment:2 Changed 17 months ago by
Authors: | → Michael Jung |
---|---|
Cc: | Travis Scrimshaw Matthias Köppe Eric Gourgoulhon added |
Commit: | → fb9c6618ff20ec36984d1e42c24e2012ffff3d8a |
Description: | modified (diff) |
Status: | new → needs_review |
comment:6 Changed 17 months ago by
Status: | needs_review → positive_review |
---|
Thanks Samuel. Should be unrelated to this ticket.
comment:7 Changed 16 months ago by
Milestone: | sage-9.4 → sage-9.5 |
---|
comment:8 Changed 15 months ago by
Branch: | u/gh-mjungmath/turn_de_rham_cohomology_into_algebra → fb9c6618ff20ec36984d1e42c24e2012ffff3d8a |
---|---|
Resolution: | → fixed |
Status: | positive_review → closed |
Note: See
TracTickets for help on using
tickets.
I decided to keep the class and representation name. It is very uncommon in literature to call it the "de Rham cohomology algebra".
New commits:
#32270: de rham cohomology as algebra