Changes between Initial Version and Version 2 of Ticket #32270


Ignore:
Timestamp:
07/24/21 11:08:17 (11 months ago)
Author:
gh-mjungmath
Comment:

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

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #32270

    • Property Status changed from new to needs_review
    • Property Authors changed from to Michael Jung
    • Property Cc tscrim mkoeppe egourgoulhon added
    • Property Branch changed from to u/gh-mjungmath/turn_de_rham_cohomology_into_algebra
    • Property Commit changed from to fb9c6618ff20ec36984d1e42c24e2012ffff3d8a

  • Ticket #32270 – Description

    initial v2  
    1 The De Rham cohomology is in fact an algebra. We change the category and class name.
     1The De Rham cohomology is in fact an algebra.
    22
    33This happens in view of #29581, where the set of characteristic cohomology classes constitutes a sub-algebra.