1
0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2024-12-24 18:05:27 +01:00

add FreeGroup(n::Int) convenience

This commit is contained in:
kalmar 2017-05-12 21:19:08 +02:00
parent 1284ded447
commit 51694c4fbf

View File

@ -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])
###############################################################################