Opened 3 months ago

Closed 7 weeks 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:

Status badges

Description (last modified by gh-mjungmath)

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 3 months ago by gh-mjungmath

  • Branch set to u/gh-mjungmath/turn_de_rham_cohomology_into_algebra

comment:2 Changed 3 months ago by gh-mjungmath

  • Authors set to Michael Jung
  • Cc tscrim mkoeppe egourgoulhon added
  • Commit set to fb9c6618ff20ec36984d1e42c24e2012ffff3d8a
  • Description modified (diff)
  • Status changed from new to needs_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 3 months ago by tscrim

  • Reviewers set to Travis Scrimshaw

Green bot => positive review.

comment:4 Changed 3 months ago by gh-mjungmath

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

comment:5 Changed 3 months ago by slelievre

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

comment:6 Changed 3 months ago by tscrim

  • Status changed from needs_review to positive_review

Thanks Samuel. Should be unrelated to this ticket.

comment:7 Changed 2 months ago by mkoeppe

  • Milestone changed from sage-9.4 to sage-9.5

comment:8 Changed 7 weeks ago by vbraun

  • 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.