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

ENHANCE: Special redispatch for Nat.Hom.ByNS if group is found out to be finite #3075

Merged
merged 1 commit into from
Dec 2, 2018
Merged

ENHANCE: Special redispatch for Nat.Hom.ByNS if group is found out to be finite #3075

merged 1 commit into from
Dec 2, 2018

Commits on Dec 1, 2018

  1. ENHANCE: Special redispatch for Nat.Hom.ByNS if group is found out to… 

    … be finite

This is needed, as for matrix groups the earlier `NiceMonomorphism` dispatch does not hold.
Test is only done before expesive action search is started, so negligible cost.

Also added redispatches in case the NiceMonomorphism approach is ever removed.

This fixes gap-system#3070

Added testfile
    @hulpke
    hulpke committed Dec 1, 2018
    Configuration menu
    Copy the full SHA
    c17aca1 View commit details
    Browse the repository at this point in the history