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

shift documentation and GWord{T} definition

Browse Source
This commit is contained in:
kalmarek 2018-03-27 21:30:36 +02:00
parent 8cd10c0bfa
commit 57dfc05221
1 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/Groups.jl
View File

@ -27,8 +27,10 @@ doc"""
""" """
abstract type GSymbol end abstract type GSymbol end
abstract type GWord{T<:GSymbol} <:GroupElem end
doc""" doc"""
W::GWord{T<:GSymbol} <:GroupElem W::GroupWord{T} <: GWord{T<:GSymbol} <:GroupElem
> Basic representation of element of a finitely presented group. `W.symbols` > Basic representation of element of a finitely presented group. `W.symbols`
> fieldname contains particular group symbols which multiplied constitute a > fieldname contains particular group symbols which multiplied constitute a
> group element, i.e. a word in generators. > group element, i.e. a word in generators.
@ -42,9 +44,6 @@ doc"""
> `modified` flag remains `false`. > `modified` flag remains `false`.
""" """
abstract type GWord{T<:GSymbol} <:GroupElem end
mutable struct GroupWord{T} <: GWord{T} mutable struct GroupWord{T} <: GWord{T}
symbols::Vector{T} symbols::Vector{T}
savedhash::UInt savedhash::UInt