Merge pull request #122 from zickgraf/master

Adjust to homalg-project/CAP_project#121
homalg-project · Jan 10, 2023 · b6b8cd3 · b6b8cd3
2 parents b6284c3 + 70a3d70
commit b6b8cd3
Show file tree

Hide file tree

Showing 6 changed files with 10 additions and 10 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 := "2022.12-05",
+Version := "2023.01-01",
 Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
 License := "GPL-2.0-or-later",
 

diff --git a/ComplexesCategories/gap/Categories.gi b/ComplexesCategories/gap/Categories.gi
@@ -392,7 +392,7 @@ InstallMethod( ComplexesCategoryByCochains,
 
                      type := info.filter_list[j];
 
-                     if type = IsInt then
+                     if type = "integer" then
                          return Concatenation( "i_arg[", String( j ), "]" );
                      elif type = "object" then
                          return Concatenation( "ObjectAt( i_arg[", String( j ), "], i )" );
@@ -403,7 +403,7 @@ InstallMethod( ComplexesCategoryByCochains,
                      elif type = "list_of_morphisms" then
                          return Concatenation( "List( i_arg[", String( j ), "], m -> MorphismAt( m, i ) )" );
                      else
-                         Error( "can only deal with IsInt, \"object\", \"morphism\", \"list_of_objects\", \"list_of_morphisms\"" );
+                         Error( "can only deal with \"integer\", \"object\", \"morphism\", \"list_of_objects\", \"list_of_morphisms\"" );
                      fi;
 
                   end ) ) );

diff --git a/QuotientCategories/PackageInfo.g b/QuotientCategories/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "QuotientCategories",
 Subtitle := "Quotient categories of CAP categories by two-sided ideals",
-Version := "2022.12-01",
+Version := "2023.01-01",
 Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
 License := "GPL-2.0-or-later",
 

diff --git a/QuotientCategories/gap/QuotientCategories.gi b/QuotientCategories/gap/QuotientCategories.gi
@@ -210,14 +210,14 @@ InstallMethod( QuotientCategory,
 
                      type := info.filter_list[j];
 
-                     if type = IsInt then
+                     if type = "integer" then
                          return Concatenation( "i_arg[", String( j ), "]" );
                      elif type in [ "object", "morphism" ] then
                          return Concatenation( "UnderlyingCell( i_arg[", String( j ), "] )" );
                      elif type in [ "list_of_objects", "list_of_morphisms" ] then
                          return Concatenation( "List( i_arg[", String( j ), "], UnderlyingCell )" );
                      else
-                         Error( "can only deal with IsInt, \"object\", \"morphism\", \"list_of_objects\", \"list_of_morphisms\"" );
+                         Error( "can only deal with \"integer\", \"object\", \"morphism\", \"list_of_objects\", \"list_of_morphisms\"" );
                      fi;
 
                   end ) ) );

diff --git a/TriangulatedCategories/PackageInfo.g b/TriangulatedCategories/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "TriangulatedCategories",
 Subtitle := "Framework for triangulated categories",
-Version := "2022.12-01",
+Version := "2023.01-01",
 Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
 License := "GPL-2.0-or-later",
 

diff --git a/TriangulatedCategories/gap/MethodRecord.gi b/TriangulatedCategories/gap/MethodRecord.gi
@@ -66,17 +66,17 @@ InverseShiftOfMorphismWithGivenObjects := rec(
 ),
 
 ShiftOfObjectByInteger := rec(
-  filter_list := [ "category", "object", IsInt ],
+  filter_list := [ "category", "object", "integer" ],
   return_type := "object"
 ),
 
 ShiftOfMorphismByIntegerWithGivenObjects := rec(
-  filter_list := [ "category", "object", "morphism", IsInt, "object" ],
+  filter_list := [ "category", "object", "morphism", "integer", "object" ],
   return_type := "morphism"
 ),
 
 ShiftOfMorphismByInteger := rec(
-  filter_list := [ "category", "morphism", IsInt ],
+  filter_list := [ "category", "morphism", "integer" ],
   return_type := "morphism"
 ),