Fabian Zickgraf

I have tested ZariskiFrames using [this branch](https://github.com/zickgraf/homalg_project/tree/disable_Syzygies_logic) which disables the logic for syzygies and, again, I can see no meaningful difference in the runtimes. If these tests are representative for...

Thinking more about this, I think this is actually working as intended and I have even given the explanation in my note above :D Assume that we compare morphisms with...

Thanks for the thorough explanation! > If you are interested in having "really crisp" caches for situations where it is possible to create once lost objects again, then we can...

I have now looked at Example 2.6 in the CAP manual and I'm a bit confused. If I understand everything correctly, this is a situation where it is possible to...

> Nevertheless, the example is still valid for explaining my point on why the crisp cache cannot lose its output. Ah, I now understand that this also addresses my third...

I have opened separate issues for the steps above and would like to discuss my ideas in particular with regard to feasibility and possible problems with internals like caching which...

Once https://github.com/homalg-project/CAP_project/pull/1699 is merged, I think this issue can be closed, after more than 6 years! Changes implemented over the last years: * Derivations only happen when the category is...

> The current `IsWellDefinedForObjects` and `IsWellDefinedForMorphism` include tests for checking whether the type of `ObjectDatum`/`MorphismDatum` is correct. They all compile to `true`. Could you provide the example(s) you have in...

> Yes, I am interested. I would also like to have a version of SkeletalFinSets which uses the small integers and not the gmp-integers. What application do you have in...

There are also some subtleties in Julia when working with ranges of big ints: ``` julia> typeof(length(BigInt(1):BigInt(1))) BigInt julia> typeof(length(map(x -> x,BigInt(1):BigInt(1)))) Int64 ```