mirror of
https://github.com/kalmarek/Groups.jl.git
synced 2024-11-19 06:30:29 +01:00
replace delete_ids! -> deleteids!
This commit is contained in:
parent
c880b51346
commit
f9ede91343
@ -342,7 +342,7 @@ function simplify_perms!(W::Automorphism{N}) where N
|
||||
W.symbols[i+1].typ.perm.d = p
|
||||
end
|
||||
end
|
||||
delete_ids!(W)
|
||||
deleteids!(W)
|
||||
return reduced
|
||||
end
|
||||
|
||||
@ -350,8 +350,8 @@ function reduce!(W::Automorphism)
|
||||
if length(W) == 0
|
||||
return W
|
||||
elseif length(W)< 2
|
||||
delete_ids!(W)
|
||||
W.modified = true
|
||||
deleteids!(W)
|
||||
else
|
||||
reduced = false
|
||||
while !reduced
|
||||
|
@ -105,7 +105,7 @@ end
|
||||
|
||||
length(W::GWord) = sum([length(s) for s in W.symbols])
|
||||
|
||||
function delete_ids!(W::GWord)
|
||||
function deleteids!(W::GWord)
|
||||
to_delete = Int[]
|
||||
for i in 1:length(W.symbols)
|
||||
if W.symbols[i].pow == 0
|
||||
@ -129,13 +129,13 @@ function free_reduce!(W::GWord)
|
||||
W.symbols[i] = change_pow(W.symbols[i], 0)
|
||||
end
|
||||
end
|
||||
delete_ids!(W)
|
||||
deleteids!(W)
|
||||
return reduced
|
||||
end
|
||||
|
||||
function reduce!(W::GWord)
|
||||
if length(W) < 2
|
||||
delete_ids!(W)
|
||||
deleteids!(W)
|
||||
else
|
||||
reduced = false
|
||||
while !reduced
|
||||
|
Loading…
Reference in New Issue
Block a user