kalmar/PropertyT.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-09-13 08:35:40 +02:00
Code Issues Releases Wiki Activity

rename reduce! -> freegroup_reduce!

Browse Source
This commit is contained in:
kalmar 2017-01-23 11:25:36 +01:00
parent 31fe54b75b
commit 57a54843d4
1 changed files with 11 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
Groups.jl
View File

@ -78,11 +78,11 @@ function inv{T}(W::GWord{T})
if length(W) == 0 if length(W) == 0
return W return W
else else
return reduceGWord{T}(reverse([inv(s) for s in W.symbols])) return freegroup_reduce!(GWord{T}(reverse([inv(s) for s in W.symbols])))
end end
end end
function free_group_reduction!(W::GWord) function join_free_symbols!(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
@ -96,14 +96,13 @@ function free_group_reduction!(W::GWord)
return reduced return reduced
end end
function reduce!{T}(W::GWord{T}, reduce_func::Function=free_group_reduction!) function freegroup_reduce!{T}(W::GWord{T})
if length(W) < 2 if length(W) < 2
deleteat!(W.symbols, find(x -> x.pow == 0, W.symbols)) deleteat!(W.symbols, find(x -> x.pow == 0, W.symbols))
else else
reduced = false reduced = false
while !reduced while !reduced
reduced = reduce_func(W) reduced = join_free_symbols!(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
@ -113,13 +112,13 @@ function reduce!{T}(W::GWord{T}, reduce_func::Function=free_group_reduction!)
return W return W
end end
reduce(W::GWord) = reduce!(deepcopy(W)) freegroup_reduce(W::GWord) = freegroup_reduce!(deepcopy(W))
hash{T}(W::GWord{T}) = (W.modified && reduce!(W); W.savedhash) hash{T}(W::GWord{T}) = (W.modified && freegroup_reduce!(W); W.savedhash)
function (==){T}(W::GWord{T}, Z::GWord{T}) function (==){T}(W::GWord{T}, Z::GWord{T})
W.modified && reduce!(W) # reduce could actually clear the flag and recalculate the hash W.modified && freegroup_reduce!(W) # reduce could actually clear the flag and recalculate the hash
Z.modified && reduce!(Z) Z.modified && freegroup_reduce!(Z)
return W.savedhash == Z.savedhash && W.symbols == Z.symbols return W.savedhash == Z.savedhash && W.symbols == Z.symbols
end end
@ -136,7 +135,7 @@ function r_multiply!(W::GWord, x; reduced::Bool=true)
push!(W.symbols, x...) push!(W.symbols, x...)
end end
if reduced if reduced
reduce!(W) freegroup_reduce!(W)
end end
return W return W
end end
@ -146,7 +145,7 @@ function l_multiply!(W::GWord, x; reduced::Bool=true)
unshift!(W.symbols, reverse(x)...) unshift!(W.symbols, reverse(x)...)
end end
if reduced if reduced
reduce!(W) freegroup_reduce!(W)
end end
return W return W
end end
@ -184,7 +183,7 @@ function power_by_squaring{T}(x::GWord{T}, p::Integer)
end end
y *= x y *= x
end end
return reduce!(y) return freegroup_reduce!(y)
end end
(^)(x::GWord, n::Integer) = power_by_squaring(x,n) (^)(x::GWord, n::Integer) = power_by_squaring(x,n)