Merge pull request #40 from mohamed-barakat/devel

comply with Algebroids v2022.05-02

PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "CatReps",
 Subtitle := "Representations and cohomology of finite categories",
-Version := "2022.04-06",
+Version := "2022.05-01",
 
 Date := ~.Version{[ 1 .. 10 ]},
 Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
@@ -108,7 +108,7 @@ Dependencies := rec(
                    [ "SubcategoriesForCAP", ">= 2020.06-01" ],
                    [ "MatricesForHomalg", ">= 2020.02.02" ],
                    [ "Toposes", ">= 2022.04-29" ],
-                   [ "Algebroids", ">= 2022.01-02" ],
+                   [ "Algebroids", ">= 2022.05-02" ],
                    [ "FunctorCategories", ">= 2022.04-04" ],
                    ],
   SuggestedOtherPackages := [ ],

examples/Algebroid.g

@@ -23,9 +23,9 @@ A2 := Q[ccat2];
 IsIdenticalObj( A1, A2 );
 #! true
 UnderlyingCategory( A1 );
-#! Category generated by the right quiver q(2)[a:1->1,b:1->2,c:2->2] with relations
+#! FreeCategory( RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) / relations
 UnderlyingCategory( A2 );
-#! Category generated by the right quiver q(2)[a:1->1,b:1->2,c:2->2] with relations
+#! FreeCategory( RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) / relations
 IsIdenticalObj( UnderlyingCategory( A1 ), UnderlyingCategory( A2 ) );
 #! true
 CatReps1 := FunctorCategory( A1, Q );

examples/CategoryOfRepresentations.g

@@ -6,7 +6,7 @@ LoadPackage( "CatReps" );
 c3c3 := ConcreteCategoryForCAP( [ [2,3,1], [4,5,6], [,,,5,6,4] ] );
 #! A finite concrete category
 AsFpCategory( c3c3 );
-#! Category generated by the right quiver q(2)[a:1->1,b:1->2,c:2->2] with relations
+#! FreeCategory( RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) / relations
 UnderlyingQuiverAlgebra( AsFpCategory( c3c3 ) );
 #! (Q * q) / [ 1*(a*a*a) - 1*(1), 1*(c*c*c) - 1*(2), 1*(b*c) - 1*(a*b) ]
 #! @EndExample

examples/CategoryRelations.g

@@ -23,8 +23,8 @@ q := RightQuiverFromConcreteCategory( c3c3c3 );
 relEndo := RelationsOfEndomorphisms( c3c3c3 );
 #! [ [ (a*a*a), (1) ], [ (c*c*c), (2) ], [ (e*e*e), (3) ] ]
 C := AsFpCategory( c3c3c3 );
-#! Category generated by the right quiver
-#! q(3)[a:1->1,b:1->2,c:2->2,d:2->3,e:3->3,f:1->3] with relations
+#! FreeCategory( RightQuiver(
+#!   "q(3)[a:1->1,b:1->2,c:2->2,d:2->3,e:3->3,f:1->3]" ) ) / relations
 A := UnderlyingQuiverAlgebra( C );
 #! (Q * q) / [ 1*(a*a*a) - 1*(1), 1*(c*c*c) - 1*(2), 1*(e*e*e) - 1*(3),
 #! 1*(b*c) - 1*(a*b), 1*(b*d) - 1*(f), 1*(f*e) - 1*(a*f), 1*(d*e) - 1*(c*d) ]

examples/DecomposeOnceByRandomEndomorphism.g

@@ -6,7 +6,7 @@ LoadPackage( "CatReps" );
 c3c3 := ConcreteCategoryForCAP( [ [2,3,1], [4,5,6], [,,,5,6,4] ] );
 #! A finite concrete category
 AsFpCategory( c3c3 );
-#! Category generated by the right quiver q(2)[a:1->1,b:1->2,c:2->2] with relations
+#! FreeCategory( RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) / relations
 GF3 := HomalgRingOfIntegers( 3 );
 #! GF(3)
 A := GF3[c3c3];

examples/RepresentingC4C4.g

@@ -9,7 +9,7 @@ LoadPackage( "CatReps" );
 c4c4 := ConcreteCategoryForCAP( [ [2,3,4,1], [5,6,7,8], [,,,,6,7,8,5] ] );
 #! A finite concrete category
 AsFpCategory( c4c4 );
-#! Category generated by the right quiver q(2)[a:1->1,b:1->2,c:2->2] with relations
+#! FreeCategory( RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) / relations
 UnderlyingQuiverAlgebra( AsFpCategory( c4c4 ) );
 #! (Q * q) / [ 1*(a*a*a*a) - 1*(1), 1*(c*c*c*c) - 1*(2), 1*(b*c) - 1*(a*b) ]
 GF3 := HomalgRingOfIntegers( 3 );

examples/julia/notebooks/CategoryOfRepresentations.ipynb

@@ -204,7 +204,7 @@
     {
      "data": {
       "text/plain": [
-       "GAP: Category generated by the right quiver q(2)[a:1->1,b:1->2,c:2->2] with relations"
+       "GAP: FreeCategory( RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) / relations"
       ]
      },
      "execution_count": 9,