remove IdSymbol

2017-05-12 19:56:26 +02:00 · 2017-05-12 19:56:26 +02:00 · 7528ab631e
parent 6993c284cd
commit 7528ab631e
1 changed files with 0 additions and 1 deletions
--- a/src/automorphism_groups.jl
+++ b/src/automorphism_groups.jl
@ -19,7 +19,6 @@ 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, :(id()), id)

 function change_pow(s::AutSymbol, n::Int)
    if n == 0