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

Added the missing perfect groups of order up to a million #3925

Merged
merged 4 commits into from
Oct 1, 2020
Merged

Added the missing perfect groups of order up to a million #3925

merged 4 commits into from
Oct 1, 2020

Commits on Sep 30, 2020

  1. PERFECT: Added perfect groups of order 61440-983040 

    Remove the `notAvailable` component of `PerfectGroup`
    @hulpke
    hulpke committed Sep 30, 2020
    Configuration menu
    Copy the full SHA
    53fa25b View commit details
    Browse the repository at this point in the history

Commits on Oct 1, 2020

  1. PERFECT: Documentation, test, Access functions for new groups 

    Basic test of creating new groups (reading files in)

Removed constructing all perfect groups, as this will be longer now

Remove now pointless tests that checked for the discrepancy between claimed
list (up to 10^6) and existing data.
    @hulpke
    hulpke committed Oct 1, 2020
    Configuration menu
    Copy the full SHA
    67eb5e6 View commit details
    Browse the repository at this point in the history

  2. PERFECT: Five new groups overlooked in Holt/Plesken. 

    Two perfect groups of orders 243000, and one each of order 729000, 871200 and 878460.
They are clearly new by number of conjugacy classes and minimal failthful permdegrees.
    @hulpke
    hulpke committed Oct 1, 2020
    Configuration menu
    Copy the full SHA
    de83168 View commit details
    Browse the repository at this point in the history

  3. PERFECT: Updated 491520 and 983040

    @hulpke
    hulpke committed Oct 1, 2020
    Configuration menu
    Copy the full SHA
    1b19738 View commit details
    Browse the repository at this point in the history