kalmar/GroupsWithPropertyT
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

cosmetic (better message in throws)

Browse Source
This commit is contained in:
kalmar 2017-06-07 19:30:40 +02:00
parent 49c9151a83
commit c38dcb02ed
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
OrbitDecomposition.jl
View File

@ -57,8 +57,8 @@ function elements(F::Nemo.FqNmodFiniteField)
end end
function AutFG_emb(A::AutGroup, g::WreathProductElem) function AutFG_emb(A::AutGroup, g::WreathProductElem)
isa(A.objectGroup, FreeGroup) || throw("Not an Aut(FN)") isa(A.objectGroup, FreeGroup) || throw("Not an Aut(Fₙ)")
parent(g).P.n == length(A.objectGroup.gens) || throw("No natural action of $(parent(g)) on $A") 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] 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)]) elt = reduce(*, [A(Groups.flip_autsymbol(i))^pow for (i,pow) in enumerate(powers)])
Groups.r_multiply!(elt, [Groups.perm_autsymbol(g.p)]) Groups.r_multiply!(elt, [Groups.perm_autsymbol(g.p)])