mirror of
https://github.com/kalmarek/Groups.jl.git
synced 2024-12-05 02:11:27 +01:00
remove eye
This commit is contained in:
parent
16f3b6b44e
commit
125e4a5263
@ -108,13 +108,6 @@ function hash(g::DirectProductGroupElem, h::UInt)
|
|||||||
return hash(g.elts, hash(parent(g), hash(DirectProductGroupElem, h)))
|
return hash(g.elts, hash(parent(g), hash(DirectProductGroupElem, h)))
|
||||||
end
|
end
|
||||||
|
|
||||||
doc"""
|
|
||||||
eye(G::DirectProductGroup)
|
|
||||||
> Return the identity element for the given direct product of groups.
|
|
||||||
|
|
||||||
"""
|
|
||||||
eye(G::DirectProductGroup) = G()
|
|
||||||
|
|
||||||
###############################################################################
|
###############################################################################
|
||||||
#
|
#
|
||||||
# String I/O
|
# String I/O
|
||||||
|
Loading…
Reference in New Issue
Block a user