LinearClosureMorphismNC now does a cheap assertion

[mohamed-barakat]

No description provided.

[codecov]

Codecov Report

❌ Patch coverage is 14.28571% with 6 lines in your changes missing coverage. Please review.
✅ Project coverage is 81.02%. Comparing base (ba1941e) to head (0ae8fd3).
⚠️ Report is 3 commits behind head on master.

Files with missing lines	Patch %	Lines
LinearClosuresForCAP/gap/LinearClosure.gi	0.00%	6 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #1796      +/-   ##
==========================================
- Coverage   81.02%   81.02%   -0.01%     
==========================================
  Files         586      586              
  Lines       82888    82890       +2     
==========================================
  Hits        67164    67164              
- Misses      15724    15726       +2     

Flag	Coverage Δ
ActionsForCAP	64.04% <ø> (ø)
AdditiveClosuresForCAP	82.27% <ø> (ø)
AttributeCategoryForCAP	90.45% <ø> (ø)
CAP	86.52% <ø> (ø)
CartesianCategories	83.87% <ø> (ø)
CompilerForCAP	95.88% <ø> (ø)
ComplexesAndFilteredObjectsForCAP	73.55% <ø> (ø)
FreydCategoriesForCAP	82.95% <ø> (ø)
GeneralizedMorphismsForCAP	61.73% <ø> (ø)
GradedModulePresentationsForCAP	44.63% <ø> (ø)
GroupRepresentationsForCAP	73.84% <ø> (ø)
GroupsAsCategoriesForCAP	95.94% <ø> (ø)
HomologicalAlgebraForCAP	73.21% <ø> (ø)
InternalExteriorAlgebraForCAP	93.09% <ø> (ø)
LinearAlgebraForCAP	57.60% <ø> (ø)
LinearClosuresForCAP	35.87% <14.28%> (-0.13%)	⬇️
ModulePresentationsForCAP	75.05% <ø> (ø)
ModulesOverLocalRingsForCAP	90.70% <ø> (ø)
MonoidalCategories	89.88% <ø> (ø)
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.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.