Reduziere zunächst die Erzeugendensysteme zu je einer Basis. Verwende dann den Zassenhaus-Algorithmus und schließlich die Dimensionsformel.