kalmar/Groups.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2024-12-25 02:05:30 +01:00
Code Issues Releases Wiki Activity

headers

Browse Source
This commit is contained in:
kalmar 2017-05-11 18:28:00 +02:00
parent 9570b8c84a
commit f256f60ca3
1 changed files with 48 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

49
src/FPGroups.jl
View File

@ -1,4 +1,8 @@
###############################################################################
#
# FPSymbol/FPGroupElem/FPGroup definition
#
###############################################################################
immutable FPSymbol <: GSymbol
str::String
@ -23,15 +27,31 @@ end
export FPSymbol, FPGroupElem, FPGroup, generators
###############################################################################
#
# Type and parent object methods
#
###############################################################################
parent_type(::Type{FPGroupElem}) = FPGroup
elem_type(::FPGroup) = FPGroupElem
###############################################################################
#
# FPSymbol constructors
#
###############################################################################
FPSymbol(s::String) = FPSymbol(s,1)
FPGroup(a::Vector{String}) = FPGroup([FPSymbol(i) for i in a], FPGroupElem[])
###############################################################################
#
# Parent object call overloads
#
###############################################################################
function (G::FPGroup)()
id = FPGroupElem(FPSymbol("", 0))
id.parent = G
@ -53,6 +73,11 @@ end
(G::FPGroup)(s::FPSymbol) = G(FPGroupElem(s))
###############################################################################
#
# Basic manipulation
#
###############################################################################
hash(s::FPSymbol, h::UInt) = hash(s.str, hash(s.pow, hash(FPSymbol, h)))
@ -64,6 +89,12 @@ length(s::FPSymbol) = abs(s.pow)
generators(G::FPGroup) = [G(FPGroupElem(g)) for g in G.gens]
###############################################################################
#
# String I/O
#
###############################################################################
function show(io::IO, G::FPGroup)
print(io, "Finitely presented group on $(length(G.gens)) gens and $(length(G.rels)) relations:\n")
print(io, "gens:\t", join([g.gen for g in G.gens], ","),"\n")
@ -80,6 +111,12 @@ function show(io::IO, s::FPSymbol)
end
end
###############################################################################
#
# Comparison
#
###############################################################################
function (==)(s::FPSymbol, t::FPSymbol)
isone(s) && isone(t) && return true
s.str == t.str || return false
@ -87,9 +124,19 @@ function (==)(s::FPSymbol, t::FPSymbol)
return true
end
###############################################################################
#
# Inversion
#
###############################################################################
inv(s::FPSymbol) = change_pow(s, -s.pow)
###############################################################################
#
# Misc
#
###############################################################################
FreeGroup(n::Int, f::String=f) = FPGroup(["$f$i" for i in 1:n])