kalmar/Groups.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2024-10-15 07:20:35 +02:00
Code Issues Releases Wiki Activity

replace free_reduce! -> freereduce!

Browse Source
This commit is contained in:
kalmarek 2018-04-02 18:19:55 +02:00
parent 3ff1f1897e
commit 3ac9231032
3 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/AutGroup.jl
View File

@ -356,7 +356,7 @@ function reduce!(W::Automorphism)
else else
reduced = false reduced = false
while !reduced while !reduced
reduced = simplifyperms!(W) && free_reduce!(W) reduced = simplifyperms!(W) && freereduce!(W)
end end
end end

2
src/FPGroups.jl
View File

@ -150,7 +150,7 @@ function reduce!(W::FPGroupElem)
else else
reduced = false reduced = false
while !reduced while !reduced
reduced = free_reduce!(W) || replace_all!(W, parent(W).rels) reduced = freereduce!(W) || replace_all!(W, parent(W).rels)
end end
end end

4
src/Groups.jl
View File

@ -115,7 +115,7 @@ function deleteids!(W::GWord)
deleteat!(W.symbols, to_delete) deleteat!(W.symbols, to_delete)
end end
function free_reduce!(W::GWord) function freereduce!(W::GWord)
reduced = true reduced = true
for i in 1:length(W.symbols) - 1 for i in 1:length(W.symbols) - 1
if W.symbols[i].pow == 0 if W.symbols[i].pow == 0
@ -139,7 +139,7 @@ function reduce!(W::GWord)
else else
reduced = false reduced = false
while !reduced while !reduced
reduced = free_reduce!(W) reduced = freereduce!(W)
end end
end end