##############################################################################
##
#A corelgRealWG( <L> )
##
##
DeclareAttribute( "corelgRealWG", IsLieAlgebra );
##############################################################################
##
#F RealWeylGroup( <L> )
#F RealWeylGroup( <L>, <H> )
##
##
DeclareGlobalFunction( "RealWeylGroup" );
[ Dauer der Verarbeitung: 0.12 Sekunden
(vorverarbeitet)
]