From 6fba013f0bd555a17a68aeb67ff0c0c305cda865 Mon Sep 17 00:00:00 2001 From: Marek Kaluba Date: Sun, 16 May 2021 23:23:16 +0200 Subject: [PATCH] set default word_type to Word{UInt8} --- src/new_types.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/new_types.jl b/src/new_types.jl index 9a8ae8e..d98d38c 100644 --- a/src/new_types.jl +++ b/src/new_types.jl @@ -27,7 +27,7 @@ abstract type AbstractFPGroup <: GroupsCore.Group end word_type(G::AbstractFPGroup) = word_type(typeof(G)) # the default: -word_type(::Type{<:AbstractFPGroup}) = Word{UInt16} +word_type(::Type{<:AbstractFPGroup}) = Word{UInt8} # the default (results in free rewriting) rewriting(G::AbstractFPGroup) = alphabet(G)