Further simplifications regarding the derivation mechanism

[zickgraf]

No description provided.

[codecov]

Codecov Report

Attention: Patch coverage is 86.79245% with 7 lines in your changes missing coverage. Please review.

Project coverage is 82.71%. Comparing base (6bbb7db) to head (3c400a7).
Report is 5 commits behind head on master.

Files with missing lines	Patch %	Lines
ActionsForCAP/gap/CoactionsCategory.gi	50.00%	4 Missing ⚠️
CAP/gap/Finalize.gi	77.77%	2 Missing ⚠️
...alizedMorphismsForCAP/gap/SerreQuotientsBySpans.gi	0.00%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #1695      +/-   ##
==========================================
- Coverage   82.71%   82.71%   -0.01%     
==========================================
  Files         559      559              
  Lines       77203    77187      -16     
==========================================
- Hits        63860    63846      -14     
+ Misses      13343    13341       -2     

Flag	Coverage Δ
ActionsForCAP	64.04% <76.47%> (-0.06%)	⬇️
AttributeCategoryForCAP	90.45% <ø> (ø)
CAP	86.20% <89.47%> (-0.01%)	⬇️
CartesianCategories	89.36% <ø> (ø)
CompilerForCAP	95.86% <ø> (ø)
ComplexesAndFilteredObjectsForCAP	73.55% <100.00%> (-0.05%)	⬇️
FreydCategoriesForCAP	81.98% <ø> (ø)
GeneralizedMorphismsForCAP	61.76% <92.30%> (-0.06%)	⬇️
GradedModulePresentationsForCAP	44.62% <ø> (ø)
GroupRepresentationsForCAP	71.92% <ø> (ø)
HomologicalAlgebraForCAP	73.21% <ø> (ø)
InternalExteriorAlgebraForCAP	93.09% <ø> (ø)
LinearAlgebraForCAP	66.54% <ø> (ø)
ModulePresentationsForCAP	69.88% <ø> (ø)
ModulesOverLocalRingsForCAP	90.70% <ø> (ø)
MonoidalCategories	89.70% <ø> (ø)
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.