MinimalSubGModules( module1, module2 [, max] )
This function should only be applied if IsIrreducible(module1) has
returned
true. module1 and module2 are assumed to be G-modules for the
same group G. MinimalSubGModules computes and returns a list of the
normalised bases of all of the minimal submodules of module2 that are
isomorphic to module1. (These can then be constructed as G-modules,
if required, by calling SubGModule(module2, basis) where basis is
one of these bases.) The optional parameter max should be a positive
integer. If the number of submodules exceeds max, then the procedure is
aborted.
GAP 3.4.4