Implementing Generators.minimal_expansion_for().
This produces the minimal expansion of a basis wrta list of  automorphisms, see lemma 4.2.
Renamed Automorphism._minimal_expansion() to _seminormal_form_start_point to make things clearer.