In Classical groups change IsSOContained to IsOmegaContained

gap-packages / recog

The GAP package recog to collect methods for constructive recognition

https://gap-packages.github.io/recog/

GNU General Public License v3.0

6 stars 14 forks source link

In Classical groups change IsSOContained to IsOmegaContained #225

Open ssiccha opened 3 years ago

ssiccha commented 3 years ago

@aniemeyer told me in a call that we're actually not looking for SOs but for their Omega subgroups. Thus we should rename IsSoContained to IsOmegaContained.