Merge pull request #37 from mohamed-barakat/devel

homalg-project · Jan 17, 2023 · c98a99e · c98a99e
2 parents 1dd6e66 + 522520f
commit c98a99e
Show file tree

Hide file tree

Showing 4 changed files with 9 additions and 13 deletions.
diff --git a/PackageInfo.g b/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "InternalModules",
 Subtitle := "Modules over internal algebras",
-Version := "2022.12-01",
+Version := "2023.01-01",
 
 Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
 License := "GPL-2.0-or-later",
@@ -85,7 +85,7 @@ PackageDoc := rec(
 Dependencies := rec(
   GAP := ">= 4.12.1",
   NeededOtherPackages := [ [ "GAPDoc", ">= 1.5" ],
-                           [ "CAP", ">= 2022.12-14" ],
+                           [ "CAP", ">= 2023.01-05" ],
                            [ "GradedCategories", ">= 2020.08.24" ],
                            [ "ActionsForCAP", ">= 2020.04.27" ],
                            [ "RingsForHomalg", ">= 2020.09.02" ],

diff --git a/examples/SymmetricAlgebraInternalToS4rep.g b/examples/SymmetricAlgebraInternalToS4rep.g
@@ -9,7 +9,7 @@ Display( srepG );
 #! A CAP category with name The representation category
 #! of SymmetricGroup( [ 1 .. 4 ] ):
 #! 
-#! 46 primitive operations were used to derive 260 operations for this category
+#! 46 primitive operations were used to derive 278 operations for this category
 #! which algorithmically
 #! * IsEquippedWithHomomorphismStructure
 #! * IsAbelianCategory

diff --git a/examples/notebooks/SymmetricAlgebraInternalToS1rep.ipynb b/examples/notebooks/SymmetricAlgebraInternalToS1rep.ipynb
@@ -121,13 +121,11 @@
      "text": [
       "A CAP category with name The representation category of Group( <identity> of ... ):\n",
       "\n",
-      "46 primitive operations were used to derive 347 operations for this category which algorithmically\n",
+      "46 primitive operations were used to derive 375 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"
      ]
     }
@@ -1244,15 +1242,15 @@
    "lastKernelId": null
   },
   "kernelspec": {
-   "display_name": "Julia 1.8.2",
+   "display_name": "Julia 1.8.4",
    "language": "julia",
    "name": "julia-1.8"
   },
   "language_info": {
    "file_extension": ".jl",
    "mimetype": "application/julia",
    "name": "julia",
-   "version": "1.8.2"
+   "version": "1.8.4"
   }
  },
  "nbformat": 4,

diff --git a/examples/notebooks/SymmetricAlgebraInternalToS4rep.ipynb b/examples/notebooks/SymmetricAlgebraInternalToS4rep.ipynb
@@ -125,13 +125,11 @@
      "text": [
       "A CAP category with name The representation category of SymmetricGroup( [ 1 .. 4 ] ):\n",
       "\n",
-      "46 primitive operations were used to derive 347 operations for this category which algorithmically\n",
+      "46 primitive operations were used to derive 375 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"
      ]
     }
@@ -1597,15 +1595,15 @@
    "lastKernelId": null
   },
   "kernelspec": {
-   "display_name": "Julia 1.8.2",
+   "display_name": "Julia 1.8.4",
    "language": "julia",
    "name": "julia-1.8"
   },
   "language_info": {
    "file_extension": ".jl",
    "mimetype": "application/julia",
    "name": "julia",
-   "version": "1.8.2"
+   "version": "1.8.4"
   }
  },
  "nbformat": 4,