From b19d8b7185cbef5abbad6aadac2e93cf2c7abc34 Mon Sep 17 00:00:00 2001 From: kalmar Date: Sat, 21 Jan 2017 17:20:15 +0100 Subject: [PATCH] IdSymbol for AutSymbols --- AutGroups.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/AutGroups.jl b/AutGroups.jl index 98bf442..a0c6efa 100644 --- a/AutGroups.jl +++ b/AutGroups.jl @@ -17,8 +17,8 @@ end (==)(s::AutSymbol, t::AutSymbol) = s.gen == t.gen && s.pow == t.pow hash(s::AutSymbol, h::UInt) = hash(s.gen, hash(s.pow, hash(:AutSymbol, h))) -IDSymbol(::Type{AutSymbol}) = AutSymbol("(id)", 0, :(IDAutomorphism(N))) +IdSymbol(::Type{AutSymbol}) = AutSymbol("(id)", 0, :(IdAutomorphism(N))) change_pow(s::AutSymbol, n::Int) = reduce(AutSymbol(s.gen, n, s.ex)) function inv(f::AutSymbol)