wiki_research

commit 98abfc306e3163f7274f79edf923a3b02c36b051
parent f42898f84f04c1b41e0e37e2f2f5c5649a7b58b4
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Wed, 17 Sep 2025 22:34:44 +0200

commit with codex

Diffstat:
factor
 | 
2
+-
shuffle_square
 | 
5
++++-
square_free_word
 | 
4
++--
square_word
 | 
2
+-
thue_morse_sequence
 | 
7
+++++++
vertex
 | 
2
+-

6 files changed, 16 insertions(+), 6 deletions(-)
diff --git a/factor b/factor
@@ -14,6 +14,6 @@ If u is a factor of v, then v is an [extension] of u
 
 Up: [formal_language_theory]
 
-See also: [subword], [prefix], [suffix]
+See also: [subword], [prefix], [suffix], [factor_avoidance]
 
 Aliases: factors, infix, infixes
diff --git a/shuffle_square b/shuffle_square
@@ -4,6 +4,9 @@ A [word] which can be written as the [shuffle] of a word with itself
 
 [np_complete] to test if a word is a shuffle square
 
-It's [open_problem] what is the minimum alphabet size required to have infinitely many words without shuffle squares, cf https://a3nm.net/work/research/questions/#words-without-shuffle-squares
+It's [open_problem] what is the minimum [alphabet] size required to have infinitely many words without shuffle squares
+- cf https://a3nm.net/work/research/questions/#words-without-shuffle-squares
 
 Up: [shuffle]
+
+See also: [square_word]
diff --git a/square_free_word b/square_free_word
@@ -2,8 +2,8 @@
 
 A [word] which does not contain a nonempty [factor] which is a [square], i.e.,a [word] which is not a [repetitive_string]
 
-Up: [word], [square]
+Up: [square_word], [factor_avoidance]
 
-See also: [square_free_word_language], [repetitive_string]
+See also: [square_free_word_language], [repetitive_string], [thue_morse_sequence], [cube_free_word]
 
 Aliases: square free words
diff --git a/square_word b/square_word
@@ -4,6 +4,6 @@ A [word] of the form uu
 
 Up: [word]
 
-See also: [twin], [square_free_word], [square_language], [non_square_word], [repetitive_string]
+See also: [twin], [square_free_word], [square_language], [non_square_word], [repetitive_string], [Shuffle_square], [cube_word]
 
 Aliases: word square, word squares
diff --git a/thue_morse_sequence b/thue_morse_sequence
@@ -0,0 +1,7 @@
+# Thue morse sequence
+
+https://en.wikipedia.org/wiki/Thue%E2%80%93Morse_sequence
+
+It is a [cube_free_word]
+
+Up: [sequence]
diff --git a/vertex b/vertex
@@ -6,4 +6,4 @@ Up: [graph_basic_notions]
 
 Aliases: vertices
 
-See also: [edge]
+See also: [edge], [twin_vertex]