Avoid unnecessary trigger of derivations and do not rely on AddPrimitiveOperation when installing final derivations

[zickgraf]

No description provided.

[codecov]

Codecov Report

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

Project coverage is 82.72%. Comparing base (4df2fc6) to head (f5d096e).
Report is 5 commits behind head on master.

Files with missing lines	Patch %	Lines
CAP/gap/Derivations.gi	71.42%	4 Missing ⚠️
CAP/gap/Finalize.gi	81.25%	3 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #1690      +/-   ##
==========================================
+ Coverage   82.64%   82.72%   +0.07%     
==========================================
  Files         554      559       +5     
  Lines       76653    77235     +582     
==========================================
+ Hits        63348    63889     +541     
- Misses      13305    13346      +41     

Flag	Coverage Δ
ActionsForCAP	64.09% <ø> (ø)
AttributeCategoryForCAP	90.45% <ø> (ø)
CAP	86.21% <78.12%> (+<0.01%)	⬆️
CartesianCategories	89.36% <ø> (ø)
CompilerForCAP	95.86% <ø> (ø)
ComplexesAndFilteredObjectsForCAP	73.60% <ø> (ø)
FreydCategoriesForCAP	81.98% <100.00%> (+<0.01%)	⬆️
GeneralizedMorphismsForCAP	61.81% <ø> (ø)
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.