Merge pull request #53 from mohamed-barakat/devel

comply with homalg-project/FunctorCategories#229
homalg-project · Oct 28, 2022 · 936d30e · 936d30e
2 parents 0d12304 + 70d1355
commit 936d30e
Show file tree

Hide file tree

Showing 5 changed files with 7 additions and 7 deletions.
diff --git a/PackageInfo.g b/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "CatReps",
 Subtitle := "Representations and cohomology of finite categories",
-Version := "2022.10-03",
+Version := "2022.10-04",
 
 Date := ~.Version{[ 1 .. 10 ]},
 Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
@@ -109,7 +109,7 @@ Dependencies := rec(
                    [ "MatricesForHomalg", ">= 2020.02.02" ],
                    [ "Toposes", ">= 2022.05-07" ],
                    [ "Algebroids", ">= 2022.05-05" ],
-                   [ "FunctorCategories", ">= 2022.10-24" ],
+                   [ "FunctorCategories", ">= 2022.10-36" ],
                    ],
   SuggestedOtherPackages := [ ],
   ExternalConditions := [ ],

diff --git a/examples/CategoryOfRepresentations.g b/examples/CategoryOfRepresentations.g
@@ -101,7 +101,7 @@ Display( unit );
 d := [[1,1,0,0,0],[0,1,1,0,0],[0,0,1,0,0],[0,0,0,1,1],[0,0,0,0,1]];;
 e := [[0,1,0,0],[0,0,1,0],[0,0,0,0],[0,1,0,1],[0,0,1,0]];;
 f := [[1,1,0,0],[0,1,1,0],[0,0,1,0],[0,0,0,1]];;
-nine := AsObjectInFunctorCategory( A, [ 5, 4 ], [ d, e, f ] );
+nine := AsObjectInFunctorCategory( CatReps, [ 5, 4 ], [ d, e, f ] );
 #! <(1)->5, (2)->4; (a)->5x5, (b)->5x4, (c)->4x4>
 Display( nine );
 #! Image of <(1)>:

diff --git a/examples/DecomposeOnceByRandomEndomorphism.g b/examples/DecomposeOnceByRandomEndomorphism.g
@@ -21,7 +21,7 @@ CatReps := FunctorCategory( A, GF3 );
 d := [[1,1,0,0,0],[0,1,1,0,0],[0,0,1,0,0],[0,0,0,1,1],[0,0,0,0,1]];;
 e := [[0,1,0,0],[0,0,1,0],[0,0,0,0],[0,1,0,1],[0,0,1,0]];;
 f := [[1,1,0,0],[0,1,1,0],[0,0,1,0],[0,0,0,1]];;
-nine := AsObjectInFunctorCategory( A, [ 5, 4 ], [ d, e, f ] );
+nine := AsObjectInFunctorCategory( CatReps, [ 5, 4 ], [ d, e, f ] );
 #! <(1)->5, (2)->4; (a)->5x5, (b)->5x4, (c)->4x4>
 DecomposeOnceByRandomEndomorphism( nine );
 #! fail

diff --git a/examples/RepresentingC4C4.g b/examples/RepresentingC4C4.g
@@ -116,7 +116,7 @@ amat * bmat = bmat * cmat;
 #! well-defined representation of C4C4.
 
 #! @Example
-eleven := AsObjectInFunctorCategory( A, [ 6, 5 ], [ amat, bmat, cmat ] );
+eleven := AsObjectInFunctorCategory( CatReps, [ 6, 5 ], [ amat, bmat, cmat ] );
 #! <(1)->6, (2)->5; (a)->6x6, (b)->6x5, (c)->5x5>
 IsWellDefined( eleven );
 #! true

diff --git a/examples/notebooks/CategoryOfRepresentations.ipynb b/examples/notebooks/CategoryOfRepresentations.ipynb
@@ -486,7 +486,7 @@
     }
    ],
    "source": [
-    "CatReps = Hom( A, GF3 )"
+    "CatReps = FunctorCategory( A, GF3 )"
    ]
   },
   {
@@ -748,7 +748,7 @@
     "d = [[1,1,0,0,0],[0,1,1,0,0],[0,0,1,0,0],[0,0,0,1,1],[0,0,0,0,1]];;\n",
     "e = [[0,1,0,0],[0,0,1,0],[0,0,0,0],[0,1,0,1],[0,0,1,0]];;\n",
     "f = [[1,1,0,0],[0,1,1,0],[0,0,1,0],[0,0,0,1]];;\n",
-    "nine = AsObjectInFunctorCategory( A, [ 5, 4 ], [ d, e, f ] )"
+    "nine = AsObjectInFunctorCategory( CatReps, [ 5, 4 ], [ d, e, f ] )"
    ]
   },
   {