comply with CAP V2023.08-09

homalg-project/CAP_project#1415
kamalsaleh · Aug 16, 2023 · c4045ee · c4045ee
1 parent 6570b97
commit c4045ee
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
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.07-02",
+Version := "2023.08-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",
 
@@ -74,7 +74,7 @@ PackageDoc := rec(
 Dependencies := rec(
   GAP := ">= 4.12.1",
   NeededOtherPackages := [  [ "AutoDoc", ">= 2019.09.04" ],
-                            [ "CAP", ">= 2023.05-03" ],
+                            [ "CAP", ">= 2023.08-09" ],
                             [ "ToolsForHigherHomologicalAlgebra", ">= 2022.12-05" ],
                             [ "PreSheaves", ">= 2023.05-03" ],
                          ],

diff --git a/ComplexesCategories/gap/Categories.gi b/ComplexesCategories/gap/Categories.gi
@@ -206,6 +206,8 @@ InstallGlobalFunction( COMPLEXES_CATEGORY_BY_COCHAINS_AS_TOWER,
                         return Concatenation( "List( i_arg[", String( j ), "], m -> MorphismDatum( cat, m ) )" );
                      elif type = "pair_of_morphisms" then
                         return Concatenation( "Pair( ", "MorphismDatum( cat, i_arg[", String( j ), "][1] )", ", MorphismDatum( cat, i_arg[", String( j ), "][2] )", " )" );
+                     elif type = "list_of_lists_of_morphisms" then
+                        return Concatenation( "List( i_arg[", String( j ), "], x -> List( x, y -> MorphismDatum( cat, y ) ) )" );
                      else
                         Error( "can only deal with 'integer', 'object', 'morphism', 'list_of_objects', 'list_of_morphisms', 'pair_of_morphisms'" );
                      fi;