Initial population.

1 files changed, 37 insertions, 0 deletions

diff --git a/src/input/bstree.input.pamphlet b/src/input/bstree.input.pamphlet
new file mode 100644
index 00000000..2a190caf
--- /dev/null
+++ b/src/input/bstree.input.pamphlet
@@ -0,0 +1,37 @@
+\documentclass{article}
+\usepackage{axiom}
+\begin{document}
+\title{\$SPAD/src/input BSTREE.input}
+\author{The Axiom Team}
+\maketitle
+\begin{abstract}
+\end{abstract}
+\eject
+\tableofcontents
+\eject
+<<*>>=
+
+
+-- Input generated from BinarySearchTreeXmpPage
+)clear all
+
+lv := [8,3,5,4,6,2,1,5,7]
+t := binarySearchTree lv
+emptybst := empty()$BSTREE(INT)
+t1 := insert!(8,emptybst)
+insert!(3,t1)
+leaves t
+split(3,t)
+insertRoot: (INT,BSTREE INT) -> BSTREE INT
+insertRoot(x, t) ==
+    a := split(x, t)
+    node(a.less, x, a.greater)
+buildFromRoot ls == reduce(insertRoot,ls,emptybst)
+rt := buildFromRoot reverse lv
+(t = rt)@Boolean
+@
+\eject
+\begin{thebibliography}{99}
+\bibitem{1} nothing
+\end{thebibliography}
+\end{document}