From 7353b0f3dab0b59edc5b1680ff58b439b42b738b Mon Sep 17 00:00:00 2001 From: Mohamed Barakat Date: Thu, 23 Nov 2023 20:25:58 +0100 Subject: [PATCH] finalize RangeCategoryOfHomomorphismStructure in LinearClosure --- FreydCategoriesForCAP/PackageInfo.g | 2 +- FreydCategoriesForCAP/gap/LinearClosure.gi | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/FreydCategoriesForCAP/PackageInfo.g b/FreydCategoriesForCAP/PackageInfo.g index 91acc8e9f3..c5c725e381 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 := "2023.11-01", +Version := "2023.11-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/FreydCategoriesForCAP/gap/LinearClosure.gi b/FreydCategoriesForCAP/gap/LinearClosure.gi index b4733efc79..cc77bcaaa6 100644 --- a/FreydCategoriesForCAP/gap/LinearClosure.gi +++ b/FreydCategoriesForCAP/gap/LinearClosure.gi @@ -685,8 +685,8 @@ InstallGlobalFunction( INSTALL_FUNCTIONS_FOR_LINEAR_CLOSURE, finsets := RangeCategoryOfHomomorphismStructure( underlying_category ); - rows := CategoryOfRows( ring : overhead := false ); - + rows := CategoryOfRows( ring : overhead := false, FinalizeCategory := true ); + SetRangeCategoryOfHomomorphismStructure( category, rows ); SetIsEquippedWithHomomorphismStructure( category, true );