From 70d1355157d709d06451e1880e9cdba315f893e6 Mon Sep 17 00:00:00 2001 From: Mohamed Barakat Date: Fri, 28 Oct 2022 23:20:15 +0200 Subject: [PATCH] comply with https://github.com/homalg-project/FunctorCategories/pull/229 comply with FunctorCategories v2022.10-36 --- PackageInfo.g | 4 ++-- examples/CategoryOfRepresentations.g | 2 +- examples/DecomposeOnceByRandomEndomorphism.g | 2 +- examples/RepresentingC4C4.g | 2 +- examples/notebooks/CategoryOfRepresentations.ipynb | 4 ++-- 5 files changed, 7 insertions(+), 7 deletions(-) diff --git a/PackageInfo.g b/PackageInfo.g index e9cfc12..7650d49 100644 --- 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 index 7b6cb39..d065644 100644 --- 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 index fd3ad2c..6fcc6e6 100644 --- 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 index 02979f8..c8e3143 100644 --- 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 index eb4f581..e23d3e2 100644 --- 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 ] )" ] }, {