Merge pull request #196 from homalg-project/use_finquivers

Use Finquivers instead of RightQuivers

Author: kamalsaleh

.github/workflows/Tests.yml

@@ -95,7 +95,7 @@ jobs:
             TOKEN="${{ secrets.GITHUB_TOKEN }}" ./dev/simulate_dist.sh; \
           fi
       - name: Upload code coverage
-        if: github.event_name != 'schedule' && matrix.image == 'ghcr.io/homalg-project/gap-docker-master:latest'
+        if: github.event_name != 'schedule' && matrix.image == 'ghcr.io/homalg-project/gap-docker:latest'
         env:
           CODECOV_TOKEN: ${{ secrets.CODECOV_TOKEN }}
         run: |

Bicomplexes/PackageInfo.g

@@ -11,7 +11,7 @@ SetPackageInfo( rec(
 
 PackageName := "Bicomplexes",
 Subtitle := "Bicomplexes for Abelian categories",
-Version := "2023.11-01",
+Version := "2025.07-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",
 
@@ -82,7 +82,7 @@ PackageDoc := rec(
 ),
 
 Dependencies := rec(
-  GAP := ">= 4.12.1",
+  GAP := ">= 4.13.0",
   NeededOtherPackages := [ [ "GAPDoc", ">= 1.5" ],
                    [ "CAP", ">= 2023.05-03" ],
                    [ "ComplexesCategories", ">= 2020.03.12" ] ],

Bicomplexes/tst/total-complex-of-bicomplex-morphism-using-algebroids.tst

@@ -34,8 +34,8 @@ gap> relations := [ [ "PreCompose( dA_1, dA_2 )", 1 ],
 >    [ "Differential( f3 )", 3 ],
 >    [ "Differential( f4 )", 4 ],
 >    ];;
-gap> q := RightQuiver( "q(A1_m2,A1_m1,A1_0,A1_1,A1_2,A2_m2,A2_m1,A2_0,A2_1,A2_2,A3_m2,A3_m1,A3_0,A3_1,A3_2,A4_m2,A4_m1,A4_0,A4_1,A4_2,B1_m2,B1_m1,B1_0,B1_1,B1_2,B2_m2,B2_m1,B2_0,B2_1,B2_2,B3_m2,B3_m1,B3_0,B3_1,B3_2,B4_m2,B4_m1,B4_0,B4_1,B4_2)[dA1_m2:A1_m2->A1_m1,dA1_m1:A1_m1->A1_0,dA1_0:A1_0->A1_1,dA1_1:A1_1->A1_2,dA2_m2:A2_m2->A2_m1,dA2_m1:A2_m1->A2_0,dA2_0:A2_0->A2_1,dA2_1:A2_1->A2_2,dA3_m2:A3_m2->A3_m1,dA3_m1:A3_m1->A3_0,dA3_0:A3_0->A3_1,dA3_1:A3_1->A3_2,dA4_m2:A4_m2->A4_m1,dA4_m1:A4_m1->A4_0,dA4_0:A4_0->A4_1,dA4_1:A4_1->A4_2,dB1_m2:B1_m2->B1_m1,dB1_m1:B1_m1->B1_0,dB1_0:B1_0->B1_1,dB1_1:B1_1->B1_2,dB2_m2:B2_m2->B2_m1,dB2_m1:B2_m1->B2_0,dB2_0:B2_0->B2_1,dB2_1:B2_1->B2_2,dB3_m2:B3_m2->B3_m1,dB3_m1:B3_m1->B3_0,dB3_0:B3_0->B3_1,dB3_1:B3_1->B3_2,dB4_m2:B4_m2->B4_m1,dB4_m1:B4_m1->B4_0,dB4_0:B4_0->B4_1,dB4_1:B4_1->B4_2,dA_1_m2:A1_m2->A2_m2,dA_1_m1:A1_m1->A2_m1,dA_1_0:A1_0->A2_0,dA_1_1:A1_1->A2_1,dA_1_2:A1_2->A2_2,dA_2_m2:A2_m2->A3_m2,dA_2_m1:A2_m1->A3_m1,dA_2_0:A2_0->A3_0,dA_2_1:A2_1->A3_1,dA_2_2:A2_2->A3_2,dA_3_m2:A3_m2->A4_m2,dA_3_m1:A3_m1->A4_m1,dA_3_0:A3_0->A4_0,dA_3_1:A3_1->A4_1,dA_3_2:A3_2->A4_2,dB_1_m2:B1_m2->B2_m2,dB_1_m1:B1_m1->B2_m1,dB_1_0:B1_0->B2_0,dB_1_1:B1_1->B2_1,dB_1_2:B1_2->B2_2,dB_2_m2:B2_m2->B3_m2,dB_2_m1:B2_m1->B3_m1,dB_2_0:B2_0->B3_0,dB_2_1:B2_1->B3_1,dB_2_2:B2_2->B3_2,dB_3_m2:B3_m2->B4_m2,dB_3_m1:B3_m1->B4_m1,dB_3_0:B3_0->B4_0,dB_3_1:B3_1->B4_1,dB_3_2:B3_2->B4_2,f1_m2:A1_m2->B1_m2,f1_m1:A1_m1->B1_m1,f1_0:A1_0->B1_0,f1_1:A1_1->B1_1,f1_2:A1_2->B1_2,f2_m2:A2_m2->B2_m2,f2_m1:A2_m1->B2_m1,f2_0:A2_0->B2_0,f2_1:A2_1->B2_1,f2_2:A2_2->B2_2,f3_m2:A3_m2->B3_m2,f3_m1:A3_m1->B3_m1,f3_0:A3_0->B3_0,f3_1:A3_1->B3_1,f3_2:A3_2->B3_2,f4_m2:A4_m2->B4_m2,f4_m1:A4_m1->B4_m1,f4_0:A4_0->B4_0,f4_1:A4_1->B4_1,f4_2:A4_2->B4_2]" );;
-gap> F := FreeCategory( q );;
+gap> q := FinQuiver( "q(A1_m2,A1_m1,A1_0,A1_1,A1_2,A2_m2,A2_m1,A2_0,A2_1,A2_2,A3_m2,A3_m1,A3_0,A3_1,A3_2,A4_m2,A4_m1,A4_0,A4_1,A4_2,B1_m2,B1_m1,B1_0,B1_1,B1_2,B2_m2,B2_m1,B2_0,B2_1,B2_2,B3_m2,B3_m1,B3_0,B3_1,B3_2,B4_m2,B4_m1,B4_0,B4_1,B4_2)[dA1_m2:A1_m2->A1_m1,dA1_m1:A1_m1->A1_0,dA1_0:A1_0->A1_1,dA1_1:A1_1->A1_2,dA2_m2:A2_m2->A2_m1,dA2_m1:A2_m1->A2_0,dA2_0:A2_0->A2_1,dA2_1:A2_1->A2_2,dA3_m2:A3_m2->A3_m1,dA3_m1:A3_m1->A3_0,dA3_0:A3_0->A3_1,dA3_1:A3_1->A3_2,dA4_m2:A4_m2->A4_m1,dA4_m1:A4_m1->A4_0,dA4_0:A4_0->A4_1,dA4_1:A4_1->A4_2,dB1_m2:B1_m2->B1_m1,dB1_m1:B1_m1->B1_0,dB1_0:B1_0->B1_1,dB1_1:B1_1->B1_2,dB2_m2:B2_m2->B2_m1,dB2_m1:B2_m1->B2_0,dB2_0:B2_0->B2_1,dB2_1:B2_1->B2_2,dB3_m2:B3_m2->B3_m1,dB3_m1:B3_m1->B3_0,dB3_0:B3_0->B3_1,dB3_1:B3_1->B3_2,dB4_m2:B4_m2->B4_m1,dB4_m1:B4_m1->B4_0,dB4_0:B4_0->B4_1,dB4_1:B4_1->B4_2,dA_1_m2:A1_m2->A2_m2,dA_1_m1:A1_m1->A2_m1,dA_1_0:A1_0->A2_0,dA_1_1:A1_1->A2_1,dA_1_2:A1_2->A2_2,dA_2_m2:A2_m2->A3_m2,dA_2_m1:A2_m1->A3_m1,dA_2_0:A2_0->A3_0,dA_2_1:A2_1->A3_1,dA_2_2:A2_2->A3_2,dA_3_m2:A3_m2->A4_m2,dA_3_m1:A3_m1->A4_m1,dA_3_0:A3_0->A4_0,dA_3_1:A3_1->A4_1,dA_3_2:A3_2->A4_2,dB_1_m2:B1_m2->B2_m2,dB_1_m1:B1_m1->B2_m1,dB_1_0:B1_0->B2_0,dB_1_1:B1_1->B2_1,dB_1_2:B1_2->B2_2,dB_2_m2:B2_m2->B3_m2,dB_2_m1:B2_m1->B3_m1,dB_2_0:B2_0->B3_0,dB_2_1:B2_1->B3_1,dB_2_2:B2_2->B3_2,dB_3_m2:B3_m2->B4_m2,dB_3_m1:B3_m1->B4_m1,dB_3_0:B3_0->B4_0,dB_3_1:B3_1->B4_1,dB_3_2:B3_2->B4_2,f1_m2:A1_m2->B1_m2,f1_m1:A1_m1->B1_m1,f1_0:A1_0->B1_0,f1_1:A1_1->B1_1,f1_2:A1_2->B1_2,f2_m2:A2_m2->B2_m2,f2_m1:A2_m1->B2_m1,f2_0:A2_0->B2_0,f2_1:A2_1->B2_1,f2_2:A2_2->B2_2,f3_m2:A3_m2->B3_m2,f3_m1:A3_m1->B3_m1,f3_0:A3_0->B3_0,f3_1:A3_1->B3_1,f3_2:A3_2->B3_2,f4_m2:A4_m2->B4_m2,f4_m1:A4_m1->B4_m1,f4_0:A4_0->B4_0,f4_1:A4_1->B4_1,f4_2:A4_2->B4_2]" );;
+gap> F := PathCategory( q );;
 gap> kF := k[F];;
 gap> AssignSetOfObjects( kF );;
 gap> AssignSetOfGeneratingMorphisms( kF );;

ComplexesCategories/PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "ComplexesCategories",
 Subtitle := "Category of (co)chain complexes of an additive category",
-Version := "2024.11-16",
+Version := "2025.07-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",
 
@@ -72,7 +72,7 @@ PackageDoc := rec(
 ),
 
 Dependencies := rec(
-  GAP := ">= 4.12.1",
+  GAP := ">= 4.13.0",
   NeededOtherPackages := [  [ "CAP", ">= 2024.10-06" ],
                             [ "ToolsForHigherHomologicalAlgebra", ">= 2022.12-05" ],
                             [ "PreSheaves", ">= 2024.11-06" ],

ComplexesCategories/examples/notebooks/FreydCategory_Qxy.ipynb

@@ -18,7 +18,7 @@
      "name": "stdout",
      "output_type": "stream",
      "text": [
-      "CapAndHomalg v\u001b[32m1.6.0\u001b[39m\n",
+      "CapAndHomalg v\u001b[32m1.6.2\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",
-      "86 primitive operations were used to derive 333 operations for this category which algorithmically\n",
+      "42 primitive operations were used to derive 330 operations for this category which algorithmically\n",
       "* IsEquippedWithHomomorphismStructure\n",
       "* IsLinearCategoryOverCommutativeRing\n",
       "* IsAbelianCategory\n"
@@ -447,15 +447,15 @@
  ],
  "metadata": {
   "kernelspec": {
-   "display_name": "Julia 1.8.2",
+   "display_name": "Julia 1.11.1",
    "language": "julia",
-   "name": "julia-1.8"
+   "name": "julia-1.11"
   },
   "language_info": {
    "file_extension": ".jl",
    "mimetype": "application/julia",
    "name": "julia",
-   "version": "1.10.4"
+   "version": "1.11.1"
   }
  },
  "nbformat": 4,