clean up in GroupsAsCats (#1803)

Author: mohamed-barakat

CAP/PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "CAP",
 Subtitle := "Categories, Algorithms, Programming",
-Version := "2025.11-01",
+Version := "2025.11-02",
 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/CategoriesCategory.gi

@@ -633,11 +633,9 @@ AddHorizontalPreCompose( category,
   function( cat, left_natural_transformation, right_natural_transformation )
     local pre_compose_transfo_functor, pre_compose_functor_transfo;
 
-    pre_compose_transfo_functor := 
-          HorizontalPreComposeNaturalTransformationWithFunctor( left_natural_transformation, Source( right_natural_transformation ) );
+    pre_compose_transfo_functor := HorizontalPreComposeNaturalTransformationWithFunctor( left_natural_transformation, Source( right_natural_transformation ) );
 
-    pre_compose_functor_transfo :=
-          HorizontalPreComposeFunctorWithNaturalTransformation( Range( left_natural_transformation ), right_natural_transformation );
+    pre_compose_functor_transfo := HorizontalPreComposeFunctorWithNaturalTransformation( Range( left_natural_transformation ), right_natural_transformation );
 
     return VerticalPreCompose( pre_compose_transfo_functor, pre_compose_functor_transfo );
 

CAP/gap/DerivedMethods.gi

@@ -2608,18 +2608,14 @@ AddDerivationToCAP( BasisOfSolutionsOfHomogeneousLinearSystemInLinearCategory,
 
     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 ) )
-                )
-              )
-            );
+                    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 ),
-  CategoryFilter := cat -> HasIsLinearCategoryOverCommutativeRing( cat ) and IsLinearCategoryOverCommutativeRing( cat ) and HasRangeCategoryOfHomomorphismStructure( cat )
-);
+  CategoryFilter := cat -> HasIsLinearCategoryOverCommutativeRing( cat ) and IsLinearCategoryOverCommutativeRing( cat ) and HasRangeCategoryOfHomomorphismStructure( cat ) );
 
 ##
 AddDerivationToCAP( BasisOfSolutionsOfHomogeneousDoubleLinearSystemInLinearCategory,
@@ -2650,17 +2646,15 @@ AddDerivationToCAP( BasisOfSolutionsOfHomogeneousDoubleLinearSystemInLinearCateg
 
     H_A_D := List( [ 1 .. m ], i -> HomomorphismStructureOnObjects( cat, Source( alpha[i][1] ), Target( beta[i][1] ) ) );
 
-    list_1 :=
-      List( [ 1 .. n ],
-      j -> List( [ 1 .. m ], i -> HomomorphismStructureOnMorphisms( cat, alpha[i][j], beta[i][j] ) )
-    );
+    list_1 := List( [ 1 .. n ], j ->
+                    List( [ 1 .. m ], i ->
+                          HomomorphismStructureOnMorphisms( cat, alpha[i][j], beta[i][j] ) ) );
 
     H_1 := MorphismBetweenDirectSums( range_cat, H_B_C, list_1, H_A_D );
 
-    list_2 :=
-      List( [ 1 .. n ],
-      j -> List( [ 1 .. m ], i -> HomomorphismStructureOnMorphisms( cat, gamma[i][j], delta[i][j] ) )
-    );
+    list_2 := List( [ 1 .. n ], j ->
+                    List( [ 1 .. m ], i ->
+                          HomomorphismStructureOnMorphisms( cat, gamma[i][j], delta[i][j] ) ) );
 
     H_2 := MorphismBetweenDirectSums( range_cat, H_B_C, list_2, H_A_D );
 
@@ -2671,19 +2665,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 ) )
-                )
-              )
-            );
+                 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 ),
-  CategoryFilter := cat -> HasIsLinearCategoryOverCommutativeRing( cat ) and IsLinearCategoryOverCommutativeRing( cat ) and HasRangeCategoryOfHomomorphismStructure( cat )
-);
+  CategoryFilter := cat -> HasIsLinearCategoryOverCommutativeRing( cat ) and IsLinearCategoryOverCommutativeRing( cat ) and HasRangeCategoryOfHomomorphismStructure( cat ) );
 
 ## Final methods for Equalizer
 

GroupsAsCategoriesForCAP/PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "GroupsAsCategoriesForCAP",
 Subtitle := "Groups as categories on one object",
-Version := "2025.08-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",