Changes between Version 19 and Version 20 of Ticket #31691
- Timestamp:
- 04/26/21 17:49:58 (14 months ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #31691 – Description
v19 v20 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 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.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, put a bracket around it and do all computations in the algebra of mixed forms.