mirror of
https://github.com/kalmarek/Groups.jl.git
synced 2024-11-19 06:30:29 +01:00
update getperm
This commit is contained in:
parent
f6f2258629
commit
39d64b7e69
@ -74,11 +74,12 @@ function perm_autsymbol(p::perm; pow::Int=1)
|
||||
end
|
||||
|
||||
function getperm(s::AutSymbol)
|
||||
if s.ex.args[1] == :σ
|
||||
return s.ex.args[2]
|
||||
else
|
||||
throw(ArgumentError("$s is not a permutation automorphism!"))
|
||||
end
|
||||
if s.ex.args[1] == :σ
|
||||
p = s.ex.args[2]
|
||||
return PermutationGroup(length(p))(p)
|
||||
else
|
||||
throw(ArgumentError("$s is not a permutation automorphism!"))
|
||||
end
|
||||
end
|
||||
|
||||
function AutGroup(G::FPGroup; outer=false, special=false)
|
||||
|
Loading…
Reference in New Issue
Block a user