IrreducibleModules
-b
Embedding
Projection
AsField
LieFamily
GroupHomomorphismByImages
VectorSpace
Algebra
--minworkspace
--maxworkspace
--limitworkspace
--readline