Rename DirectSumProjectionInPushout

to PushoutProjectionFromDirectSum

Author: Tom Kuhmichel

AttributeCategoryForCAP/gap/AttributeCategory.gi

@@ -532,15 +532,15 @@ InstallGlobalFunction( CAP_INTERNAL_DERIVE_STRUCTURE_FUNCTIONS_OF_UNIVERSAL_OBJE
         end );
 
         derivation_record.Pushout := rec(
-          uses := [ "DirectSumProjectionInPushout", "DirectSum" ],
+          uses := [ "PushoutProjectionFromDirectSum", "DirectSum" ],
           derivation := function( diagram, pushout )
               local underlying_diagram, direct_sum_diagram;
 
               underlying_diagram := List( diagram, UnderlyingCell );
 
               direct_sum_diagram := List( diagram, Range );
 
-              return colift_operation( DirectSumProjectionInPushout( underlying_diagram ),
+              return colift_operation( PushoutProjectionFromDirectSum( underlying_diagram ),
                                        DirectSum( direct_sum_diagram ) );
 
         end );

CAP/examples/VectorSpacesFinalizeTest.g

@@ -150,7 +150,7 @@ AddKernelLift( vecspaces,
 
 end );
 
-## Methods needed for DirectSumProjectionInPushout
+## Methods needed for PushoutProjectionFromDirectSum
 
 ##
 AddCokernelObject( vecspaces,