From 5a54743f09ecd3634b592c19e3ede8568876e93d Mon Sep 17 00:00:00 2001 From: Mohamed Barakat Date: Thu, 19 Jan 2023 23:27:25 +0100 Subject: [PATCH] comply with CartesianCategories v2023.01-01 from PR https://github.com/homalg-project/CAP_project/pull/1227 --- PackageInfo.g | 4 ++-- examples/CategoryOfRepresentations.g | 2 +- examples/notebooks/CategoryOfRepresentations.ipynb | 2 +- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/PackageInfo.g b/PackageInfo.g index 0bf5a1b..a9f9665 100644 --- a/PackageInfo.g +++ b/PackageInfo.g @@ -10,7 +10,7 @@ SetPackageInfo( rec( PackageName := "CatReps", Subtitle := "Representations and cohomology of finite categories", -Version := "2023.01-02", +Version := "2023.01-03", Date := ~.Version{[ 1 .. 10 ]}, Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ), @@ -104,7 +104,7 @@ Dependencies := rec( [ "MonoidalCategories", ">= 2021.08-01" ], [ "LinearAlgebraForCAP", ">= 2021.07-01" ], [ "FinSetsForCAP", ">= 2022.05-07" ], - [ "CategoryConstructor", ">= 2022.03-01" ], + [ "CategoryConstructor", ">= 2023.01-01" ], [ "SubcategoriesForCAP", ">= 2020.06-01" ], [ "MatricesForHomalg", ">= 2020.02.02" ], [ "Toposes", ">= 2022.05-07" ], diff --git a/examples/CategoryOfRepresentations.g b/examples/CategoryOfRepresentations.g index 906e07d..a85d46d 100644 --- a/examples/CategoryOfRepresentations.g +++ b/examples/CategoryOfRepresentations.g @@ -38,7 +38,7 @@ Display( CatReps ); #! RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations, #! Category of matrices over GF(3) ): #! -#! 104 primitive operations were used to derive 347 operations for this category +#! 104 primitive operations were used to derive 351 operations for this category #! which algorithmically #! * IsEquippedWithHomomorphismStructure #! * IsLinearCategoryOverCommutativeRing diff --git a/examples/notebooks/CategoryOfRepresentations.ipynb b/examples/notebooks/CategoryOfRepresentations.ipynb index 4bbf999..9f27aa8 100644 --- a/examples/notebooks/CategoryOfRepresentations.ipynb +++ b/examples/notebooks/CategoryOfRepresentations.ipynb @@ -517,7 +517,7 @@ "text": [ "A CAP category with name FunctorCategory( Algebroid( GF(3), FreeCategory( RightQuiver( \"q(2)[a:1->1,b:1->2,c:2->2]\" ) ) ) / relations, Category of matrices over GF(3) ):\n", "\n", - "104 primitive operations were used to derive 347 operations for this category which algorithmically\n", + "104 primitive operations were used to derive 351 operations for this category which algorithmically\n", "* IsEquippedWithHomomorphismStructure\n", "* IsLinearCategoryOverCommutativeRing\n", "* IsSymmetricMonoidalCategory\n",