kalmar
/
Groups.jl
mirror of https://github.com/kalmarek/Groups.jl.git
1
0
Fork 0
Code Issues Releases Wiki Activity

domain(G::AutGroup) returns deepcopy of G.domain

This commit is contained in:
kalmarek 2018-03-21 19:22:09 +01:00
parent 49198dfdf4
commit dd4d23189b
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/AutGroup.jl
View File

@ -120,6 +120,8 @@ function perm_autsymbol(a::Vector{Int})
return perm_autsymbol(G(a))
end
domain(G::AutGroup) = deepcopy(G.domain)
###############################################################################
#
# AutGroup / AutGroupElem constructors
@ -203,7 +205,7 @@ hash(s::AutSymbol, h::UInt) = hash(s.str, hash(s.pow, hash(:AutSymbol, h)))
function hash(g::AutGroupElem, h::UInt)
if g.modified
g.savedhash = hash(g(parent(g).domain), hash(typeof(g), hash(parent(g), h)))
g.savedhash = hash(g(domain(parent(g))), hash(typeof(g), hash(parent(g), h)))
g.modified = false
end
return g.savedhash
@ -253,8 +255,7 @@ end
function (==)(g::AutGroupElem, h::AutGroupElem)
parent(g) == parent(h) || return false
gs = parent(g).domain
return g(gs) == h(gs)
return g(domain(parent(g))) == h(domain(parent(h)))
end
###############################################################################