kalmar/Groups.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2024-12-24 18:05:27 +01:00
Code Issues Releases Wiki Activity

update change_pow to the new AutSymbol

Browse Source
This commit is contained in:
kalmarek 2017-10-27 16:14:28 +02:00
parent 329e481d24
commit 5c14edc53c
1 changed files with 11 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
src/AutGroup.jl
View File

@ -209,22 +209,20 @@ function change_pow(s::AutSymbol, n::Int)
if n == 0
return id_autsymbol()
end
symbol = s.ex.args[1]
if symbol == :ɛ
return flip_autsymbol(s.ex.args[2], pow=n)
elseif symbol == :σ
G = PermutationGroup(length(s.ex.args[2]))
return perm_autsymbol(G(s.ex.args[2]), pow=n)
elseif symbol == :ϱ
s.ex.args[2:end-1]
return rmul_autsymbol(s.ex.args[2:end-1]..., pow=n)
elseif symbol == :λ
return lmul_autsymbol(s.ex.args[2:end-1]..., pow=n)
elseif symbol == :id
symbol = s.typ
if isa(symbol, FlipAut)
return flip_autsymbol(symbol.i, pow=n)
elseif isa(symbol, PermAut)
return perm_autsymbol(symbol.p, pow=n)
elseif isa(symbol, RTransvect)
return rmul_autsymbol(symbol.i, symbol.j, pow=n)
elseif isa(symbol, LTransvect)
return lmul_autsymbol(symbol.i, symbol.j, pow=n)
elseif isa(symbol, Identity)
return s
else
warn("Changing power of an unknown type of symbol! $s")
return AutSymbol(s.str, n, s.ex)
return AutSymbol(s.str, n, s.typ)
end
end