Martin Bies

Instead of using "e" (or :e) as default for the new homogeneous coordinate, try to use e# as suggested by @fingolfin on slack. cc @lkastner @HechtiDerLachs .

[FTheoryTools] Allow tuning sections to zero

2

@emikelsons and I uncovered that one cannot currently tune sections to zero. This PR should fix this. Important: I am *not* removing such a trivial section from the model, nor...

Update todo for GradedModulesForFreyd

1

After the changes summarized in https://github.com/homalg-project/CAP_project/pull/363, I update the todo-list of GradedModulesByFreyd.

To test/document the changes made in the following PR, I update the tests on FPGradedModules: - https://github.com/homalg-project/CAP_project/pull/358 - https://github.com/homalg-project/CAP_project/pull/359 - https://github.com/homalg-project/CAP_project/pull/360 - https://github.com/homalg-project/CAP_project/pull/361 - https://github.com/homalg-project/CAP_project/pull/362

Diagrams for docu of monoidal categories

1

This adds diagrams to the CAP-docu of monoidal categories. @sebastianpos and @sebasguts Could you please look through the docu and post a list of all additional diagrams, which you would...