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

set default word_type to Word{UInt8}

Browse Source
This commit is contained in:
Marek Kaluba 2021-05-16 23:23:16 +02:00
parent 75b7d9fab3
commit 6fba013f0b
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/new_types.jl
View File

@ -27,7 +27,7 @@ abstract type AbstractFPGroup <: GroupsCore.Group end
word_type(G::AbstractFPGroup) = word_type(typeof(G)) word_type(G::AbstractFPGroup) = word_type(typeof(G))
# the default: # the default:
word_type(::Type{<:AbstractFPGroup}) = Word{UInt16} word_type(::Type{<:AbstractFPGroup}) = Word{UInt8}
# the default (results in free rewriting) # the default (results in free rewriting)
rewriting(G::AbstractFPGroup) = alphabet(G) rewriting(G::AbstractFPGroup) = alphabet(G)