Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add IsQuasisimpleGroup, IsQuasisimpleCharacterTable #4653

Merged
merged 4 commits into from
Sep 18, 2021
Merged

Add IsQuasisimpleGroup, IsQuasisimpleCharacterTable #4653

merged 4 commits into from
Sep 18, 2021

Commits on Sep 12, 2021

  1. added IsQuasisimpleGroup, IsQuasisimpleCharacterTable 

    and fixed a bug due to a wrong implication (which apparently nobody has noticed up to now)
    @ThomasBreuer
    ThomasBreuer committed Sep 12, 2021
    Configuration menu
    Copy the full SHA
    bddb816 View commit details
    Browse the repository at this point in the history

Commits on Sep 14, 2021

  1. fixed two differences in manual tests 

    (This commit covers just the obvious fixes, not the difference mentioned in issue gap-system#4656.)
    @ThomasBreuer
    ThomasBreuer committed Sep 14, 2021
    Configuration menu
    Copy the full SHA
    f3374a6 View commit details
    Browse the repository at this point in the history

Commits on Sep 18, 2021

  1. Fix another spurious test failure

    @fingolfin
    fingolfin committed Sep 18, 2021
    Configuration menu
    Copy the full SHA
    4c87f52 View commit details
    Browse the repository at this point in the history

  2. made two more manual examples more robust 

    One of them (an example for `NormalSubgroups`) was failing in the CI tests,
the other (an example for `CharacteristicSubgroups`) was not (yet) failing
but it was clearly intended to be viewed together with the first one.
    @ThomasBreuer
    ThomasBreuer committed Sep 18, 2021
    Configuration menu
    Copy the full SHA
    61cb21f View commit details
    Browse the repository at this point in the history