* Dokumentation
* Tests
- Abgeleitete Algorithmen testen
Technik:
* Trace auf Product -> Gutsche
* Maintain ToDo List in Opposite.gi
ToDo:
* Komplexe -> Gutsche
* Cokomplexe -> Gutsche -> QPA
* Serre-Quotienten
Fehlt:
* GeneralizedMorphisms
- Propagation:
+ Honest und Mono/Epi => Splitmono/Splitepi
Cleanup:
* FiberProduct/ Pushout derivation without FiberProductAsKernelDiagram/PushoutAsCokernelObjectDiagram
* higher methods and convenient methods must not use *WithGiven*
Neue Kategorien
* Spektralsequenzen
[Dauer der Verarbeitung: 0.14 Sekunden, vorverarbeitet 2026-05-01]
