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