Opened 10 months ago
Closed 9 months ago
#32270 closed enhancement (fixed)
Turn De Rham Cohomology into Algebra
Reported by: | gh-mjungmath | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-9.5 |
Component: | manifolds | Keywords: | |
Cc: | tscrim, mkoeppe, egourgoulhon | 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 10 months ago by
- Branch set to u/gh-mjungmath/turn_de_rham_cohomology_into_algebra
comment:2 Changed 10 months ago by
- Cc tscrim mkoeppe egourgoulhon added
- Commit set to fb9c6618ff20ec36984d1e42c24e2012ffff3d8a
- Description modified (diff)
- Status changed from new to needs_review
comment:4 Changed 10 months ago by
Mhh...patchbot won't show up...
comment:5 Changed 10 months ago by
Patchbot pascaline: tests pass, except a timeout in map_reduce.
comment:6 Changed 10 months ago by
- Status changed from needs_review to positive_review
Thanks Samuel. Should be unrelated to this ticket.
comment:7 Changed 9 months ago by
- Milestone changed from sage-9.4 to sage-9.5
comment:8 Changed 9 months ago by
- Branch changed from u/gh-mjungmath/turn_de_rham_cohomology_into_algebra to fb9c6618ff20ec36984d1e42c24e2012ffff3d8a
- Resolution set to fixed
- Status changed from positive_review to 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