Merge pull request #177 from kamalsaleh/master

reactivate testing notebooks
homalg-project · Nov 11, 2023 · edd51ea · edd51ea
2 parents 3595841 + d42d205
commit edd51ea
Show file tree

Hide file tree

Showing 38 changed files with 349 additions and 9,472 deletions.
diff --git a/.github/workflows/Tests.yml b/.github/workflows/Tests.yml
@@ -54,13 +54,14 @@ jobs:
           git clone --depth 1 -vv https://github.com/homalg-project/Toposes.git
           git clone --depth 1 -vv https://github.com/homalg-project/FinSetsForCAP.git
           git clone --depth 1 -vv https://github.com/homalg-project/QPA2.git
+          git clone --depth 1 -vv https://github.com/homalg-project/FpCategories.git
           git clone --depth 1 -vv https://github.com/homalg-project/Algebroids.git
           git clone --depth 1 -vv https://github.com/homalg-project/PreSheaves.git
           git clone --depth 1 -vv https://github.com/homalg-project/QuotientCategories.git
           git clone --depth 1 -vv https://github.com/homalg-project/FiniteCocompletions.git
           git clone --depth 1 -vv https://github.com/homalg-project/FunctorCategories.git
           git clone --depth 1 -vv https://github.com/homalg-project/SubcategoriesForCAP.git
-          git clone --depth 1 -vv https://github.com/homalg-project/CategoryConstructor.git
+          git clone --depth 1 -vv https://github.com/homalg-project/ToolsForCategoricalTowers.git
           git clone --depth 1 -vv https://github.com/homalg-project/Locales.git
       - name: Build documentation of packages which we might want to reference
         run: |

diff --git a/Bicomplexes/PackageInfo.g b/Bicomplexes/PackageInfo.g
@@ -11,7 +11,7 @@ SetPackageInfo( rec(
 
 PackageName := "Bicomplexes",
 Subtitle := "Bicomplexes for Abelian categories",
-Version := "2023.09-01",
+Version := "2023.11-01",
 Date := (function ( ) if IsBound( GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE ) then return GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE; else return Concatenation( ~.Version{[ 1 .. 4 ]}, "-", ~.Version{[ 6, 7 ]}, "-01" ); fi; end)( ),
 License := "GPL-2.0-or-later",
 

diff --git a/Bicomplexes/tst/100_LoadPackage.tst b/Bicomplexes/tst/100_LoadPackage.tst
@@ -7,19 +7,23 @@
 gap> PushOptions( rec( OnlyNeeded := true ) );
 gap> package_loading_info_level := InfoLevel( InfoPackageLoading );;
 gap> SetInfoLevel( InfoPackageLoading, PACKAGE_ERROR );;
-gap> LoadPackage( "ModulePresentationsForCAP", false );
+gap> LoadPackage( "FinSetsForCAP", false );
 true
 gap> LoadPackage( "FreydCategoriesForCAP", false );
 true
+gap> LoadPackage( "ModulePresentationsForCAP", false );
+true
 gap> LoadPackage( "Algebroids", false );
 true
 gap> LoadPackage( "Bicomplexes", false );
 true
 gap> SetInfoLevel( InfoPackageLoading, PACKAGE_INFO );;
-gap> LoadPackage( "ModulePresentationsForCAP" );
+gap> LoadPackage( "FinSetsForCAP" );
 true
 gap> LoadPackage( "FreydCategoriesForCAP" );
 true
+gap> LoadPackage( "ModulePresentationsForCAP" );
+true
 gap> LoadPackage( "Algebroids" );
 true
 gap> LoadPackage( "Bicomplexes" );

diff --git a/ComplexesCategories/PackageInfo.g b/ComplexesCategories/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "ComplexesCategories",
 Subtitle := "Category of (co)chain complexes of an additive category",
-Version := "2023.09-01",
+Version := "2023.11-01",
 Date := (function ( ) if IsBound( GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE ) then return GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE; else return Concatenation( ~.Version{[ 1 .. 4 ]}, "-", ~.Version{[ 6, 7 ]}, "-01" ); fi; end)( ),
 License := "GPL-2.0-or-later",
 

diff --git a/ComplexesCategories/examples/notebooks/FreydCategory_Qxy.ipynb b/ComplexesCategories/examples/notebooks/FreydCategory_Qxy.ipynb
@@ -18,7 +18,7 @@
      "name": "stdout",
      "output_type": "stream",
      "text": [
-      "CapAndHomalg v\u001b[32m1.4.7\u001b[39m\n",
+      "CapAndHomalg v\u001b[32m1.5.3\u001b[39m\n",
       "Imported OSCAR's components GAP and Singular_jll\n",
       "Type: ?CapAndHomalg for more information\n"
      ]
@@ -156,7 +156,7 @@
      "text": [
       "A CAP category with name Complexes category by cochains( Freyd( Rows( Q[x,y,z] ) ) ):\n",
       "\n",
-      "83 primitive operations were used to derive 330 operations for this category which algorithmically\n",
+      "86 primitive operations were used to derive 332 operations for this category which algorithmically\n",
       "* IsEquippedWithHomomorphismStructure\n",
       "* IsLinearCategoryOverCommutativeRing\n",
       "* IsAbelianCategory\n"
@@ -269,9 +269,9 @@
        "\\uparrow_{\\phantom{-1}}\n",
        "\\\\\n",
        "{\\color{blue}{{\\color{blue}{\\left( \\begin{array}{r}\n",
-       " x \\\\ \n",
+       " z \\\\ \n",
        " y \\\\ \n",
-       " z \n",
+       " x \n",
        "\\end{array} \\right)}}}}\n",
        "\\\\\n",
        "{\\vert_{-1}}\n",
@@ -281,9 +281,9 @@
        "\\uparrow_{\\phantom{-2}}\n",
        "\\\\\n",
        "{\\color{blue}{{\\color{blue}{\\left( \\begin{array}{rrr}\n",
-       " \\cdot & -z & y \\\\ \n",
-       " -z & \\cdot & x \\\\ \n",
-       " -y & x & \\cdot \n",
+       " y & -z & \\cdot \\\\ \n",
+       " \\cdot & x & -y \\\\ \n",
+       " x & \\cdot & -z \n",
        "\\end{array} \\right)}}}}\n",
        "\\\\\n",
        "{\\vert_{-2}}\n",
@@ -293,7 +293,7 @@
        "\\uparrow_{\\phantom{-3}}\n",
        "\\\\\n",
        "{\\color{blue}{{\\color{blue}{\\left( \\begin{array}{rrr}\n",
-       " x & -y & z \n",
+       " x & z & -y \n",
        "\\end{array} \\right)}}}}\n",
        "\\\\\n",
        "{\\vert_{-3}}\n",
@@ -374,17 +374,17 @@
        " y \\\\ \n",
        " x \n",
        "\\end{array} \\right)}}}}&&{\\color{blue}{{\\color{blue}{\\left( \\begin{array}{r}\n",
-       " x \\\\ \n",
+       " z \\\\ \n",
        " y \\\\ \n",
-       " z \n",
+       " x \n",
        "\\end{array} \\right)}}}}\n",
        " \\\\ \n",
        " \\vert_{-1} &&\\vert_{-1} \n",
        " \\\\ \n",
        " \\big(R^{1 \\times 0}\\xrightarrow{{\\color{blue}{()_{0 \\times 3}}}}R^{1 \\times 3}\\big)_{\\mathcal{A}}&-\\phantom{-}{{\\color{blue}{{\\color{blue}{\\left( \\begin{array}{rrr}\n",
-       " \\cdot & \\cdot & 1 \\\\ \n",
+       " 1 & \\cdot & \\cdot \\\\ \n",
        " \\cdot & 1 & \\cdot \\\\ \n",
-       " 1 & \\cdot & \\cdot \n",
+       " \\cdot & \\cdot & 1 \n",
        "\\end{array} \\right)}}}}}\\phantom{-}\\rightarrow&\\big(R^{1 \\times 0}\\xrightarrow{{\\color{blue}{()_{0 \\times 3}}}}R^{1 \\times 3}\\big)_{\\mathcal{A}}\n",
        " \\\\ \n",
        "  \\uparrow_{\\phantom{-2}}&& \n",
@@ -395,17 +395,17 @@
        " \\cdot & x & -y \\\\ \n",
        " x & \\cdot & -z \n",
        "\\end{array} \\right)}}}}&&{\\color{blue}{{\\color{blue}{\\left( \\begin{array}{rrr}\n",
-       " \\cdot & -z & y \\\\ \n",
-       " -z & \\cdot & x \\\\ \n",
-       " -y & x & \\cdot \n",
+       " y & -z & \\cdot \\\\ \n",
+       " \\cdot & x & -y \\\\ \n",
+       " x & \\cdot & -z \n",
        "\\end{array} \\right)}}}}\n",
        " \\\\ \n",
        " \\vert_{-2} &&\\vert_{-2} \n",
        " \\\\ \n",
        " \\big(R^{1 \\times 0}\\xrightarrow{{\\color{blue}{()_{0 \\times 3}}}}R^{1 \\times 3}\\big)_{\\mathcal{A}}&-\\phantom{-}{{\\color{blue}{{\\color{blue}{\\left( \\begin{array}{rrr}\n",
        " 1 & \\cdot & \\cdot \\\\ \n",
-       " \\cdot & \\cdot & 1 \\\\ \n",
-       " \\cdot & 1 & \\cdot \n",
+       " \\cdot & 1 & \\cdot \\\\ \n",
+       " \\cdot & \\cdot & 1 \n",
        "\\end{array} \\right)}}}}}\\phantom{-}\\rightarrow&\\big(R^{1 \\times 0}\\xrightarrow{{\\color{blue}{()_{0 \\times 3}}}}R^{1 \\times 3}\\big)_{\\mathcal{A}}\n",
        " \\\\ \n",
        "  \\uparrow_{\\phantom{-3}}&& \n",
@@ -414,7 +414,7 @@
        " {\\color{blue}{{\\color{blue}{\\left( \\begin{array}{rrr}\n",
        " x & z & -y \n",
        "\\end{array} \\right)}}}}&&{\\color{blue}{{\\color{blue}{\\left( \\begin{array}{rrr}\n",
-       " x & -y & z \n",
+       " x & z & -y \n",
        "\\end{array} \\right)}}}}\n",
        " \\\\ \n",
        " \\vert_{-3} &&\\vert_{-3} \n",