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.

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

Fix a rare error message in isomorphism test #5298

Merged
merged 5 commits into from
Jan 10, 2023
Merged

Commits on Jan 10, 2023

  1. ENHANCE: Use permrep of cosets for ctblgrp

    Double cosets in Dixon-Schneider can use coset perm action, if degree is
    small
    hulpke authored and fingolfin committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    e4464bf View commit details
    Browse the repository at this point in the history
  2. ENHANCE: FittingFreeSubgroupSetup cache and method

    use presentation for factor and closure, rather than coKernelGenerators.
    This requires fewer products in preimage.
    hulpke authored and fingolfin committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    98c450a View commit details
    Browse the repository at this point in the history
  3. FIX: Isomorphism test series not fixed

    when inserting certain subgroups. This fixes a bug reported by B. Sambale in
    the forum on 12/24/2022
    hulpke authored and fingolfin committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    6baf461 View commit details
    Browse the repository at this point in the history
  4. FIX: Mixed factor group representation

    can lead no natural homomorphism into formal direct product, not efficient.
    hulpke authored and fingolfin committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    bd7574b View commit details
    Browse the repository at this point in the history
  5. ENHANCE: Better permrep for pc groups

    This is relevant when forming factor groups as subdirect products.
    hulpke authored and fingolfin committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    0fc847c View commit details
    Browse the repository at this point in the history