Skip to content

Commit

Permalink
comply with CAP v2022.11-06
Browse files Browse the repository at this point in the history
  • Loading branch information
mohamed-barakat committed Nov 3, 2022
1 parent 0cdca9e commit e4ce4fe
Show file tree
Hide file tree
Showing 4 changed files with 5 additions and 5 deletions.
4 changes: 2 additions & 2 deletions PackageInfo.g
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ SetPackageInfo( rec(

PackageName := "CatReps",
Subtitle := "Representations and cohomology of finite categories",
Version := "2022.10-04",
Version := "2022.11-01",

Date := ~.Version{[ 1 .. 10 ]},
Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
Expand Down Expand Up @@ -100,7 +100,7 @@ Dependencies := rec(
GAP := ">= 4.12.1",
NeededOtherPackages := [
[ "GAPDoc", ">= 1.5" ],
[ "CAP", ">= 2022.09-17" ],
[ "CAP", ">= 2022.11-06" ],
[ "MonoidalCategories", ">= 2021.08-01" ],
[ "LinearAlgebraForCAP", ">= 2021.07-01" ],
[ "FinSetsForCAP", ">= 2022.05-07" ],
Expand Down
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -58,7 +58,7 @@ The supported categorical doctrine of the category of representations is

```gap
gap> InfoOfInstalledOperationsOfCategory( CatReps );
95 primitive operations were used to derive 317 operations for this category
95 primitive operations were used to derive 318 operations for this category
which constructively
* IsEquippedWithHomomorphismStructure
* IsLinearCategoryOverCommutativeRing
Expand Down
2 changes: 1 addition & 1 deletion examples/CategoryOfRepresentations.g
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,7 @@ CatReps := FunctorCategory( A, GF3 );
#! RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations,
#! Category of matrices over GF(3) )
InfoOfInstalledOperationsOfCategory( CatReps );
#! 95 primitive operations were used to derive 317 operations for this category
#! 95 primitive operations were used to derive 318 operations for this category
#! which algorithmically
#! * IsEquippedWithHomomorphismStructure
#! * IsLinearCategoryOverCommutativeRing
Expand Down
2 changes: 1 addition & 1 deletion examples/notebooks/CategoryOfRepresentations.ipynb
Original file line number Diff line number Diff line change
Expand Up @@ -515,7 +515,7 @@
"name": "stdout",
"output_type": "stream",
"text": [
"95 primitive operations were used to derive 317 operations for this category which algorithmically\n",
"95 primitive operations were used to derive 318 operations for this category which algorithmically\n",
"* IsEquippedWithHomomorphismStructure\n",
"* IsLinearCategoryOverCommutativeRing\n",
"* IsSymmetricMonoidalCategory\n",
Expand Down

0 comments on commit e4ce4fe

Please sign in to comment.