kalmar/Groups.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2025-01-06 21:00:29 +01:00
Code Issues Releases Wiki Activity

no need for ispermauto function

Browse Source 
handled easily by isa(..., PermAut)
This commit is contained in:
kalmarek 2017-10-27 16:15:33 +02:00
parent 5c14edc53c
commit 5945462d45
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/AutGroup.jl
View File

@ -274,7 +274,6 @@ inv(f::AutSymbol) = change_pow(f, -f.pow)
# #
############################################################################### ###############################################################################
ispermauto(s::AutSymbol) = s.ex.args[1] == :σ
function getperm(s::AutSymbol) function getperm(s::AutSymbol)
isa(s.typ, PermAut) || throw("$s is not a permutation automorphism") isa(s.typ, PermAut) || throw("$s is not a permutation automorphism")
return s.typ.p return s.typ.p
@ -284,12 +283,13 @@ function simplify_perms!(W::AutGroupElem)
reduced = true reduced = true
for i in 1:length(W.symbols) - 1 for i in 1:length(W.symbols) - 1
current = W.symbols[i] current = W.symbols[i]
if ispermauto(current) if isa(current.typ, PermAut)
if current.pow != 1
current = perm_autsymbol(perm(current), pow=current.pow)
end
next_s = W.symbols[i+1] next_s = W.symbols[i+1]
if ispermauto(next_s) if isa(next_s.typ, PermAut)
if current.pow != 1
current = perm_autsymbol(perm(current), pow=current.pow)
end
reduced = false reduced = false
if next_s.pow != 1 if next_s.pow != 1
next_s = perm_autsymbol(perm(next_s), pow=next_s.pow) next_s = perm_autsymbol(perm(next_s), pow=next_s.pow)