#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 Michael Jung)

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 Michael Jung

Branch: u/gh-mjungmath/turn_de_rham_cohomology_into_algebra

comment:2 Changed 17 months ago by Michael Jung

Authors: Michael Jung
Cc: Travis Scrimshaw Matthias Köppe Eric Gourgoulhon added
Commit: fb9c6618ff20ec36984d1e42c24e2012ffff3d8a
Description: modified (diff)
Status: newneeds_review

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:

fb9c661#32270: de rham cohomology as algebra

comment:3 Changed 17 months ago by Travis Scrimshaw

Reviewers: Travis Scrimshaw

Green bot => positive review.

comment:4 Changed 17 months ago by Michael Jung

Mhh...patchbot won't show up...

comment:5 Changed 17 months ago by Samuel Lelièvre

Patchbot pascaline: tests pass, except a timeout in map_reduce.

comment:6 Changed 17 months ago by Travis Scrimshaw

Status: needs_reviewpositive_review

Thanks Samuel. Should be unrelated to this ticket.

comment:7 Changed 16 months ago by Matthias Köppe

Milestone: sage-9.4sage-9.5

comment:8 Changed 15 months ago by Volker Braun

Branch: u/gh-mjungmath/turn_de_rham_cohomology_into_algebrafb9c6618ff20ec36984d1e42c24e2012ffff3d8a
Resolution: fixed
Status: positive_reviewclosed
Note: See TracTickets for help on using tickets.