Fabian Zickgraf

Resolved by https://github.com/homalg-project/CAP_project/pull/1470.

I guess your application is that you do not want to lose constructivity of all the constructions for non-computable categories? The point is that the specifications for the constructions all...

You are extending the hom structure of the same category instance twice. You can trigger the same error as follows: ``` gap> LoadPackage( "FinSetsForCAP" ); gap> WrapperCategory( FinSets, rec( )...

I see. For debugging/experiments you can replace all occurrences of `InstallMethodForCompilerForCAP` by `InstallMethod` in the installation of `ExtendRangeOfHomomorphismStructureByFullEmbedding` in `CAP/gap/CategoryMorphisms.gi` and everything should be fine (as long as you do...

I describe in the manual (right at the beginning) in which sense it still is a just-in-time compiler: > The compiler was started as a just-in-time compiler, that is, it...

What I do not like about `CapCompiler` is that it makes names even longer. I have already thought about the following: It seems to be common to just add a...

As just discussed verbally, I do not expect the current implementation to give something conceptionally different. And indeed, what this PR does simply corresponds to the rule `UniqueRightDivide( HomalgIdentityMatrix( ......

Thanks for this start! I guess it's best we discuss this verbally during our next meeting.

Results of our discussion: > The compiled `AddBraiding` for right presentations inverts the permutation matrix, while the original code inverted the permutation directly before creating a matrix out of it....

Addendum (also already discussed): 1. The old code should be removed. 2. Please also test HigherHomologicalAlgebra and look for the timings.