From 125e4a52637d9e60ba7db16c203669128bcf08d4 Mon Sep 17 00:00:00 2001 From: kalmar Date: Fri, 21 Jul 2017 13:32:34 +0200 Subject: [PATCH] remove eye --- src/DirectProducts.jl | 7 ------- 1 file changed, 7 deletions(-) diff --git a/src/DirectProducts.jl b/src/DirectProducts.jl index 3d9cbe2..fcbda58 100644 --- a/src/DirectProducts.jl +++ b/src/DirectProducts.jl @@ -108,13 +108,6 @@ function hash(g::DirectProductGroupElem, h::UInt) return hash(g.elts, hash(parent(g), hash(DirectProductGroupElem, h))) end -doc""" - eye(G::DirectProductGroup) -> Return the identity element for the given direct product of groups. - -""" -eye(G::DirectProductGroup) = G() - ############################################################################### # # String I/O