Merge pull request #150 from zickgraf/master

Use "list_of_objects"
homalg-project · Apr 27, 2023 · 51fddce · 51fddce
2 parents a531bdd + 4e8f331
commit 51fddce
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/TriangulatedCategories/PackageInfo.g b/TriangulatedCategories/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "TriangulatedCategories",
 Subtitle := "Framework for triangulated categories",
-Version := "2023.04-01",
+Version := "2023.04-02",
 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/TriangulatedCategories/gap/MethodRecord.gi b/TriangulatedCategories/gap/MethodRecord.gi
@@ -186,25 +186,25 @@ WitnessIsomorphismFromStandardConeObjectByInverseRotationAxiomWithGivenObjects :
 ),
 
 ShiftExpandingIsomorphismWithGivenObjects := rec(
-  filter_list := [ "category", "object", IsList, "object" ],
+  filter_list := [ "category", "object", "list_of_objects", "object" ],
   io_type := [ [ "s", "L", "r" ], [ "s", "r" ] ],
   return_type := "morphism"
 ),
 
 ShiftFactoringIsomorphismWithGivenObjects := rec(
-  filter_list := [ "category", "object", IsList, "object" ],
+  filter_list := [ "category", "object", "list_of_objects", "object" ],
   io_type := [ [ "s", "L", "r" ], [ "s", "r" ] ],
   return_type := "morphism"
 ),
 
 InverseShiftExpandingIsomorphismWithGivenObjects := rec(
-  filter_list := [ "category", "object", IsList, "object" ],
+  filter_list := [ "category", "object", "list_of_objects", "object" ],
   io_type := [ [ "s", "L", "r" ], [ "s", "r" ] ],
   return_type := "morphism"
 ),
 
 InverseShiftFactoringIsomorphismWithGivenObjects := rec(
-  filter_list := [ "category", "object", IsList, "object" ],
+  filter_list := [ "category", "object", "list_of_objects", "object" ],
   io_type := [ [ "s", "L", "r" ], [ "s", "r" ] ],
   return_type := "morphism"
 )