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

AutSymbol evaluation -- much simpler

Browse Source 
due to automorphism type carried as an attribute
This commit is contained in:
kalmarek 2017-10-27 16:12:28 +02:00
parent 3d2bc63723
commit 0144c49372
1 changed files with 6 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
src/AutGroup.jl
View File

@ -187,23 +187,11 @@ end
function (f::AutSymbol){T}(v::Vector{GWord{T}})
if f.pow == 0
return v
end
if f.ex == :(id())
func = identity(v)
elseif f.ex.args[1] == :ϱ
func = ϱ(f.ex.args[2], f.ex.args[3], f.pow)
elseif f.ex.args[1] == :λ
func = λ(f.ex.args[2], f.ex.args[3], f.pow)
elseif f.ex.args[1] == :ɛ
func = ɛ(f.ex.args[2], f.pow)
elseif f.ex.args[1] == :σ
g = PermutationGroup(length(f.ex.args[2]))(f.ex.args[2])
func = σ(g, f.ex.args[3])
nothing
else
throw("Unknown AutSymbol!")
v = f.typ(v, f.pow)
end
return func(v)
return v
end
function (F::AutGroupElem)(v::Vector)