IsMinimalNonmonomial( G )
returns true
if the solvable group G is a minimal nonmonomial group,
and false
otherwise.
A group is called minimal nonmonomial if it is nonmonomial,
and all proper subgroups and factor groups are monomial.
The solvable minimal nonmonomial groups were classified by van der Waall (see~vdW76).
gap> IsMinimalNonmonomial( Sl23 ); true gap> IsMinimalNonmonomial( S4 ); false
GAP 3.4.4