#############################################################################
##
##  ToolFunctors.gd             Modules package              Mohamed Barakat
##
##  Copyright 2007-2010 Mohamed Barakat, RWTH Aachen
##
##  Declaration stuff for some tool functors.
##
#############################################################################

####################################
#
# global variables:
#
####################################

## TheZeroMorphism
DeclareGlobalFunction( "_Functor_TheZeroMorphism_OnModules" );

DeclareGlobalVariable( "functor_TheZeroMorphism_for_fp_modules" );

## MulMorphism
DeclareGlobalFunction( "_Functor_MulMorphism_OnMaps" );

DeclareGlobalVariable( "functor_MulMorphism_for_maps_of_fg_modules" );

## AddMorphisms
DeclareGlobalFunction( "_Functor_AddMorphisms_OnMaps" );

DeclareGlobalVariable( "functor_AddMorphisms_for_maps_of_fg_modules" );

## SubMorphisms
DeclareGlobalFunction( "_Functor_SubMorphisms_OnMaps" );

DeclareGlobalVariable( "functor_SubMorphisms_for_maps_of_fg_modules" );

## PreCompose
DeclareGlobalFunction( "_Functor_PreCompose_OnMaps" );

DeclareGlobalVariable( "functor_PreCompose_for_maps_of_fg_modules" );

## CoproductMorphism
DeclareGlobalFunction( "_Functor_CoproductMorphism_OnMaps" );

DeclareGlobalVariable( "functor_CoproductMorphism_for_maps_of_fg_modules" );

## ProductMorphism
DeclareGlobalFunction( "_Functor_ProductMorphism_OnMaps" );

DeclareGlobalVariable( "functor_ProductMorphism_for_maps_of_fg_modules" );

## PostDivide
DeclareGlobalFunction( "_Functor_PostDivide_OnMaps" );

DeclareGlobalVariable( "functor_PostDivide_for_maps_of_fg_modules" );

####################################
#
# global functions and operations:
#
####################################

# basic operations:

