mirror of
https://github.com/kalmarek/Groups.jl.git
synced 2024-10-19 08:05:36 +02:00
rename join_free_symbol to free_reduce
This commit is contained in:
parent
7b564d5e89
commit
12cf72b476
@ -41,7 +41,7 @@ convert{T<:GSymbol, W<:Word}(::Type{W}, s::T) = GWord{T}(s)
|
|||||||
end
|
end
|
||||||
length(W::GWord) = sum([length(s) for s in W.symbols])
|
length(W::GWord) = sum([length(s) for s in W.symbols])
|
||||||
|
|
||||||
function join_free_symbols!(W::GWord)
|
function free_reduce!(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].gen == W.symbols[i+1].gen
|
if W.symbols[i].gen == W.symbols[i+1].gen
|
||||||
@ -61,7 +61,7 @@ function reduce!{T}(W::GWord{T})
|
|||||||
else
|
else
|
||||||
reduced = false
|
reduced = false
|
||||||
while !reduced
|
while !reduced
|
||||||
reduced = join_free_symbols!(W)
|
reduced = free_reduce!(W)
|
||||||
deleteat!(W.symbols, find(x -> x.pow == 0, W.symbols))
|
deleteat!(W.symbols, find(x -> x.pow == 0, W.symbols))
|
||||||
end
|
end
|
||||||
end
|
end
|
||||||
|
Loading…
Reference in New Issue
Block a user