Merge pull request #1021 from zickgraf/master

Add missing version of CoefficientsOfMorphism with category as first argument

Author: zickgraf

CAP/PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "CAP",
 Subtitle := "Categories, Algorithms, Programming",
-Version := "2022.09-06",
+Version := "2022.09-07",
 Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
 License := "GPL-2.0-or-later",
 

CAP/gap/CategoryMorphisms.gi

@@ -341,7 +341,15 @@ InstallMethod( CoefficientsOfMorphism,
               [ IsCapCategoryMorphism ],
   function( alpha )
 
-    return CoefficientsOfMorphismWithGivenBasisOfExternalHom( alpha, BasisOfExternalHom( Source( alpha ), Range( alpha ) ) );
+    return CoefficientsOfMorphism( CapCategory( alpha ), alpha );
+    
+end );
+
+InstallOtherMethod( CoefficientsOfMorphism,
+              [ IsCapCategory, IsCapCategoryMorphism ],
+  function( cat, alpha )
+    
+    return CoefficientsOfMorphismWithGivenBasisOfExternalHom( cat, alpha, BasisOfExternalHom( cat, Source( alpha ), Range( alpha ) ) );
 
 end );