diff --git a/src/free_groups.jl b/src/free_groups.jl deleted file mode 100644 index feb8a7b..0000000 --- a/src/free_groups.jl +++ /dev/null @@ -1,22 +0,0 @@ -import Base: convert - -export FGSymbol, FGWord - -immutable FGSymbol <: GSymbol - gen::String - pow::Int -end - -(==)(s::FGSymbol, t::FGSymbol) = s.gen == t.gen && s.pow == t.pow -hash(s::FGSymbol, h::UInt) = hash(s.gen, hash(s.pow, hash(:FGSymbol, h))) - -IdSymbol(::Type{FGSymbol}) = FGSymbol("(id)", 0) -FGSymbol(x::String) = FGSymbol(x,1) - -convert(::Type{FGSymbol}, x::String) = FGSymbol(x) -change_pow(s::FGSymbol, n::Int) = (n==0 ? i=one(s) : FGSymbol(s.gen, n)) -inv(s::FGSymbol) = change_pow(s, -s.pow) - -typealias FGWord GWord{FGSymbol} - -FGWord(s::FGSymbol) = FGWord([s])