From c38dcb02ed29da141c2b1c61bfefa2fa18b33ae3 Mon Sep 17 00:00:00 2001 From: kalmar Date: Wed, 7 Jun 2017 19:30:40 +0200 Subject: [PATCH] cosmetic (better message in throws) --- OrbitDecomposition.jl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/OrbitDecomposition.jl b/OrbitDecomposition.jl index 33702e4..4ceef3a 100644 --- a/OrbitDecomposition.jl +++ b/OrbitDecomposition.jl @@ -57,8 +57,8 @@ function elements(F::Nemo.FqNmodFiniteField) end function AutFG_emb(A::AutGroup, g::WreathProductElem) - isa(A.objectGroup, FreeGroup) || throw("Not an Aut(FN)") - parent(g).P.n == length(A.objectGroup.gens) || throw("No natural action of $(parent(g)) on $A") + isa(A.objectGroup, FreeGroup) || throw("Not an Aut(Fₙ)") + parent(g).P.n == length(A.objectGroup.gens) || throw("No natural embedding of $(parent(g)) into $A") powers = [(elt == parent(elt)() ? 0: 1) for elt in g.n.elts] elt = reduce(*, [A(Groups.flip_autsymbol(i))^pow for (i,pow) in enumerate(powers)]) Groups.r_multiply!(elt, [Groups.perm_autsymbol(g.p)])