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

add subscriptify

Browse Source
This commit is contained in:
kalmar 2017-04-18 13:17:48 +02:00
parent c9c52f3182
commit 9ac3fa3dfb
1 changed files with 11 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
src/automorphism_groups.jl
View File

@ -72,18 +72,25 @@ end
ɛ(i, pow=1) = v -> [(k==i ? v[k]^(-1*(2+pow%2)%2) : v[k]) for k in eachindex(v)] ɛ(i, pow=1) = v -> [(k==i ? v[k]^(-1*(2+pow%2)%2) : v[k]) for k in eachindex(v)]
# taken from ValidatedNumerics
function subscriptify(n::Int)
dig = reverse(digits(n))
subscript_0 = Int('₀') # 0x2080
join([Char(subscript_0 + i) for i in dig])
end
function rmul_AutSymbol(i,j; pow::Int=1) function rmul_AutSymbol(i,j; pow::Int=1)
gen = string('ϱ',Char(8320+i), Char(8320+j)...) gen = "ϱ"*subscriptify(i)*subscriptify(j)
return AutSymbol(gen, pow, :(ϱ($i,$j, $pow)), ϱ(i,j, pow)) return AutSymbol(gen, pow, :(ϱ($i,$j, $pow)), ϱ(i,j, pow))
end end
function lmul_AutSymbol(i,j; pow::Int=1) function lmul_AutSymbol(i,j; pow::Int=1)
gen = string('λ',Char(8320+i), Char(8320+j)...) gen = "λ"*subscriptify(i)*subscriptify(j)
return AutSymbol(gen, pow, :(λ($i,$j, $pow)), λ(i,j, pow)) return AutSymbol(gen, pow, :(λ($i,$j, $pow)), λ(i,j, pow))
end end
function flip_AutSymbol(j; pow::Int=1) function flip_AutSymbol(j; pow::Int=1)
gen = string('ɛ', Char(8320 + j)) gen = "ɛ"*subscriptify(j)
return AutSymbol(gen, (2+pow%2)%2, :(ɛ($j, $pow)), ɛ(j,pow)) return AutSymbol(gen, (2+pow%2)%2, :(ɛ($j, $pow)), ɛ(j,pow))
end end
@ -96,7 +103,7 @@ function symmetric_AutSymbol(perm::Vector{Int}; pow::Int=1)
if p == collect(1:length(p)) if p == collect(1:length(p))
return one(AutSymbol) return one(AutSymbol)
else else
gen = string('σ', [Char(8320 + i) for i in p]...) gen = "σ"*join([subscriptify(i) for i in p])
return AutSymbol(gen, 1, :(σ($p, 1)), σ(p, 1)) return AutSymbol(gen, 1, :(σ($p, 1)), σ(p, 1))
end end
end end