Changes between Version 19 and Version 20 of Ticket #31691


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

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #31691 – Description

    v19 v20  
    11We turn the algebra of mixed differential forms into a de Rham complex and add it to the category of `ChainComplexes`, see #31669.
    22
    3 Furthermore, 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.
     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, put a bracket around it and do all computations in the algebra of mixed forms.