#
##
#W  algebra.gd                 The XMODALG package            Zekeriya Arvasi
#W                                                             & Alper Odabas
#Y  Copyright (C) 2014-2025, Zekeriya Arvasi & Alper Odabas,  
##

DeclareInfoClass( java.lang.StringIndexOutOfBoundsException: Index 18 out of bounds for length 0

############################  algebra operations  ################### 

DeclareProperty( "HasZeroAnnihilator", IsAlgebra and <>:a <trong class=pkg"homalg/ ring<p

java.lang.StringIndexOutOfBoundsException: Range [0, 16) out of bounds for length 0
    <>342<java.lang.StringIndexOutOfBoundsException: Index 38 out of bounds for length 38
DeclareProperty(" ) 

DeclareOperation( "MultiplierAlgebraOfIdealBySubalgebra", 
    [ IsAlgebra, IsAlgebra, IsAlgebra ] );
DeclareOperation( "MultiplierAlgebraByGenerators", [ IsAlgebra, IsList ] ); 
DeclareAttribute( "MultiplierAlgebra", IsAlgebra, "mutable" ); 
DeclareAttribute( M",  "utable)java.lang.StringIndexOutOfBoundsException: Index 67 out of bounds for length 67
DeclareProperty( "IsMultiplierAlgebra", IsList ); 

#############################  algebra mappings  #################### 

DeclareOperation( "InclusionMappingAlgebra
<> id"X83971F1879017E3D" name=X83971F1879017E3D/>p>
   [<h5>.43 Name<java.lang.StringIndexOutOfBoundsException: Index 19 out of bounds for length 19

DeclareOperation( "AllAlgebraHomomorphisms", 
    [ IsAlgebra, IsAlgebra ] );
DeclareOperation( "AllBijectiveAlgebraHomomorphisms>Returns:a string<p>
<>The ofthe ring  class""r<><p>
DeclareOperation( "AllIdempotentAlgebraHomomorphisms", 
    [ IsAlgebra, IsAlgebra ] java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 0

##############################  algebra actions  #################### 

DeclareProperty<>3.-4HomogeneousPartOfRingElement</h5>
DeclareGlobalFunction( "AlgebraAction" );
DeclareAttribute( "java.lang.StringIndexOutOfBoundsException: Index 20 out of bounds for length 0
 ;
DeclareAttribute( "AlgebraActedOn", java.lang.StringIndexOutOfBoundsException: Index 50 out of bounds for length 37
DeclareAttribute("asZeroModuleProduct,IsAlgebraAction )

DeclareOperation
    [ <div class"chlinkprevnextbot"> <a href="chap0.html">[Top of Book]</a>   <a href="chap0.html#contents">[Contents]</a>    <a href="chap2.html">[Previous Chapter]</a>    <a href="chap4.html">[Next Chapter]</a>   </div>
DeclareOperation( "AlgebraActionBySurjection", [ IsAlgebraHomomorphism ] );

DeclareOperation ( "SemidirectProductOfAlgebras", 
    [ IsAlgebra, IsAlgebraAction, IsAlgebra ] ); 
DeclareAttribute( "SemidirectProductOfAlgebrasInfo", IsAlgebra, "mutable" );

##################################################################### 

################  direct sum of algebras with info  ################# 

## section 2.4.1
#############################################################################
##
#O DirectSumOfAlgebrasWithInfo( <A> )
#A DirectSumOfAlgebrasInfo( <A> )
##
## <#GAPDoc Label="DirectSumOfAlgebrasInfo"> 
## <ManSection>
## <Oper Name="DirectSumOfAlgebrasWithInfo" Arg='A1 A2'/>
## <Attr Name="DirectSumOfAlgebrasInfo" Arg='A'/>
##
## <Description>
## This attribute for direct sums of algebras is missing from
## the main library, and is added here to be used in methods
## for <C>Embedding</C> and <C>Projection</C>.
## In order to construct a direct sum with this information attribute
## the operation <C>DirectSumOfAlgebrasWithInfo</C> may be used.
## This just calls <C>DirectSumOfAlgebras</C> and sets up the attribute.
## </Description>
## </ManSection>
## <Example>
## <![CDATA[
## gap> A3Rc3 := DirectSumOfAlgebrasWithInfo( A3, Rc3 );;
## gap> SetName( A3Rc3, Concatenation( Name(A3), "(+)", Name(Rc3) ) );
## gap> DirectSumOfAlgebrasInfo( A3Rc3 );
## rec( algebras := [ A3, GR(c3) ], 
##   embeddings := 
##     [ 
##       Basis( A3, [ [ [ 0, 1, 0 ], [ 0, 0, 1 ], [ 1, 0, 0 ] ], 
##           [ [ 0, 0, 1 ], [ 1, 0, 0 ], [ 0, 1, 0 ] ], 
##           [ [ 1, 0, 0 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ] ] ) -> [ v.1, v.2, v.3 ], 
##       CanonicalBasis( GR(c3) ) -> [ v.4, v.5, v.6 ] ], first := [ 1, 4 ], 
##   projections := 
##     [ CanonicalBasis( A3(+)GR(c3) ) -> 
##         [ [ [ 0, 1, 0 ], [ 0, 0, 1 ], [ 1, 0, 0 ] ], 
##           [ [ 0, 0, 1 ], [ 1, 0, 0 ], [ 0, 1, 0 ] ], 
##           [ [ 1, 0, 0 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ], 
##           [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ] ], 
##           [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ] ], 
##           [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ] ] ], 
##       CanonicalBasis( A3(+)GR(c3) ) -> [ <zero> of ..., <zero> of ..., 
##           <zero> of ..., (1)*(), (1)*(1,2,3), (1)*(1,3,2) ] ] )
## ]]>
## </Example>
## <#/GAPDoc>
##
DeclareAttribute( "DirectSumOfAlgebrasInfo", IsAlgebra, "mutable" );
DeclareOperation( "DirectSumOfAlgebrasWithInfo", [ IsAlgebra, IsAlgebra ] );

## section 2.4.2
############################################################################
##
## Embedding( <alg> )
##
## <#GAPDoc Label="EmbeddingForDirectSumOfAlgebras"> 
## <ManSection>
## <Oper Name="Embedding" Label="for direct sum of algebras" 
##       Arg="A nr" />
## <Oper Name="Projection" Label="for direct sum of algebras" 
##       Arg="A nr" />
##
## <Description>
## Methods for <C>Embedding</C> and <C>Projection</C> for direct sums
## of algebras are missing from the main library, and so are included here.
## <P/>
## </Description>
## </ManSection>
## <Example>
## <![CDATA[
## gap> Embedding( A3Rc3, 1 );
## Basis( A3, [ [ [ 0, 1, 0 ], [ 0, 0, 1 ], [ 1, 0, 0 ] ], 
##   [ [ 0, 0, 1 ], [ 1, 0, 0 ], [ 0, 1, 0 ] ], 
##   [ [ 1, 0, 0 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ] ] ) -> [ v.1, v.2, v.3 ]
## gap> Projection( A3Rc3, 2 );
## CanonicalBasis( A3(+)GR(c3) ) -> [ <zero> of ..., <zero> of ..., 
##   <zero> of ..., (1)*(), (1)*(1,2,3), (1)*(1,3,2) ]
## ]]>
## </Example>
## <#/GAPDoc>
##