added locales to the list of needed packages for ComplexesCategories …

…und bump version to 2023.06-02
homalg-project · Jun 27, 2023 · 9c1356b · 9c1356b
1 parent e95be87
commit 9c1356b
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 35 deletions.
diff --git a/.github/workflows/Tests.yml b/.github/workflows/Tests.yml
@@ -60,6 +60,7 @@ jobs:
           git clone --depth 1 -vv https://github.com/homalg-project/FunctorCategories.git
           git clone --depth 1 -vv https://github.com/homalg-project/SubcategoriesForCAP.git
           git clone --depth 1 -vv https://github.com/homalg-project/CategoryConstructor.git
+          git clone --depth 1 -vv https://github.com/homalg-project/Locales.git
       - name: Build documentation of packages which we might want to reference
         run: |
           # keep this in sync with `dev/.release`

diff --git a/ComplexesCategories/PackageInfo.g b/ComplexesCategories/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "ComplexesCategories",
 Subtitle := "Category of (co)chain complexes of an additive category",
-Version := "2023.06-01",
+Version := "2023.06-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",
 
@@ -77,10 +77,10 @@ Dependencies := rec(
                             [ "CAP", ">= 2023.05-03" ],
                             [ "ToolsForHigherHomologicalAlgebra", ">= 2022.12-05" ],
                             [ "PreSheaves", ">= 2023.05-03" ],
+                            [ "Locales", ">= 2023.06-13" ],
                          ],
 
-  SuggestedOtherPackages := [ #[ "Locales", ">= 2023.05-05" ],
-                            ],
+  SuggestedOtherPackages := [ ],
 
   ExternalConditions := [ ],
 ),

diff --git a/ComplexesCategories/gap/Categories.gi b/ComplexesCategories/gap/Categories.gi
@@ -5,38 +5,7 @@
 #
 
 
-BindGlobal( "INTEGERS_CAT",
-
-  function ( )
-    local category;
-
-    if IsPackageMarkedForLoading( "Locales", ">= 2023.05-05" ) then
-
-        return ValueGlobal( "TotalOrderAsCategory" )( "IsInt", {a,b} -> a >= b );
-
-    else
-
-        category := CreateCapCategory( "TotalOrderAsCategory( \"IsInt\" )" );
-        category!.category_as_first_argument := true;
-
-        AddObjectConstructor( category, { cat, i } -> CreateCapCategoryObjectWithAttributes( cat, ObjectDatum, i ) );
-        AddMorphismConstructor( category, { cat, s, datum, r } -> CreateCapCategoryMorphismWithAttributes( cat, s, r ) );
-
-        AddPreCompose( category, { cat, u, v } -> MorphismConstructor( cat, Source( u ), true, Range( v ) ) );
-        AddIdentityMorphism( category, { cat, u } -> MorphismConstructor( cat, Source( u ), true, Range( u ) ) );
-
-        AddIsWellDefinedForMorphisms( category, { cat, u } -> ObjectDatum( Source( u ) ) >= ObjectDatum( Range( u ) ) );
-
-        AddIsEqualForObjects( category, { cat, i, j } -> IsIdenticalObj( ObjectDatum( i ), ObjectDatum( j ) ) );
-        AddIsEqualForMorphisms( category, { cat, u, v } -> IsEqualForObjects( Source( u ), Source( u ) ) and IsEqualForObjects( Range( u ), Range( u ) ) );
-
-        Finalize( category );
-
-        return category;
-
-    fi;
-
-end ( ) );
+BindGlobal( "INTEGERS_CAT", TotalOrderAsCategory( "IsInt", {a,b} -> a >= b ) );
 
 BindGlobal( "INTEGERS_CAT_OBJS",