Skip to content

Commit

Permalink
compy with CAP v2022.12-02
Browse files Browse the repository at this point in the history 
from PR homalg-project/CAP_project#1197
  • Loading branch information
@mohamed-barakat
mohamed-barakat committed Dec 18, 2022
1 parent 795fb3a commit 5b99527
Show file tree
Hide file tree
Showing 4 changed files with 158 additions and 158 deletions.
4 changes: 2 additions & 2 deletions PackageInfo.g
View file
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.11-03",
Version := "2022.12-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.11-06" ],
[ "CAP", ">= 2022.12-02" ],
[ "MonoidalCategories", ">= 2021.08-01" ],
[ "LinearAlgebraForCAP", ">= 2021.07-01" ],
[ "FinSetsForCAP", ">= 2022.05-07" ],
Expand Down
128 changes: 64 additions & 64 deletions examples/CategoryOfRepresentations.g
View file
Original file line number Diff line number Diff line change
Expand Up @@ -279,27 +279,27 @@ Display( Source( iso ) );
#! 1 1 . . . . . . . . . . . . . . . . . . . . . . .
#! . 1 . . . . . . . . . . . . . . . . . . . . . . .
#! 1 1 1 . . . . . . . . . . . . . . . . . . . . . .
#! . . . 1 2 . . . . . . . . . . . . . . . . . . . .
#! . . . . 1 . . . . . . . . . . . . . . . . . . . .
#! . . . 1 1 1 . . . . . . . . . . . . . . . . . . .
#! . . . . . . 1 2 . . . . . . . . . . . . . . . . .
#! . . . 1 . . . . . . . . . . . . . . . . . . . . .
#! . . . 1 1 . . . . . . . . . . . . . . . . . . . .
#! . . . . 1 1 . . . . . . . . . . . . . . . . . . .
#! . . . . . . . 1 . . . . . . . . . . . . . . . . .
#! . . . . . . 1 1 1 . . . . . . . . . . . . . . . .
#! . . . . . . 2 2 . . . . . . . . . . . . . . . . .
#! . . . . . . 1 . 1 . . . . . . . . . . . . . . . .
#! . . . . . . . . . 1 2 . . . . . . . . . . . . . .
#! . . . . . . . . . . 1 . . . . . . . . . . . . . .
#! . . . . . . . . . 1 1 1 . . . . . . . . . . . . .
#! . . . . . . . . . 2 . 1 . . . . . . . . . . . . .
#! . . . . . . . . . . . . 1 . . . . . . . . . . . .
#! . . . . . . . . . . . . . 1 2 . . . . . . . . . .
#! . . . . . . . . . . . . . . 1 . . . . . . . . . .
#! . . . . . . . . . . . . . 2 . 1 . . . . . . . . .
#! . . . . . . . . . . . . . . . . 2 2 . . . . . . .
#! . . . . . . . . . . . . . . . . 1 . . . . . . . .
#! . . . . . . . . . . . . . . . . 2 . 1 . . . . . .
#! . . . . . . . . . . . . . . . . . . . 1 2 . . . .
#! . . . . . . . . . . . . . . . . . . . . 1 . . . .
#! . . . . . . . . . . . . . . . . . . . 2 . 1 . . .
#! . . . . . . . . . . . . . . . . . . . . . . . 2 .
#! . . . . . . . . . . . . . . . . . . . . . . 1 2 2
#! . . . . . . . . . . . . . 1 1 . . . . . . . . . .
#! . . . . . . . . . . . . . . 1 1 . . . . . . . . .
#! . . . . . . . . . . . . . . . 1 . . . . . . . . .
#! . . . . . . . . . . . . . . . . 1 1 . . . . . . .
#! . . . . . . . . . . . . . . . . . 1 1 . . . . . .
#! . . . . . . . . . . . . . . . . . . 1 . . . . . .
#! . . . . . . . . . . . . . . . . . . . 1 1 . . . .
#! . . . . . . . . . . . . . . . . . . . . 1 1 . . .
#! . . . . . . . . . . . . . . . . . . . . . 1 . . .
#! . . . . . . . . . . . . . . . . . . . . . . 1 1 .
#! . . . . . . . . . . . . . . . . . . . . . . . 1 1
#! . . . . . . . . . . . . . . . . . . . . . . . . 1
#!
#! A morphism in Category of matrices over GF(3)
Expand All @@ -317,32 +317,32 @@ Display( Source( iso ) );
#! . . . . . . . . . . . . . . . .
#! . . . . . . . . . . . . . . . .
#! . . . . . . . . . . . . . . . .
#! . . . . . 2 . . . . . . . . . .
#! . . . . . . . . 1 . . . . . . .
#! . . . . . . 1 . . . . . . . . .
#! . . . . . . 1 2 . . . . . . . .
#! . . . . . . . . . . . 2 . . . .
#! . . . . . . . . . . . 2 . . . .
#! . . . . . . . . . . 1 . . . . .
#! . . . . . . . . . . . . . . 1 .
#! . . . 1 . 2 . . . . . . . . . .
#! . . . . . . 1 . 2 . . . . . . .
#! . . . . . . . 1 2 . . . . . . .
#! . . . . . . . . 2 . . . . . . .
#! . . . . . . . . . . 1 2 . . . .
#! . . . . . . . . . . . 1 . . . .
#! . . . . . . . . . . . . . . . .
#! . . . . . . . . . . . . . 2 1 .
#! . . . . . . . . . . . . . . 2 .
#! . . . . . . . . . . . . . . . .
#! . . . . . . . . . . . . . 2 . .
#! . . . . . . . . . . . . . . . 2
#! . . . . . . . . . . . . . . . 1
#! . . . . . . . . . . . . . . . .
#! . . . . . . . . . . . . . . . .
#!
#! A morphism in Category of matrices over GF(3)
#!
#! Image of (2)-[{ Z(3)^0*(c) }]->(2):
#! 1 . . . . . . . . . . . . . . .
#! . 1 1 . . . . . . . . . . . . .
#! 1 . 1 . . . . . . . . . . . . .
#! . . . 1 1 . . . . . . . . . . .
#! . . . . 1 1 . . . . . . . . . .
#! . . . . . 1 . . . . . . . . . .
#! . . . . . . 1 . . . . . . . . .
#! . . . . . . . 1 1 . . . . . . .
#! . . . . . . 2 . 1 . . . . . . .
#! . . . . 1 1 . . . . . . . . . .
#! . . . 2 . 2 . . . . . . . . . .
#! . . . . . . 1 1 2 . . . . . . .
#! . . . . . . . 1 2 . . . . . . .
#! . . . . . . . . 1 . . . . . . .
#! . . . . . . . . . 1 1 . . . . .
#! . . . . . . . . . . 1 1 . . . .
#! . . . . . . . . . . . 1 . . . .
Expand All @@ -361,41 +361,41 @@ Display( iso );
#! . . 1 . . . 2 1 . 1 1 . . 2 . . . 1 . . . . . . .
#! . . . . . . . . . . . . . . . . . . . . . . 1 . .
#! . 1 2 . 2 1 1 2 2 2 1 . . 2 . . 1 . . 2 2 . . 1 .
#! . . 1 . . . 1 . . 1 . . 1 2 . . . 1 . . . 1 . . .
#! . . . . . . . 1 . . . 2 2 . . . . . . . . . 1 . .
#! . . . . . . . 2 . . . 1 1 . . . . . . . . . 2 . .
#! . . 1 . . . 1 1 . 1 . 2 . 2 . . . 1 . . . 1 1 . .
#! . 1 2 . 2 . 1 2 2 2 1 . . 2 . . 1 . . 2 . . . 1 .
#! . . 1 . . . 1 1 . 1 . . 2 2 . . . 1 . . . 1 1 . .
#! . . 1 . . . 1 . . 1 . 1 1 2 . . . 1 . . . 1 . . .
#! . . . . . . . 1 . . . 2 1 . . . . . . . . . 1 . .
#! . 1 1 . 2 . 2 . 2 1 1 . . . . . 1 . . 2 . . . 1 .
#! . . . . . . . . . 2 . 1 1 2 . . . 1 . . . 1 . . .
#! . . . . . . . . . . . . 2 . 2 . . . . . . . 1 . .
#! . . . . . . . . . 1 . 2 . 1 1 . . 2 . . . 2 2 . .
#! . . . . . . . . . . . . 1 . 1 . . . . . . . 2 . .
#! . . . . . . . . 2 . 1 . . . . . 1 . . 2 . . . 1 .
#! . . 1 . . . 2 1 . 1 1 . . 2 . . . 1 . 2 . 2 . 1 .
#! . 2 . . 1 2 . . 1 . 1 . . 2 . . 1 2 . . 1 . . . .
#! . . 1 . . . 2 1 . 1 1 . . 2 . . . 2 . . . 1 . . .
#! 1 . . 2 . 2 . . 1 1 1 . . 1 . 2 1 2 . 2 . . . 1 .
#! . 1 1 . 2 1 2 1 2 1 . . . . . . . . . . . . . . .
#! . 1 . . 2 1 . . 2 . 2 . . 1 . . . . . . . . . . .
#! 2 2 1 1 1 . 2 1 . . 1 . . . . . . 2 . . . 1 . . .
#! . 2 2 . . 2 1 2 . 2 . . . 1 . . 1 2 . . 1 . . . .
#! . . 2 . . . 1 2 . 2 2 . . 1 . . . 2 . 2 . 1 . 1 .
#! 2 . 1 1 . 1 2 1 2 . . . . 1 . 1 . . . 1 1 . . 2 .
#! . 2 . . 1 2 . . 1 . 1 . . 2 . . 1 . . . 1 2 . . .
#! . . 2 . . . 1 2 . 2 2 . . 1 . . . 1 . . . 2 . . .
#! 2 . . 1 . 1 . . 2 2 2 . . 2 . . . 2 . . . 1 . . .
#! . 2 . . 1 2 . . 1 . 1 . . 2 . . . . . . . . . . .
#! . . 2 . . . 1 2 . 2 2 . . 1 . . . . . . . . . . .
#! 1 . . . 2 2 . . 2 . 1 . . 1 . 2 2 1 . 2 1 . . 1 .
#! . 1 . . . 1 . . . 1 2 . . 2 . . 2 2 . . 2 2 . . .
#! . . 1 . . . 2 1 . . 1 . . . . . . 2 . . . 1 . . .
#! 1 1 1 . 2 . 2 1 2 1 1 . . . . 2 1 2 . 2 . . . 1 .
#! 2 2 . 1 1 . . . . . . . . . . 1 2 1 2 1 . . . . .
#! 1 2 1 2 1 1 2 1 2 1 . . . . . 2 . . 1 . 2 . . 1 .
#! . . 2 . . . 1 2 . 2 2 . . 1 . . . 1 . . . 2 . . 1
#! 1 . . 2 . 2 . . 1 . 1 . . 2 . 2 2 . 1 1 1 1 . 2 2
#! . 1 . . 2 1 . . 2 . 2 . . 1 . . 2 2 . 1 2 2 . 1 1
#! . . 1 . . . 2 1 . 1 1 . . 2 . . . 2 . . . 1 . . 2
#!
#! An isomorphism in Category of matrices over GF(3)
#!
#! Image of <(2)>:
#! . . 2 . . 1 . . 2 2 1 . . . . .
#! 2 1 . . . . . . . . . . . 1 . .
#! . 2 1 . 2 . 1 . . . . . . . 1 .
#! . 2 2 2 . 2 . . . . . . 1 . . .
#! . . 2 . . 2 . 2 . 2 2 . . 1 . .
#! . . . . . . 1 . . 2 1 2 . . 1 .
#! . . . . . . . . . . 1 . . . . .
#! . . . . . 1 . 1 . 2 . 1 . 1 . .
#! . . 2 . . 2 . 2 . . . 1 . 1 . .
#! . 2 . 2 . 2 . . . . . . 1 1 . .
#! . . 2 . . 2 1 2 . 2 2 . . 1 1 .
#! . . . . . 1 1 1 . . . 1 . 1 1 .
#! . . . . . . 1 . . 1 . 1 . . 1 .
#! . . . . . . . . . . 1 . . . . .
#! . . . 1 . . . . . . . . . . . .
#! . . . . . . . 1 . . . . . . . .
#! . . . . . . . . . . . 1 . . . .
Expand Down Expand Up @@ -423,16 +423,16 @@ Display( six );
#! A vector space object over GF(3) of dimension 3
#!
#! Image of (1)-[{ Z(3)^0*(a) }]->(1):
#! 1 2 .
#! . 1 .
#! 2 . 1
#! 1 1 .
#! . 1 1
#! . . 1
#!
#! A morphism in Category of matrices over GF(3)
#!
#! Image of (1)-[{ Z(3)^0*(b) }]->(2):
#! . . 1
#! . 2 1
#! . . 2
#! . . .
#! . 2 .
#!
#! A morphism in Category of matrices over GF(3)
#!
Expand All @@ -450,7 +450,7 @@ emb := EmbeddingOfSumOfImagesOfAllMorphisms( unit, six );
#! <(1)->1x3, (2)->0x3>
Display( emb );
#! Image of <(1)>:
#! . 1 .
#! . . 1
#!
#! A morphism in Category of matrices over GF(3)
#!
Expand Down Expand Up @@ -555,14 +555,14 @@ Display( five );
#! A vector space object over GF(3) of dimension 3
#!
#! Image of (1)-[{ Z(3)^0*(a) }]->(1):
#! 1 .
#! 2 1
#! 1 1
#! . 1
#!
#! A morphism in Category of matrices over GF(3)
#!
#! Image of (1)-[{ Z(3)^0*(b) }]->(2):
#! . . 1
#! . 2 .
#! . 2 1
#! . . 2
#!
#! A morphism in Category of matrices over GF(3)
#!
Expand Down
50 changes: 25 additions & 25 deletions examples/DecomposeOnceByRandomEndomorphism.g
View file
Original file line number Diff line number Diff line change
Expand Up @@ -141,38 +141,38 @@ Display( S );
#! A vector space object over GF(3) of dimension 16
#!
#! Image of (1)-[{ Z(3)^0*(a) }]->(1):
#! . 2 . . . . . . . . . . . . . . . . . . . . . . .
#! 1 2 2 . . . . . . . . . . . . . . . . . . . . . .
#! 1 1 . . . . . . . . . . . . . . . . . . . . . . .
#! . 1 1 . . . . . . . . . . . . . . . . . . . . . .
#! . . 1 . . . . . . . . . . . . . . . . . . . . . .
#! . . . 1 1 . . . 1 1 . . . . . . . . . . . . . . .
#! . . . . 1 1 . . . 1 1 . . . . . . . . . . . . . .
#! . . . . . 1 . . . . 1 . . . . . . . . . . . . . .
#! . . . . . . 1 1 . . . 1 1 . . . . . . . . . . . .
#! . . . . . . . 1 . . . . 1 . . . . . . . . . . . .
#! . . . . . . . . 1 1 . . . 1 1 . . . . . . . . . .
#! . . . . . . . . . 1 1 . . . 1 1 . . . . . . . . .
#! . . . . . . . . . . 1 . . . . 1 . . . . . . . . .
#! . . . . . . . . . . . 1 1 . . . 1 1 . . . . . . .
#! . . . . . . . . . . . . 1 . . . . 1 . . . . . . .
#! . . . . . . . . . . . . . 1 1 . . . . . . . . . .
#! . . . . . . . . . . . . . . 1 1 . . . . . . . . .
#! . . . . . . . . . . . . . . . 1 . . . . . . . . .
#! . . . . . . . . . . . . . . . . 1 1 . . . . . . .
#! . . . . . . . . . . . . . . . . . 1 . . . . . . .
#! . . . . . . . . . . . . . . . . . . 1 1 . 1 1 . .
#! . . . . . . . . . . . . . . . . . . . 1 1 . 1 1 .
#! . . . . . . . . . . . . . . . . . . . . 1 . . 1 .
#! . . . . . . . . . . . . . . . . . . . . . 1 1 . .
#! . . . . . . . . . . . . . . . . . . . . . . 1 1 .
#! . . . . . . . . . . . . . . . . . . . . . . . 1 .
#! . . . . . . . . . . . . . . . . . . . . . . . . 1
#! . . . . . . . . . 1 1 . . . 1 1 . . . . . . . . .
#! . . . . . . . . . . 1 . . . . 1 . . . . . . . . .
#! . . . . . . . . . . . 1 1 . . . 1 1 . . . . . . .
#! . . . . . . . . . . . . 1 . . . . 1 . . . . . . .
#! . . . . . . . . . . . . . 1 1 . . . . . . . . . .
#! . . . . . . . . . . . . . . 1 1 . . . . . . . . .
#! . . . . . . . . . . . . . . . 1 . . . . . . . . .
#! . . . . . . . . . . . . . . . . 1 1 . . . . . . .
#! . . . . . . . . . . . . . . . . . 1 . . . . . . .
#! . . . . . . . . . . . . . . . . . . 1 1 . 1 1 . .
#! . . . . . . . . . . . . . . . . . . . 1 1 . 1 1 .
#! . . . . . . . . . . . . . . . . . . . . 1 . . 1 .
#! . . . . . . . . . . . . . . . . . . . . . 1 1 . .
#! . . . . . . . . . . . . . . . . . . . . . . 1 1 .
#! . . . . . . . . . . . . . . . . . . . . . . . 1 .
#! . . . . . . . . . . . . . . . . . . . . . . . . 1
#!
#! A morphism in Category of matrices over GF(3)
#!
#! Image of (1)-[{ Z(3)^0*(b) }]->(2):
#! 2 . . . . . . . . . . . . . . .
#! 1 . . . . . . . . . . . . . . .
#! . . . . . . . . . . . . . . . .
#! . . . . . . . . . . . . . . . .
#! . . . . . . 1 . . . . . . . . .
#! . . . . . . . 1 . . . . . . . .
#! . . . . . . . . . . . . . . . .
Expand Down Expand Up @@ -233,9 +233,9 @@ Display( S );
#! @BeginExample
Display( iota );
#! Image of <(1)>:
#! 2 2 . 1 1 . . . . . . . . . . 1 2 1 2 1 . . . . .
#! 1 2 1 2 1 1 2 1 2 1 . . . . . 2 . . 1 . 2 . . 1 .
#! . . 2 . . . 1 2 . 2 2 . . 1 . . . 1 . . . 2 . . 1
#! 1 . . 2 . 2 . . 1 . 1 . . 2 . 2 2 . 1 1 1 1 . 2 2
#! . 1 . . 2 1 . . 2 . 2 . . 1 . . 2 2 . 1 2 2 . 1 1
#! . . 1 . . . 2 1 . 1 1 . . 2 . . . 2 . . . 1 . . 2
#!
#! A morphism in Category of matrices over GF(3)
#!
Expand All @@ -255,16 +255,16 @@ Display( Source( iota ) );
#! A vector space object over GF(3) of dimension 1
#!
#! Image of (1)-[{ Z(3)^0*(a) }]->(1):
#! . 2 .
#! 1 2 2
#! 1 1 .
#! . 1 1
#! . . 1
#!
#! A morphism in Category of matrices over GF(3)
#!
#! Image of (1)-[{ Z(3)^0*(b) }]->(2):
#! 2
#! 1
#! .
#! .
#!
#! A morphism in Category of matrices over GF(3)
#!
Expand Down
Loading

0 comments on commit 5b99527

Please sign in to comment.