Merge pull request #59 from mohamed-barakat/devel

comply with CAP v2022.12-12
homalg-project · Dec 19, 2022 · f82f335 · f82f335
2 parents 96198f7 + a7c8c0c
commit f82f335
Show file tree

Hide file tree

Showing 3 changed files with 12 additions and 5 deletions.
diff --git a/README.md b/README.md
@@ -57,7 +57,7 @@ The supported categorical doctrine of the category of representations is
 * (possibly incomplete) direct sum decomposition.
 
 ```gap
-gap> InfoOfInstalledOperationsOfCategory( CatReps );
+gap> Display( CatReps );
 95 primitive operations were used to derive 316 operations for this category
 which constructively
 * IsEquippedWithHomomorphismStructure

diff --git a/examples/CategoryOfRepresentations.g b/examples/CategoryOfRepresentations.g
@@ -32,8 +32,13 @@ CatReps := FunctorCategory( A, GF3 );
 #! FunctorCategory( Algebroid( GF(3), FreeCategory(
 #! RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations,
 #! Category of matrices over GF(3) )
-InfoOfInstalledOperationsOfCategory( CatReps );
-#! 96 primitive operations were used to derive 317 operations for this category
+Display( CatReps );
+#! A CAP category with name
+#! FunctorCategory( Algebroid( GF(3), FreeCategory(
+#! RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations,
+#! Category of matrices over GF(3) ):
+#! 
+#! 96 primitive operations were used to derive 323 operations for this category
 #! which algorithmically
 #! * IsEquippedWithHomomorphismStructure
 #! * IsLinearCategoryOverCommutativeRing

diff --git a/examples/notebooks/CategoryOfRepresentations.ipynb b/examples/notebooks/CategoryOfRepresentations.ipynb
@@ -515,7 +515,9 @@
      "name": "stdout",
      "output_type": "stream",
      "text": [
-      "96 primitive operations were used to derive 317 operations for this category which algorithmically\n",
+      "A CAP category with name FunctorCategory( Algebroid( GF(3), FreeCategory( RightQuiver( \"q(2)[a:1->1,b:1->2,c:2->2]\" ) ) ) / relations, Category of matrices over GF(3) ):\n",
+      "\n",
+      "96 primitive operations were used to derive 323 operations for this category which algorithmically\n",
       "* IsEquippedWithHomomorphismStructure\n",
       "* IsLinearCategoryOverCommutativeRing\n",
       "* IsSymmetricMonoidalCategory\n",
@@ -527,7 +529,7 @@
     }
    ],
    "source": [
-    "InfoOfInstalledOperationsOfCategory( CatReps )"
+    "Display( CatReps )"
    ]
   },
   {