Adjust to homalg-project/CAP_project#1099

and add new test to reproduce the number of operations outside of the
notebooks

Author: zickgraf

PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "InternalModules",
 Subtitle := "Modules over internal algebras",
-Version := "2022.09-02",
+Version := "2022.10-01",
 
 Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
 License := "GPL-2.0-or-later",

examples/SymmetricAlgebraInternalToS4rep.g

@@ -5,6 +5,14 @@ LoadPackage( "InternalModules" );
 #! @Example
 srepG := RepresentationCategory( SymmetricGroup( 4 ) );
 #! The representation category of SymmetricGroup( [ 1 .. 4 ] )
+InfoOfInstalledOperationsOfCategory( srepG );
+#! 46 primitive operations were used to derive 247 operations for
+#! this category which algorithmically
+#! * IsEquippedWithHomomorphismStructure
+#! * IsAbelianCategory
+#! * IsRigidSymmetricClosedMonoidalCategory
+#! and furthermore mathematically
+#! * IsSkeletalCategory
 G := UnderlyingGroupForRepresentationCategory( srepG );
 #! Sym( [ 1 .. 4 ] )
 irr := Irr( G );;

examples/notebooks/SymmetricAlgebraInternalToS1rep.ipynb

@@ -119,13 +119,11 @@
      "name": "stdout",
      "output_type": "stream",
      "text": [
-      "46 primitive operations were used to derive 342 operations for this category which algorithmically\n",
+      "46 primitive operations were used to derive 247 operations for this category which algorithmically\n",
       "* IsEquippedWithHomomorphismStructure\n",
       "* IsAbelianCategory\n",
       "* IsRigidSymmetricClosedMonoidalCategory\n",
       "and furthermore mathematically\n",
-      "* IsFiniteCocompleteCategory (but not yet algorithmically)\n",
-      "* IsFiniteCompleteCategory (but not yet algorithmically)\n",
       "* IsSkeletalCategory\n"
      ]
     }
@@ -1242,15 +1240,15 @@
    "lastKernelId": null
   },
   "kernelspec": {
-   "display_name": "Julia 1.8.1",
+   "display_name": "Julia 1.8.2",
    "language": "julia",
    "name": "julia-1.8"
   },
   "language_info": {
    "file_extension": ".jl",
    "mimetype": "application/julia",
    "name": "julia",
-   "version": "1.8.1"
+   "version": "1.8.2"
   }
  },
  "nbformat": 4,

examples/notebooks/SymmetricAlgebraInternalToS4rep.ipynb

@@ -123,13 +123,11 @@
      "name": "stdout",
      "output_type": "stream",
      "text": [
-      "46 primitive operations were used to derive 342 operations for this category which algorithmically\n",
+      "46 primitive operations were used to derive 247 operations for this category which algorithmically\n",
       "* IsEquippedWithHomomorphismStructure\n",
       "* IsAbelianCategory\n",
       "* IsRigidSymmetricClosedMonoidalCategory\n",
       "and furthermore mathematically\n",
-      "* IsFiniteCocompleteCategory (but not yet algorithmically)\n",
-      "* IsFiniteCompleteCategory (but not yet algorithmically)\n",
       "* IsSkeletalCategory\n"
      ]
     }
@@ -1595,15 +1593,15 @@
    "lastKernelId": null
   },
   "kernelspec": {
-   "display_name": "Julia 1.8.1",
+   "display_name": "Julia 1.8.2",
    "language": "julia",
    "name": "julia-1.8"
   },
   "language_info": {
    "file_extension": ".jl",
    "mimetype": "application/julia",
    "name": "julia",
-   "version": "1.8.1"
+   "version": "1.8.2"
   }
  },
  "nbformat": 4,