mirror of
https://github.com/kalmarek/Groups.jl.git
synced 2024-12-04 18:11:26 +01:00
add domain field to AutGroup
This commit is contained in:
parent
c76ad85067
commit
6a59c53c8f
@ -32,9 +32,10 @@ end
|
||||
|
||||
AutGroupElem = GWord{AutSymbol}
|
||||
|
||||
mutable struct AutGroup <: AbstractFPGroup
|
||||
mutable struct AutGroup{N} <: AbstractFPGroup
|
||||
objectGroup::Group
|
||||
gens::Vector{AutSymbol}
|
||||
domain::NTuple{N, FreeGroupElem}
|
||||
end
|
||||
|
||||
export AutGroupElem, AutGroup
|
||||
@ -144,7 +145,7 @@ function AutGroup(G::FreeGroup; special=false)
|
||||
append!(S, [flips; syms])
|
||||
|
||||
end
|
||||
return AutGroup(G, S)
|
||||
return AutGroup{n}(G, S, NTuple{n, FreeGroupElem}(G.(G.gens)))
|
||||
end
|
||||
|
||||
###############################################################################
|
||||
|
Loading…
Reference in New Issue
Block a user