From 31fe54b75b2dcada44dd0b96394fc4b0bbd7146d Mon Sep 17 00:00:00 2001 From: kalmar Date: Mon, 23 Jan 2017 11:23:36 +0100 Subject: [PATCH] change name IDSymbol -> IdSymbol --- Groups.jl | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/Groups.jl b/Groups.jl index 05b271b..b8982a0 100644 --- a/Groups.jl +++ b/Groups.jl @@ -4,9 +4,8 @@ import Base: length, ==, hash, show import Base: one, inv, reduce, *, ^ export GSymbol, GWord -export reduce!, reduce -export IDSymbol, change_pow, reduce!, reduce +export IdSymbol, change_pow abstract GSymbol @@ -20,9 +19,9 @@ end length(s::GSymbol) = (s.pow == 0 ? 0 : 1) -IDSymbol(T::Type{GSymbol}) = throw(ArgumentError("Define IDSymbol(::Type{$T}) which is the identity element for Your type!")) +IdSymbol(T::Type{GSymbol}) = throw(ArgumentError("Define IdSymbol(::Type{$T}) which is the identity element for Your type!")) -one{T<:GSymbol}(::Type{T}) = IDSymbol(T) +one{T<:GSymbol}(::Type{T}) = IdSymbol(T) one(s::GSymbol) = one(typeof(s)) (*){T<:GSymbol}(s::T, t::T) = return GWord{T}([s])*t