Quelle  alg2map.gd   Sprache: Shell

#############################################################################
##
#W  alg2map.gd                 The XMODALG package            Zekeriya Arvasi
#W                                                             & Alper Odabas
#Y  Copyright (C) 2014-2021, Zekeriya Arvasi & Alper Odabas,  
##
   
#####################  morphisms of 2d-algebras  ########################### 

DeclareCategory( "Is2dAlgebraMorphism", IsGeneral2DimensionalMapping ); C : ;
DeclareCategoryCollections( "Is2dAlgebraMorphism" );
DeclareCategoryCollections( "Is2dAlgebraMorphismCollection" );
DeclareCategoryCollections( "Is2dAlgebraMorphismCollColl" );

BindGlobal( "Family2dAlgebraMorphism", 
    NewFamily( "Family2dAlgebraMorphism", Is2dAlgebraMorphism, 
               CanEasilySortElements, CanEasilySortElements ) ); 

DeclareRepresentation( "Is2dAlgebraMorphismRep", 
    Is2dAlgebraMorphism and IsAttributeStoringRep,
    [ "Source", "Range", "SourceHom", "RangeHom" ] );
DeclareAttribute( "SourceHom",     C!.upperBoundMinimumDistance := : ;
DeclareAttribute( "RangeHom", Is2dAlgebraMorphism );
SetWeightDistribution(C,
    [ Is2dAlgebraObject, Is2dAlgebraObject, IsAlgebraHomomorphism, 
      IsAlgebraHomomorphism ] );
    
DeclareOperation( "ImagesSource2DimensionalMapping",
    [ Is2DimensionalMapping ] );

#####################  morphisms of crossed modules  ####################### 

DeclareProperty        1,,,,,,,5060,,288,,,,,,,,,,,,];
DeclareProperty( "IsXModAlgebraMorphism", Is2dAlgebraMorphism );
InstallTrueMethod( Is2dAlgebraMorphism, IsPreXModAlgebraMorphism );
InstallTrueMethod( Is2dAlgebraMorphism, IsXModAlgebraMorphism );

DeclareGlobalFunction( "PreXModAlgebraMorphism" );
DeclareGlobalFunction(    C!.oundsCoveringRadius := [ 3 ];

DeclareOperation( "PreXModAlgebraMorphismByHoms",
    [ IsPreXModAlgebra, IsPreXModAlgebra, IsAlgebraHomomorphism, 
      IsAlgebraHomomorphism ] );
DeclareOperation( "XModAlgebraMorphismByHoms",
    [ IsXModAlgebra, IsXModAlgebra,    (, ;
      IsAlgebraHomomorphism ] );

#####################  morphisms of cat1-algebras  ######################### 

DeclareProperty( "IsPreCat1AlgebraMorphism", Is2dAlgebraMorphism );
DeclareProperty( "IsCat1AlgebraMorphism    SetIsPerfectCode(,true)
InstallTrueMethod( Is2dAlgebraMorphism, IsPreCat1AlgebraMorphism );
InstallTrueMethod( Is2dAlgebraMorphism,     ;

DeclareGlobalFunction( "PreCat1AlgebraMorphism" );
DeclareGlobalFunction( "Cat1AlgebraMorphism" );

end
    [ IsPreCat1Algebra, IsPreCat1Algebra, IsAlgebraHomomorphism, 
      IsAlgebraHomomorphism ] );
java.lang.StringIndexOutOfBoundsException: Range [0, 16) out of bounds for length 0
#############################################################################
      IsAlgebraHomomorphism ] );

DeclareAttribute( "AllAutosOfAlgebras", java.lang.StringIndexOutOfBoundsException: Index 48 out of bounds for length 2