be more specific on the type of objectGroup in AutGroup

This commit is contained in:
kalmarek 2018-03-22 10:49:31 +01:00
parent c8f0ee04da
commit d834935d05
1 changed files with 3 additions and 3 deletions

View File

@ -33,7 +33,7 @@ end
AutGroupElem = GWord{AutSymbol}
mutable struct AutGroup{N} <: AbstractFPGroup
objectGroup::Group
objectGroup::FreeGroup
gens::Vector{AutSymbol}
domain::NTuple{N, FreeGroupElem}
end
@ -139,8 +139,8 @@ domain(G::AutGroup) = deepcopy(G.domain)
###############################################################################
function AutGroup(G::FreeGroup; special=false)
n = length(G.gens)
n == 0 && return AutGroup(G, AutSymbol[])
n = length(gens(G))
n == 0 && return AutGroup(G, AutSymbol[], NTuple{n, FreeGroupElem}())
S = AutSymbol[]
indexing = [[i,j] for i in 1:n for j in 1:n if i≠j]