From 885854896f8d9b39ebcd5c08c7ae0f985215a8cb Mon Sep 17 00:00:00 2001 From: kalmar Date: Wed, 25 Jan 2017 12:18:01 +0100 Subject: [PATCH] =?UTF-8?q?fix=20conversion=20GSymbol=20=E2=86=92=20GWord?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/Groups.jl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/Groups.jl b/src/Groups.jl index 97b7a41..3a41e29 100644 --- a/src/Groups.jl +++ b/src/Groups.jl @@ -1,6 +1,6 @@ module Groups -import Base: length, ==, hash, show +import Base: length, ==, hash, show, convert import Base: one, inv, reduce, *, ^ export GSymbol, GWord @@ -42,6 +42,7 @@ type GWord{T<:GSymbol} <: Word end GWord{T<:GSymbol}(s::T) = GWord{T}([s]) +convert{T<:GSymbol, W<:Word}(::Type{W}, s::T) = GWord{T}(s) IDWord{T<:GSymbol}(::Type{T}) = GWord(one(T)) IDWord{T<:GSymbol}(W::GWord{T}) = IDWord(T)