DeclareProperty( "IsIrreducibleHWModule", IsAlgebraModule );

DeclareAttribute( "HighestWeight", IsAlgebraModule );

DeclareAttribute( "HighestWeightVector", IsAlgebraModule );

DeclareOperation( "IsomorphismOfIrreducibleHWModules", [ IsAlgebraModule,
     IsAlgebraModule ] );

DeclareOperation( "DisplayHighestWeight", [IsAlgebraModule] );

DeclareOperation( "DisplayDynkinDiagram", [IsMatrix] );

