##############################################################################
##
#W  util.gd                    GAP4 package `XMod'               Chris Wensley
##
#H  @(#)Id: "gpd/gap/util.gd", v.1.05 2008/11/14 
##
##  Declaration file for utility functions in both Gpd and XMod packages.
##
Revision.("gpd/gap/util_gd") :=
             "@(#)$Id: util.gd,v 1.05 2008/11/14 gap Exp $";

#############################################################################
##
#A  IdentitySubgroup( <G> )
##
DeclareAttribute( "IdentitySubgroup", IsGroup );

#############################################################################
##
#O  GroupHomomorphismByImagesTriv( <G>, <H>, <gens>, <imgs> ) 
#O  InclusionMappingGroups( <G>, <H> )
#O  RestrictionMappingGroups( <hom>, <src>, <rng> )
#O  MappingToOne( <G>, <H> );
##
DeclareOperation( "GroupHomomorphismByImagesTriv", 
    [ IsGroup, IsGroup, IsList, IsList ] );
DeclareOperation( "InclusionMappingGroups", [ IsGroup, IsGroup ] );
DeclareOperation( "RestrictionMappingGroups", 
    [ IsGroupHomomorphism, IsGroup, IsGroup ] );
DeclareOperation( "MappingToOne", [ IsGroup, IsGroup ] );

#############################################################################
##
#E  util.gd . . . . . . . . . . . . . . . . . . . . . . . . . . . . ends here
##  