Merge pull request #1710 from mohamed-barakat/missing_getter_precondi…

…tions

added missing output_*_getter*

FreydCategoriesForCAP/PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "FreydCategoriesForCAP",
 Subtitle := "Freyd categories - Formal (co)kernels for additive categories",
-Version := "2024.10-04",
+Version := "2024.12-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",
 

FreydCategoriesForCAP/gap/FreydCategoriesForCAP.gi

@@ -496,6 +496,8 @@ EpimorphismFromSomeProjectiveObjectForKernelObject := rec(
   filter_list := [ "category", "morphism" ],
   input_arguments_names := [ "cat", "alpha" ],
   with_given_object_position := "Source",
+  output_range_getter_string := "KernelObject( cat, alpha )",
+  output_range_getter_preconditions := [ [ "KernelObject", 1 ] ],
   return_type := "morphism",
   dual_operation := "MonomorphismToSomeInjectiveObjectForCokernelObject",
   is_merely_set_theoretic := true ),
@@ -505,6 +507,8 @@ EpimorphismFromSomeProjectiveObjectForKernelObjectWithGivenSomeProjectiveObjectF
   input_arguments_names := [ "cat", "alpha", "source" ],
   return_type := "morphism",
   output_source_getter_string := "source",
+  output_range_getter_string := "KernelObject( cat, alpha )",
+  output_range_getter_preconditions := [ [ "KernelObject", 1 ] ],
   dual_operation := "MonomorphismToSomeInjectiveObjectForCokernelObjectWithGivenSomeInjectiveObjectForCokernelObject",
   is_merely_set_theoretic := true ),
 
@@ -517,6 +521,8 @@ SomeInjectiveObjectForCokernelObject := rec(
 MonomorphismToSomeInjectiveObjectForCokernelObject := rec(
   filter_list := [ "category", "morphism" ],
   input_arguments_names := [ "cat", "alpha" ],
+  output_source_getter_string := "CokernelObject( cat, alpha )",
+  output_source_getter_preconditions := [ [ "CokernelObject", 1 ] ],
   with_given_object_position := "Range",
   return_type := "morphism",
   dual_operation := "EpimorphismFromSomeProjectiveObjectForKernelObject",
@@ -526,6 +532,8 @@ MonomorphismToSomeInjectiveObjectForCokernelObjectWithGivenSomeInjectiveObjectFo
   filter_list := [ "category", "morphism", "object" ],
   input_arguments_names := [ "cat", "alpha", "range" ],
   return_type := "morphism",
+  output_source_getter_string := "CokernelObject( cat, alpha )",
+  output_source_getter_preconditions := [ [ "CokernelObject", 1 ] ],
   output_range_getter_string := "range",
   dual_operation := "EpimorphismFromSomeProjectiveObjectForKernelObjectWithGivenSomeProjectiveObjectForKernelObject",
   is_merely_set_theoretic := true ),