diff --git a/PackageInfo.g b/PackageInfo.g index 5f6c203..337aefe 100644 --- 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 index 111818c..8416793 100644 --- 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 index d9c3eb8..b83fe7d 100644 --- 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( 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,7 +1242,7 @@ "lastKernelId": null }, "kernelspec": { - "display_name": "Julia 1.8.2", + "display_name": "Julia 1.8.4", "language": "julia", "name": "julia-1.8" }, @@ -1252,7 +1250,7 @@ "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 index 0939906..95cc5a0 100644 --- 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,7 +1595,7 @@ "lastKernelId": null }, "kernelspec": { - "display_name": "Julia 1.8.2", + "display_name": "Julia 1.8.4", "language": "julia", "name": "julia-1.8" }, @@ -1605,7 +1603,7 @@ "file_extension": ".jl", "mimetype": "application/julia", "name": "julia", - "version": "1.8.2" + "version": "1.8.4" } }, "nbformat": 4,