Update to FreydCategoriesForCAP v2025.05-01

Author: mohamed-barakat

Project.toml

@@ -6,7 +6,7 @@ authors = [
 	"Fabian Zickgraf <f.zickgraf@dashdos.com>",
 ]
 
-version = "0.1.7"
+version = "0.1.8"
 
 [deps]
 MatricesForHomalg = "29b9b1b6-efa6-450e-8188-a5a2c25df071"

src/gap/LinearClosure.gi.autogen.jl

@@ -764,6 +764,11 @@ end );
         SetRangeCategoryOfHomomorphismStructure( category, rows );
         SetIsEquippedWithHomomorphismStructure( category, true );
 
+        if (HasIsLinearCategoryOverCommutativeRingWithFinitelyGeneratedFreeExternalHoms( rows ) &&
+           IsLinearCategoryOverCommutativeRingWithFinitelyGeneratedFreeExternalHoms( rows ))
+            SetIsLinearCategoryOverCommutativeRingWithFinitelyGeneratedFreeExternalHoms( category, true );
+        end;
+        
         t_obj = CategoryOfRowsObject( rows, 1 );
 
         t_finsets = TerminalObject( finsets );