Reintroduce optimizations in GeneralizedMorphismsForCAP

[zickgraf]

to avoid timeouts in tests in CategoricalTowers

The optimizations probably do not fulfill the specification "equal input gives equal output",
see #1669

[codecov]

Codecov Report

Attention: Patch coverage is 86.20690% with 8 lines in your changes missing coverage. Please review.

Project coverage is 81.33%. Comparing base (fcaf120) to head (6200387).
Report is 2 commits behind head on master.

Files with missing lines	Patch %	Lines
...AP/gap/GeneralizedMorphismCategoryByThreeArrows.gi	84.84%	5 Missing ⚠️
...msForCAP/gap/GeneralizedMorphismCategoryBySpans.gi	75.00%	3 Missing ⚠️

Additional details and impacted files

@@           Coverage Diff           @@
##           master    #1670   +/-   ##
=======================================
  Coverage   81.32%   81.33%           
=======================================
  Files         538      538           
  Lines       67225    67282   +57     
=======================================
+ Hits        54673    54721   +48     
- Misses      12552    12561    +9     

Flag	Coverage Δ
ActionsForCAP	64.09% <ø> (ø)
AttributeCategoryForCAP	90.45% <ø> (ø)
CAP	84.11% <ø> (ø)
CartesianCategories	90.95% <ø> (ø)
CompilerForCAP	95.86% <ø> (ø)
ComplexesAndFilteredObjectsForCAP	73.60% <ø> (ø)
FreydCategoriesForCAP	81.56% <ø> (ø)
GeneralizedMorphismsForCAP	61.81% <86.20%> (+0.53%)	⬆️
GradedModulePresentationsForCAP	44.62% <ø> (ø)
GroupRepresentationsForCAP	71.92% <ø> (ø)
HomologicalAlgebraForCAP	73.21% <ø> (ø)
InternalExteriorAlgebraForCAP	93.09% <ø> (ø)
LinearAlgebraForCAP	66.54% <ø> (ø)
ModulePresentationsForCAP	69.88% <ø> (ø)
ModulesOverLocalRingsForCAP	90.70% <ø> (ø)
MonoidalCategories	88.48% <ø> (ø)
ToricSheaves	21.79% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.