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

introduce FPSymbol as concrete type of GSymbol, parentless

Browse Source
This commit is contained in:
kalmar 2017-05-11 18:14:59 +02:00
parent cbfc3979bb
commit de6f6bc52d
1 changed files with 6 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
src/FPGroups.jl
View File

@ -1,16 +1,17 @@
immutable FPSymbol <: GSymbol
str::String
pow::Int
end
typealias FPGroupElem GWord{FPSymbol}
immutable FPSymbol{T<:Group} <: GSymbol
gen::String
pow::Integer
parent::T
end
# FPSymbol(x::String, G::Group) = FPSymbol(x,1,G)
# FPSymbol(s::GSymbol, G::Group) = FPSymbol(s.gen, s.pow, G)
typealias FPGroupElem GWord{FPSymbol}
immutable FPGroup <: Group
gens::Vector{FPSymbol}