Changes between Version 2 and Version 19 of Ticket #31691
- Timestamp:
- 04/26/21 17:47:27 (14 months ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #31691
-
Property
Status
changed from
new
toneeds_review
-
Property
Authors
changed from
to
Michael Jung
- Property Cc mkoeppe added
-
Property
Summary
changed from
Turn mixed forms into de Rham complex
toTurn mixed form algebra into de Rham complex
-
Property
Branch
changed from
to
public/31691_de_rham_complex
-
Property
Commit
changed from
to
4746ddb61e6d2da8e7d7b5e76d39772b286f56a2
-
Property
Status
changed from
-
Ticket #31691 – Description
v2 v19 1 1 We turn the algebra of mixed differential forms into a de Rham complex and add it to the category of `ChainComplexes`, see #31669. 2 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.