split 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-07",
+Version := "2025.06-08",
 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",
 
@@ -118,6 +118,9 @@ Extensions := [
   rec(
     needed := [ [ "FinSetsForCAP", ">= 2023.07-03" ] ],
     filename := "gap/LinearClosure.gi",
+  ),
+  rec(
+    needed := [ [ "FinSetsForCAP", ">= 2023.07-03" ] ],
     filename := "gap/ProSetsAsCats.gi",
   ),
   rec(

FreydCategoriesForCAP/gap/LinearClosureForGroupAsCategory.gi

@@ -0,0 +1,53 @@
+# SPDX-License-Identifier: GPL-2.0-or-later
+# FreydCategoriesForCAP: Freyd categories - Formal (co)kernels for additive categories
+#
+# Implementations
+#
+
+##
+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 );
+
+##
+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 );