new file LinearClosureForGroupAsCategory.gi

Author: mohamed-barakat

FreydCategoriesForCAP/PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "FreydCategoriesForCAP",
 Subtitle := "Freyd categories - Formal (co)kernels for additive categories",
-Version := "2025.06-06",
+Version := "2025.06-07",
 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",
 
@@ -116,14 +116,15 @@ Dependencies := rec(
 
 Extensions := [
   rec(
-    needed := [ [ "FinSetsForCAP", ">= 2023.07-03" ],
-                [ "GroupsAsCategoriesForCAP", ">= 2025.06-01" ],
-              ],
+    needed := [ [ "FinSetsForCAP", ">= 2023.07-03" ] ],
     filename := "gap/LinearClosure.gi",
+    filename := "gap/ProSetsAsCats.gi",
   ),
   rec(
-    needed := [ [ "FinSetsForCAP", ">= 2023.07-03" ] ],
-    filename := "gap/ProSetsAsCats.gi",
+    needed := [ [ "FinSetsForCAP", ">= 2023.07-03" ],
+                [ "GroupsAsCategoriesForCAP", ">= 2025.06-01" ],
+              ],
+    filename := "gap/LinearClosureForGroupAsCategory.gi",
   ),
 ],
 

FreydCategoriesForCAP/gap/LinearClosure.gi

@@ -135,31 +135,6 @@ InstallMethod( TwistedLinearClosure,
 
 end );
 
-## Special cases for groups
-##
-InstallMethod( LinearClosure,
-               [ IsCategoryOfRows, IsGroupAsCategory ],
-  function( rows, group_as_category )
-    local compare_func;
-    
-    compare_func := function( g, h ) return UnderlyingGroupElement( g ) < UnderlyingGroupElement( h ); end;;
-    
-    return LinearClosure( rows, group_as_category, compare_func );
-    
-end );
-
-##
-InstallMethod( TwistedLinearClosure,
-               [ IsCategoryOfRows, IsGroupAsCategory, IsFunction ],
-  function( rows, category, cocycle )
-    local compare_func;
-    
-    compare_func := function( g, h ) return UnderlyingGroupElement( g ) < UnderlyingGroupElement( h ); end;;
-    
-    return LINEAR_CLOSURE_CONSTRUCTOR_USING_CategoryOfRows( rows, category, cocycle, true, compare_func );
-    
-end );
-
 ##
 InstallGlobalFunction( LINEAR_CLOSURE_CONSTRUCTOR,
   function( ring, underlying_category, arg... )
@@ -202,31 +177,6 @@ InstallMethod( TwistedLinearClosure,
 
 end );
 
-## Special cases for groups
-##
-InstallMethod( LinearClosure,
-               [ IsHomalgRing, IsGroupAsCategory ],
-  function( ring, group_as_category )
-    local compare_func;
-    
-    compare_func := function( g, h ) return UnderlyingGroupElement( g ) < UnderlyingGroupElement( h ); end;;
-    
-    return LinearClosure( ring, group_as_category, compare_func );
-    
-end );
-
-##
-InstallMethod( TwistedLinearClosure,
-               [ IsHomalgRing, IsGroupAsCategory, IsFunction ],
-  function( ring, category, cocycle )
-    local compare_func;
-    
-    compare_func := function( g, h ) return UnderlyingGroupElement( g ) < UnderlyingGroupElement( h ); end;;
-    
-    return LINEAR_CLOSURE_CONSTRUCTOR( ring, category, cocycle, true, compare_func );
-    
-end );
-
 ##
 InstallMethodForCompilerForCAP( LinearClosureObject,
                                 [ IsLinearClosure, IsCapCategoryObject ],

FreydCategoriesForCAP/read.g

@@ -7,6 +7,8 @@ ReadPackage( "FreydCategoriesForCAP", "gap/FreydCategoriesForCAP.gi" );
 
 ReadPackage( "FreydCategoriesForCAP", "gap/MethodRecordInstallations.autogen.gi" );
 
+ReadPackage( "FreydCategoriesForCAP", "gap/LinearClosure.gi" );
+
 ReadPackage( "FreydCategoriesForCAP", "gap/CategoryOfRows.gi" );
 ReadPackage( "FreydCategoriesForCAP", "gap/CategoryOfRows_as_AdditiveClosure_RingAsCategory.gi" );