Initial population.

1 files changed, 34 insertions, 0 deletions

diff --git a/src/input/mset2.input.pamphlet b/src/input/mset2.input.pamphlet
new file mode 100644
index 00000000..4f6d2337
--- /dev/null
+++ b/src/input/mset2.input.pamphlet
@@ -0,0 +1,34 @@
+\documentclass{article}
+\usepackage{axiom}
+\begin{document}
+\title{\$SPAD/src/input MSET.input}
+\author{The Axiom Team}
+\maketitle
+\begin{abstract}
+\end{abstract}
+\eject
+\tableofcontents
+\eject
+<<*>>=
+
+-- Input generated from MultiSetXmpPage
+)clear all
+
+s := multiset [1,2,3,4,5,4,3,2,3,4,5,6,7,4,10]
+insert!(3,s)
+remove!(3,s,1); s
+remove!(5,s); s
+count(5,s)
+t := multiset [2,2,2,-9]
+U := union(s,t)
+I := intersect(s,t)
+difference(s,t)
+S := symmetricDifference(s,t)
+(U = union(S,I))@Boolean
+t1 := multiset [1,2,2,3]; [t1 < t, t1 < s, t < s, t1 <= s]
+@
+\eject
+\begin{thebibliography}{99}
+\bibitem{1} nothing
+\end{thebibliography}
+\end{document}