kalmar/Groups.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2024-07-17 10:55:33 +02:00
Code Issues Releases Wiki Activity

But so far we only implemented Aut(FreeGroup)

Browse Source
This commit is contained in:
kalmar 2017-05-12 20:32:33 +02:00
parent 117eddafd6
commit b955eed67b
1 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/AutGroup.jl
View File

@ -19,7 +19,7 @@ typealias AutGroupElem GWord{AutSymbol}
type AutGroup <: FPGroup type AutGroup <: FPGroup
objectGroup::Group objectGroup::Group
generators::Vector{AutSymbol} gens::Vector{AutSymbol}
end end
export AutSymbol, AutGroupElem, AutGroup export AutSymbol, AutGroupElem, AutGroup
@ -107,9 +107,8 @@ end
# #
############################################################################### ###############################################################################
function AutGroup(G::FPGroup; outer=false, special=false) function AutGroup(G::FreeGroup; outer=false, special=false)
length(G.rels) == 0 || throw("Don't know how to construct AutGroup of $G.") n = length(G.gens)
n = length(G.generators)
indexing = [[i,j] for i in 1:n for j in 1:n if i≠j] indexing = [[i,j] for i in 1:n for j in 1:n if i≠j]
rmuls = [rmul_autsymbol(i,j) for (i,j) in indexing] rmuls = [rmul_autsymbol(i,j) for (i,j) in indexing]
lmuls = [lmul_autsymbol(i,j) for (i,j) in indexing] lmuls = [lmul_autsymbol(i,j) for (i,j) in indexing]