From 9c1356bfa47d57e524c8496916118219c4dbdcf4 Mon Sep 17 00:00:00 2001 From: Kamal Saleh Date: Tue, 27 Jun 2023 13:08:49 +0000 Subject: [PATCH] added locales to the list of needed packages for ComplexesCategories und bump version to 2023.06-02 --- .github/workflows/Tests.yml | 1 + ComplexesCategories/PackageInfo.g | 6 ++--- ComplexesCategories/gap/Categories.gi | 33 +-------------------------- 3 files changed, 5 insertions(+), 35 deletions(-) diff --git a/.github/workflows/Tests.yml b/.github/workflows/Tests.yml index 05ccce55..a346ad4c 100644 --- 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 index c48a4b9f..fc7a8139 100644 --- 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 index a04f877b..635af3a7 100644 --- 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",