mirror of
https://github.com/kalmarek/Groups.jl.git
synced 2024-07-17 10:55:33 +02:00
add unified gens(G::FPGroup) function
This commit is contained in:
parent
08ebec118f
commit
5d51855d17
@ -211,8 +211,6 @@ end
|
|||||||
|
|
||||||
length(s::AutSymbol) = abs(s.pow)
|
length(s::AutSymbol) = abs(s.pow)
|
||||||
|
|
||||||
generators(G::AutGroup) = [G(AutGroupElem(elt)) for elt in G.gens]
|
|
||||||
|
|
||||||
###############################################################################
|
###############################################################################
|
||||||
#
|
#
|
||||||
# String I/O
|
# String I/O
|
||||||
|
@ -85,8 +85,6 @@ change_pow(s::FreeSymbol, n::Int) = FreeSymbol(s.str, n)
|
|||||||
|
|
||||||
length(s::FreeSymbol) = abs(s.pow)
|
length(s::FreeSymbol) = abs(s.pow)
|
||||||
|
|
||||||
generators(G::FreeGroup) = [G(FreeGroupElem(g)) for g in G.gens]
|
|
||||||
|
|
||||||
###############################################################################
|
###############################################################################
|
||||||
#
|
#
|
||||||
# String I/O
|
# String I/O
|
||||||
|
@ -3,7 +3,7 @@ module Groups
|
|||||||
using Nemo
|
using Nemo
|
||||||
import Nemo: Group, GroupElem, Ring
|
import Nemo: Group, GroupElem, Ring
|
||||||
import Nemo: parent, parent_type, elem_type
|
import Nemo: parent, parent_type, elem_type
|
||||||
import Nemo: elements, order
|
import Nemo: elements, order, gens
|
||||||
|
|
||||||
import Base: length, ==, hash, show, convert
|
import Base: length, ==, hash, show, convert
|
||||||
import Base: inv, reduce, *, ^
|
import Base: inv, reduce, *, ^
|
||||||
@ -135,6 +135,8 @@ doc"""
|
|||||||
"""
|
"""
|
||||||
reduce(W::GWord) = reduce!(deepcopy(W))
|
reduce(W::GWord) = reduce!(deepcopy(W))
|
||||||
|
|
||||||
|
gens(G::FPGroup) = [G(g) for g in G.gens]
|
||||||
|
|
||||||
###############################################################################
|
###############################################################################
|
||||||
#
|
#
|
||||||
# String I/O
|
# String I/O
|
||||||
@ -390,7 +392,6 @@ function generate_balls{T<:GroupElem}(S::Vector{T}, Id::T; radius=2)
|
|||||||
return B, sizes
|
return B, sizes
|
||||||
end
|
end
|
||||||
|
|
||||||
|
|
||||||
###############################################################################
|
###############################################################################
|
||||||
#
|
#
|
||||||
# Includes
|
# Includes
|
||||||
|
Loading…
Reference in New Issue
Block a user