wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

commit afba233961e14eccde707fa761f6628a56eb1cf7
parent bfe1ffd913565cca2212ad7721d15c8457d20ffa
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Sun, 22 Jun 2025 14:08:23 +0200

commit with codex

Diffstat:
child | 2+-
internal_node | 2++
tree_binary | 2++
3 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/child b/child @@ -1,6 +1,6 @@ # Child -In a [tree], each node has a sequence of children (for [tree_ordered]) or a set of children. In [tree_binary] there are at most two children +In a [tree], each [node] has a [sequence] of children (for [tree_ordered]) or a [set] of children. In [binary_trees] there are at most two children Up: [tree] diff --git a/internal_node b/internal_node @@ -3,3 +3,5 @@ A [node] in a [tree] which is not a [leaf] Up: [tree] + +Aliases: internal nodes diff --git a/tree_binary b/tree_binary @@ -5,3 +5,5 @@ A [tree] in which [internal_nodes] have at most two [children] - [tree_binary_full]: every [internal_node] has precisely two [children] Up: [tree] + +Aliases: binary tree, binary trees