kalmar/Groups.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2024-12-25 02:05:30 +01:00
Code Issues Releases Wiki Activity

but it makes more sense to define word for abstract GWords

Browse Source
This commit is contained in:
kalmar 2017-05-11 17:49:56 +02:00
parent 711d7dec12
commit 7b564d5e89
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Groups.jl
View File

@ -36,12 +36,10 @@ GWord{T<:GSymbol}(s::T) = GWord{T}([s])
convert{T<:GSymbol, W<:Word}(::Type{W}, s::T) = GWord{T}(s) convert{T<:GSymbol, W<:Word}(::Type{W}, s::T) = GWord{T}(s)
function length(W::GWord)
return sum([abs(s.pow) for s in W.symbols])
end
end end
length(W::GWord) = sum([length(s) for s in W.symbols])
function join_free_symbols!(W::GWord) function join_free_symbols!(W::GWord)
reduced = true reduced = true