From 712f19c7ce136b9695ca97d954c481a4ec9066c8 Mon Sep 17 00:00:00 2001 From: Mohamed Barakat Date: Tue, 3 Dec 2024 15:18:54 +0100 Subject: [PATCH] added missing output_*_getter* --- FreydCategoriesForCAP/PackageInfo.g | 2 +- FreydCategoriesForCAP/gap/FreydCategoriesForCAP.gi | 8 ++++++++ 2 files changed, 9 insertions(+), 1 deletion(-) diff --git a/FreydCategoriesForCAP/PackageInfo.g b/FreydCategoriesForCAP/PackageInfo.g index 383d355901..59b9948bb3 100644 --- a/FreydCategoriesForCAP/PackageInfo.g +++ b/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", diff --git a/FreydCategoriesForCAP/gap/FreydCategoriesForCAP.gi b/FreydCategoriesForCAP/gap/FreydCategoriesForCAP.gi index e6d5d8cb46..6b39f58dd2 100644 --- a/FreydCategoriesForCAP/gap/FreydCategoriesForCAP.gi +++ b/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 ),