From 51694c4fbfdb94fbcc387a245105ea739b3bc6d7 Mon Sep 17 00:00:00 2001 From: kalmar Date: Fri, 12 May 2017 21:19:08 +0200 Subject: [PATCH] add FreeGroup(n::Int) convenience --- src/FreeGroup.jl | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/FreeGroup.jl b/src/FreeGroup.jl index 4eb3c23..5e93c15 100644 --- a/src/FreeGroup.jl +++ b/src/FreeGroup.jl @@ -42,6 +42,8 @@ elem_type(::FreeGroup) = FreeGroupElem FreeSymbol(s::String) = FreeSymbol(s,1) +FreeGroup(n::Int, symbol::String="f") = FreeGroup(["$symbol$i" for i in 1:n]) + FreeGroup(a::Vector{String}) = FreeGroup([FreeSymbol(i) for i in a]) ###############################################################################