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: |
Status badges
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