diff --git a/lib/algebra.gd b/lib/algebra.gd index 981900b57d..0f9986d494 100644 --- a/lib/algebra.gd +++ b/lib/algebra.gd @@ -581,6 +581,10 @@ DeclareOperation( "ProductSpace", [ IsFreeLeftModule, IsFreeLeftModule ] ); ## If all involved algebras are matrix algebras, and either both are Lie ## algebras or both are associative then the result is again a ## matrix algebra of the appropriate type. +##

+## Experimental methods for Embedding and Projection +## for direct sums of algebras are included in version 1.26 of package +## XModAlg. ## A:= QuaternionAlgebra( Rationals );; ## gap> DirectSumOfAlgebras( [A, A, A] );