Changes between Version 2 and Version 19 of Ticket #31691


Ignore:
Timestamp:
04/26/21 17:47:27 (14 months ago)
Author:
gh-mjungmath
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #31691

    • Property Status changed from new to needs_review
    • Property Authors changed from to Michael Jung
    • Property Cc mkoeppe added
    • Property Summary changed from Turn mixed forms into de Rham complex to Turn mixed form algebra into de Rham complex
    • Property Branch changed from to public/31691_de_rham_complex
    • Property Commit changed from to 4746ddb61e6d2da8e7d7b5e76d39772b286f56a2
  • Ticket #31691 – Description

    v2 v19  
    11We turn the algebra of mixed differential forms into a de Rham complex and add it to the category of `ChainComplexes`, see #31669.
     2
     3Furthermore, we add de Rham cohomology to SageManifolds with limited functionality. For now, the implementation will only consist of abstract elements that are given by representatives of mixed forms, i.e. we take closed mixed forms (with check?), put a bracket around it and do all computations in the algebra of mixed forms.