kalmar/Groups.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2024-09-13 08:25:39 +02:00
Code Issues Releases Wiki Activity

creating AutSymbols

Browse Source
This commit is contained in:
kalmarek 2017-10-27 16:10:37 +02:00
parent 5f224f6713
commit 3d2bc63723
1 changed files with 13 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
src/AutGroup.jl
View File

@ -81,32 +81,36 @@ function subscriptify(n::Int)
end
function id_autsymbol()
return AutSymbol("(id)", 0, :(id()))
return AutSymbol("(id)", 0, Identity())
end
function rmul_autsymbol(i, j; pow::Int=1)
str = "ϱ"*subscriptify(i)*subscriptify(j)
return AutSymbol(str, pow, :(ϱ($i, $j, $pow)))
return AutSymbol(str, pow, RTransvect(i, j))
end
function lmul_autsymbol(i, j; pow::Int=1)
str = "λ"*subscriptify(i)*subscriptify(j)
return AutSymbol(str, pow, :(λ($i, $j, $pow)))
return AutSymbol(str, pow, LTransvect(i, j))
end
function flip_autsymbol(i; pow::Int=1)
str = "ɛ"*subscriptify(i)
pow = (2+pow%2)%2
return AutSymbol(str, pow, :(ɛ($i, $pow)))
if pow == 0
return id_autsymbol()
else
str = "ɛ"*subscriptify(i)
return AutSymbol(str, pow, FlipAut(i))
end
end
function perm_autsymbol(p::perm; pow::Int=1)
p = p^pow
if p == parent(p)()
return id_autsymbol()
return id_autsymbol()
else
p = p^pow
str = "σ"*join([subscriptify(i) for i in p.d])
return AutSymbol(str, 1, :(σ($(p.d), 1)))
str = "σ"*join([subscriptify(i) for i in p.d])
return AutSymbol(str, 1, PermAut(p))
end
end