commit e549435f14ec029fe0f04711500d3baea2ccfd04
parent e42d7f5cc94667e6e4d2312a5511f38b77969366
Author: Antoine Amarilli <a3nm@a3nm.net>
Date: Tue, 4 Mar 2025 12:07:33 +0100
commit with codex
Diffstat:
6 files changed, 29 insertions(+), 0 deletions(-)
diff --git a/convexity b/convexity
@@ -4,5 +4,6 @@
- [convex_set]
- [convex_hull]
- [cnf_variable_convex]
+- [language_convex]
Up: [mathematics]
diff --git a/factor b/factor
@@ -3,6 +3,7 @@
Definition: [word] u is factor of [word] v if we have v = xuy for some [word]s x and y
- [factor_universal]
+- [factorial_language]
Up: [formal_language_theory]
diff --git a/pop_operation b/pop_operation
@@ -0,0 +1,9 @@
+# Pop operation
+
+Given a non-empty [word] w and a side (left or right), remove the endpoint [letter]
+
+See also: [push_operation]
+
+Aliases: pop operations
+
+Up: [deletion]
diff --git a/push_operation b/push_operation
@@ -0,0 +1,9 @@
+# Push operation
+
+Given a [word] w and a [letter] a and one side of the word (left or right), add a to that side of the word
+
+Up: [insertion]
+
+See also: [pop_operation]
+
+Aliases: push operations
diff --git a/push_pop b/push_pop
@@ -0,0 +1,7 @@
+# Push pop
+
+The kinds of [updates_word] where you can do [push_operations] and [pop_operations]
+
+For [dynamic_membership]
+
+Up: [update_word]
diff --git a/update_word b/update_word
@@ -10,3 +10,5 @@
- [word_split]: related to [cut_and_paste]
Up: [update] for [word]
+
+Aliases: updates word