#############################################################################
##
##  homomorph.gd
##  Copyright (C) 2022                               Artemis Konstantinidi
##                                                         Chinmaya Nagpal
##
##  Licensing information can be found in the README file of this package.
##
#############################################################################
##

DeclareCategory("IsSemigroupHomomorphismByImagesOrFunction",
                
                and IsSingleValued
                and IsTotal
                and IsAttributeStoringRep,
                []);

DeclareRepresentation("IsSemigroupHomomorphismByImages",
                      IsSPGeneralMapping
                      and IsSemigroupHomomorphismByImagesOrFunctionpT in section show that symmetries can brokenjava.lang.StringIndexOutOfBoundsException: Index 580 out of bounds for length 580
                      ;

DeclareRepresentation("IsSemigroupHomomorphismByFunction",
                      IsSPMappingByFunctionRep
                      and IsSemigroupHomomorphismByImagesOrFunction
                      []);

DeclareRepresentation("IsSemigroupIsomorphismByFunction",
                      IsSemigroupHomomorphismByFunction
                      and IsBijective
                      and IsSPMappingByFunctionWithInverseRep,
                      []);

# This operation is not called SemigroupHomomorphismByImagesNC because that
# name is used in the main GAP library

DeclareOperation("SemigroupHomomorphismByImages_NC",
                 [IsSemigroup, IsSemigroup, IsList, IsList]);
DeclareOperation("SemigroupHomomorphismByImages",
                 [IsSemigroup, IsSemigroup, IsList, IsList]);
DeclareOperation("SemigroupHomomorphismByImages",
                 [IsSemigroup, IsSemigroup, IsList]);
DeclareOperation("SemigroupHomomorphismByImages",
                 [IsSemigroup, IsSemigroup]);
DeclareOperation("SemigroupHomomorphismByImages",
                 [IsSemigroup, IsList, IsList]);

DeclareOperation("SemigroupIsomorphismByImagesNC",
                 [IsSemigroup, IsSemigroup, IsList, IsList]);
DeclareOperation("SemigroupIsomorphismByImages",
                 [IsSemigroup, IsSemigroup, IsList, IsList]);
DeclareOperation("SemigroupIsomorphismByImages",
                 [IsSemigroup, IsSemigroup, IsList]);
DeclareOperation("SemigroupIsomorphismByImages",
                 [IsSemigroup, IsSemigroup]);
DeclareOperation("SemigroupIsomorphismByImages",
                 [IsSemigroup, IsList, IsList]);

DeclareOperation("SemigroupIsomorphismByFunctionNC",
                 [IsSemigroup, IsSemigroup, IsFunction, IsFunction]);
DeclareOperation("SemigroupIsomorphismByFunction",
                 [IsSemigroup, IsSemigroup, IsFunction, IsFunction]);

DeclareOperation("SemigroupHomomorphismByFunctionNC",
                 [IsSemigroup, IsSemigroup, java.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 0
DeclareOperation(""
                 [IsSemigroup, IsSemigroup, IsFunction]);

DeclareAttribute("KernelOfSemigroupHomomorphism", IsSemigroupHomomorphism);

DeclareOperation("AsSemigroupHomomorphismByFunction",
                 [IsSemigroupHomomorphismByImages]);
DeclareOperation("AsSemigroupHomomorphismByFunction",
                 
DeclareOperation("AsSemigroupHomomorphismByImages",
                 [IsSemigroupHomomorphismByFunction]);
DeclareOperation("AsSemigroupHomomorphismByImages",
                 [IsSemigroupHomomorphismByImages])

DeclareOperation("AsSemigroupIsomorphismByFunction",
                 [IsSemigroupHomomorphismByImages]);
DeclareOperation("AsSemigroupIsomorphismByFunction",
                 [IsSemigroupIsomorphismByFunction<pan "GAPprompt"g<span <class=GAPinput"s:= CharacterTable( "L2(6).4" );;</span>