renamed WeakDirectSumDecomposition -> WeakDirectSumDecompositionOld

comply with FunctorCategories v2020.05.18

PackageInfo.g

@@ -11,7 +11,7 @@ SetPackageInfo( rec(
 PackageName := "CatReps",
 Subtitle := "Representations and cohomology of finite categories",
 Version := Maximum( [
-                   "2020.05.17", ## Mohamed's version
+                   "2020.05.18", ## Mohamed's version
                    ## this line prevents merge conflicts
                    "2020.01.01", ## Tibor's version
                    ## this line prevents merge conflicts
@@ -112,7 +112,7 @@ Dependencies := rec(
                    [ "MatricesForHomalg", ">= 2020.02.02" ],
                    [ "Toposes", ">= 2020.04.27" ],
                    [ "Algebroids", ">= 2020.04.24" ],
-                   [ "FunctorCategories", ">= 2020.05.13" ],
+                   [ "FunctorCategories", ">= 2020.05.18" ],
                    ],
   SuggestedOtherPackages := [ ],
   ExternalConditions := [ ],

examples/AssociatorUnitor.g

@@ -31,7 +31,7 @@ f := HomalgMatrix( f, 4, 4, GF3 );;
 f := VectorSpaceMorphism( V2, f, V2 );;
 nine := AsObjectInHomCategory( kq, [ V1, V2 ], [ d, e, f ] );;
 fortyone := TensorProductOnObjects( nine, nine );;
-etas := WeakDirectSumDecomposition( fortyone );;
+etas := WeakDirectSumDecompositionOld( fortyone );;
 eta := etas[3];;
 six := Source( eta );;
 thirtyfive := CokernelObject( eta );;

examples/CategoryOfRepresentations.g

@@ -159,7 +159,7 @@ Display( nine(kq.b) );
 #! A morphism in Category of matrices over GF(3)
 IsWellDefined( nine );
 #! true
-Length( WeakDirectSumDecomposition( nine ) );
+Length( WeakDirectSumDecompositionOld( nine ) );
 #! 1
 fortyone := TensorProductOnObjects( nine, nine );
 #! <(1)->25, (2)->16; (a)->25x25, (b)->25x16, (c)->16x16>
@@ -266,7 +266,7 @@ Display( fortyone );
 #!  . . . . . . . . . . . . . . . 1
 #! 
 #! A morphism in Category of matrices over GF(3)
-etas := WeakDirectSumDecomposition( fortyone );;
+etas := WeakDirectSumDecompositionOld( fortyone );;
 dec := List( etas, eta -> List( SetOfObjects( kq ),
              o -> Dimension( Source( UnderlyingCapTwoCategoryCell( eta )( o ) ) ) ) );
 #! [ [ 3, 0 ], [ 3, 1 ], [ 3, 3 ], [ 3, 3 ], [ 0, 3 ],

examples/RepresentingC4C4.g

@@ -165,7 +165,7 @@ Display( eleven );
 #! . . . . 1
 #!
 #! A morphism in Category of matrices over GF(3)
-gammas := WeakDirectSumDecomposition( eleven );
+gammas := WeakDirectSumDecompositionOld( eleven );
 #! [ <(1)->1x6, (2)->0x5>, <(1)->1x6, (2)->1x5>, <(1)->1x6, (2)->1x5>,
 #!  <(1)->2x6, (2)->0x5>, <(1)->0x6, (2)->2x5>, <(1)->1x6, (2)->1x5> ]
 #! @EndExample

gap/CatRepsWithCAP.gd

@@ -130,7 +130,7 @@ DeclareOperation( "EmbeddingOfSubRepresentation",
 #!  the direct sum thereof is isomorphic to <A>F</A>.
 #! @Arguments F
 #! @Returns a list
-DeclareOperation( "WeakDirectSumDecomposition",
+DeclareOperation( "WeakDirectSumDecompositionOld",
         [ IsCapCategoryObjectInHomCategory ] );
 
 ####################################

gap/CatRepsWithCAP.gi

@@ -321,7 +321,7 @@ InstallMethod( EmbeddingOfSubRepresentation,
 end );
 
 ##
-InstallMethod( WeakDirectSumDecomposition,
+InstallMethod( WeakDirectSumDecompositionOld,
         "for an object in a Hom-category",
         [ IsCapCategoryObjectInHomCategory ],