Improve test for sheafification

[mohamed-barakat]

There are other simpler tests for "does sheafify to zero" which can be added before going for the final test here. One of them is to test the dimension of the module using the command AffineDimension.

[HereAround]

Thank you @mohamed-barakat. Is AffineDimension already supported for the FPGradedModules via FreydCategories?

If not, I support a conversion amog the f.p. graded module implementation in GradedModules and those in FreydCategories in https://github.com/homalg-project/ToricVarieties_project/blob/master/ToolsForFPGradedModules/gap/Conversion.gd. One way to implement your suggestion is thus to overload this (and if needed more) functionality.

[mohamed-barakat]

No, in the case of left modules you have to extract the matrix of relations and apply AffineDimension to it. In the case of right modules, you have to transpose it first before applying AffineDimension.

I am now working on a package called IntrinsicGradedModules which should at some point replace GradedModules but is now based on FPGradedModules and in particular CAP-based. This package will include some enhancements for FPGradedModules. Once the package is stable I will make PRs to FreydCategoriesForCAP including these enhancements.

[HereAround]

Thank you for elaborating @mohamed-barakat. The structure makes sense to me. However, this will take time. Furthermore, currently the sheafification is merely a "container" for FPGradedModules. None of the implemented algorithms benefits from it. I hope this changes at some point in the future...

Consequently, to me this seems not a high priority at this point. Please keep me posted. Once you have the relevant structures/packages ready, I am happy to address this.