search

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
802 stars 163 forks source link

Documentation of `ActionHomomorphism` is misleading #3484

Open ssiccha opened 5 years ago

ssiccha commented 5 years ago

The documentation states this homomorphism is a permutation equivalence. Here this can be understood as meaning the return value of ActionHomomorphism. But it is easy to make ActionHomomorphism return a map which is not a permutation equivalence.

fingolfin commented 5 years ago

To make explicit what @ssiccha only hints at: What "permutation equivalence" really refers to the (implicit) permutation equivalence between Sym(Omega) and Sym(|Omega|). That should indeed be clarified.