gap-system / gap

Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
https://www.gap-system.org
GNU General Public License v2.0
814 stars 161 forks source link

Fix `IsomorphismFpGroup` for perm groups to avoid unexpected errors when e.g. computing preimages #5831

Closed hulpke closed 3 weeks ago

hulpke commented 3 weeks ago

This fixes a bug reported to me by Andries Brouwer on 10/31/24 A homomorphism is created in a way that does not enforce it to be onto.