Use named-arguments in the LinearClosure constructor (#1802)

Author: kamalsaleh

CAP/PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "CAP",
 Subtitle := "Categories, Algorithms, Programming",
-Version := "2025.09-04",
+Version := "2025.11-01",
 Date := (function ( ) if IsBound( GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE ) then return GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE; else return Concatenation( ~.Version{[ 1 .. 4 ]}, "-", ~.Version{[ 6, 7 ]}, "-01" ); fi; end)( ),
 License := "GPL-2.0-or-later",
 

CAP/gap/DerivedMethods.gi

@@ -2606,13 +2606,15 @@ AddDerivationToCAP( BasisOfSolutionsOfHomogeneousLinearSystemInLinearCategory,
 
     basis := List( basis, m -> PreCompose( range_cat, m, iota ) );
 
-    return
-      List( basis, m ->
-        List( [ 1 .. n ], j ->
-          InterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphism( cat,
-            Target( left_coefficients[1][j] ),
-            Source( right_coefficients[1][j] ),
-            PreCompose( range_cat, m, ProjectionInFactorOfDirectSum( range_cat, H_B_C, j ) ) ) ) );
+    return List( basis, m ->
+              List( [ 1 .. n ], j ->
+                InterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphism( cat,
+                  Target( left_coefficients[1][j] ),
+                  Source( right_coefficients[1][j] ),
+                  PreCompose( range_cat, m, ProjectionInFactorOfDirectSum( range_cat, H_B_C, j ) )
+                )
+              )
+            );
 
   end :
   CategoryGetters := rec( range_cat := RangeCategoryOfHomomorphismStructure ),
@@ -2668,16 +2670,15 @@ AddDerivationToCAP( BasisOfSolutionsOfHomogeneousDoubleLinearSystemInLinearCateg
 
     B := List( B, m -> PreCompose( range_cat, m, iota ) );
 
-    return
-      List( B, m ->
-        List( [ 1 .. n ], j ->
-          InterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphism( cat,
-            Target( alpha[1][j] ),
-            Source( beta[1][j] ),
-            PreCompose( range_cat, m, ProjectionInFactorOfDirectSum( range_cat, H_B_C, j ) )
-          )
-        )
-      );
+    return List( B, m ->
+              List( [ 1 .. n ], j ->
+                InterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphism( cat,
+                  Target( alpha[1][j] ),
+                  Source( beta[1][j] ),
+                  PreCompose( range_cat, m, ProjectionInFactorOfDirectSum( range_cat, H_B_C, j ) )
+                )
+              )
+            );
 
   end :
   CategoryGetters := rec( range_cat := RangeCategoryOfHomomorphismStructure ),

LinearClosuresForCAP/PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "LinearClosuresForCAP",
 Subtitle := "Linear closures",
-Version := "2025.09-01",
+Version := "2025.11-01",
 Date := (function ( ) if IsBound( GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE ) then return GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE; else return Concatenation( ~.Version{[ 1 .. 4 ]}, "-", ~.Version{[ 6, 7 ]}, "-01" ); fi; end)( ),
 License := "GPL-2.0-or-later",
 

LinearClosuresForCAP/gap/LinearClosure.gi

@@ -12,7 +12,11 @@
 
 ##
 InstallGlobalFunction( LINEAR_CLOSURE_CONSTRUCTOR_USING_CategoryOfRows,
-  function( rows, underlying_category, arg... ) ## rows = CategoryOfRows( ... )
+  FunctionWithNamedArguments(
+  [
+    [ "FinalizeCategory", true ],
+  ],
+  function( CAP_NAMED_ARGUMENTS, rows, underlying_category, arg... ) ## rows = CategoryOfRows( ... )
     local ring, name, category, is_finite, sorting_function, with_nf, cocycle;
 
     ring := UnderlyingRing( rows );
@@ -142,11 +146,15 @@ InstallGlobalFunction( LINEAR_CLOSURE_CONSTRUCTOR_USING_CategoryOfRows,
 
     INSTALL_FUNCTIONS_FOR_LINEAR_CLOSURE( rows, category );
 
-    Finalize( category );
+    if CAP_NAMED_ARGUMENTS.FinalizeCategory then
+      
+      Finalize( category );
+      
+    fi;
 
     return category;
 
-end );
+end ) );
 
 ##
 InstallMethod( LinearClosure,