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

Fix (rare) wrong result for stabilizer computations #4660

Merged
merged 5 commits into from
Sep 21, 2021
Merged

Fix (rare) wrong result for stabilizer computations #4660

merged 5 commits into from
Sep 21, 2021

Commits on Sep 18, 2021

  1. ENHANCE: DescSubgroupsIterator skips outer automorphisms 

    if they are few and would require maximals of lagbe almost simple group.
    @hulpke
    hulpke committed Sep 18, 2021
    Configuration menu
    Copy the full SHA
    38d4cb4 View commit details
    Browse the repository at this point in the history

  2. ENHANCE: Missing case in normalform for extensions 

    Handle generators/inverses that get killed

Module rules before tails

2-cohom normalform rws *is* created confluent
    @hulpke
    hulpke committed Sep 18, 2021
    Configuration menu
    Copy the full SHA
    1b58da8 View commit details
    Browse the repository at this point in the history

  3. ENHANCE: MaximalAbelianQuotient for subgroup fp quick stop 

    if trivial image
    @hulpke
    hulpke committed Sep 18, 2021
    Configuration menu
    Copy the full SHA
    009b93b View commit details
    Browse the repository at this point in the history

  4. ENHANCE: DixonSplit can take matrix number

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

  5. FIX: Generic stabilizer if order known 

    If the group order is known, the generic orbit stabilizer might stop
enumerating the orbit if one can deduce that it could not grow anymore for
divisibility reasons.

In this case the stabilizer in rare cases might still be too small and need
to be corrected. This was done not fully.

Thsi fixes gap-system#4659
    @hulpke
    hulpke committed Sep 18, 2021
    Configuration menu
    Copy the full SHA
    5fa7980 View commit details
    Browse the repository at this point in the history