> As a workaround I use GG.embeddings resp. GG.projections.
The embeddings and projections are bound to <GG>.embeddings and
<GG>.projections but there is no 'SemidirectProductAgGroupOps'
operations record at the moment, so that 'Projection' and 'Embedding'
will indeed not work.

best wishes
Frank Celler