mirror of
https://github.com/kalmarek/PropertyT.jl.git
synced 2024-09-18 09:38:00 +02:00
make pow a keyword argument for all primitive AutSymbols
This commit is contained in:
parent
cb5b70c74d
commit
9eeeb452f0
16
AutGroups.jl
16
AutGroups.jl
@ -43,22 +43,28 @@ function change_pow(s::AutSymbol, n::Int)
|
|||||||
end
|
end
|
||||||
end
|
end
|
||||||
|
|
||||||
function rmul_AutSymbol(i,j, pow::Int=1)
|
inv(f::AutSymbol) = change_pow(f, -1*f.pow)
|
||||||
|
(^)(s::AutSymbol, n::Integer) = change_pow(s, s.pow*n)
|
||||||
|
|
||||||
|
function rmul_AutSymbol(i,j; pow::Int=1)
|
||||||
gen = string('ϱ',Char(8320+i), Char(8320+j)...)
|
gen = string('ϱ',Char(8320+i), Char(8320+j)...)
|
||||||
return AutSymbol(gen, pow, :(ϱ($i,$j)))
|
return AutSymbol(gen, pow, :(ϱ($i,$j)))
|
||||||
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 = string('λ',Char(8320+i), Char(8320+j)...)
|
||||||
return AutSymbol(gen, pow, :(λ($i,$j)))
|
return AutSymbol(gen, pow, :(λ($i,$j)))
|
||||||
end
|
end
|
||||||
|
|
||||||
function flip_AutSymbol(j, pow::Int=1)
|
function flip_AutSymbol(j; pow::Int=1)
|
||||||
gen = string('ɛ', Char(8320 + j))
|
gen = string('ɛ', Char(8320 + j))
|
||||||
return AutSymbol(gen, pow%2, :(ɛ($j)))
|
return AutSymbol(gen, (2+ pow%2)%2, :(ɛ($j)))
|
||||||
end
|
end
|
||||||
|
|
||||||
function symmetric_AutSymbol(perm::Vector{Int}, pow::Int=1)
|
function symmetric_AutSymbol(perm::Vector{Int}; pow::Int=1)
|
||||||
|
# if perm == collect(1:length(perm))
|
||||||
|
# return one(AutSymbol)
|
||||||
|
# end
|
||||||
perm = Permutation(perm)
|
perm = Permutation(perm)
|
||||||
ord = order(perm)
|
ord = order(perm)
|
||||||
pow = pow % ord
|
pow = pow % ord
|
||||||
|
Loading…
Reference in New Issue
Block a user