Initial population.

1 files changed, 41 insertions, 0 deletions

diff --git a/src/input/cardinal.input.pamphlet b/src/input/cardinal.input.pamphlet
new file mode 100644
index 00000000..7c800f85
--- /dev/null
+++ b/src/input/cardinal.input.pamphlet
@@ -0,0 +1,41 @@
+\documentclass{article}
+\usepackage{axiom}
+\begin{document}
+\title{\$SPAD/src/input cardinal.input}
+\author{The Axiom Team}
+\maketitle
+\begin{abstract}
+\end{abstract}
+\eject
+\tableofcontents
+\eject
+\section{License}
+<<license>>=
+--Copyright The Numerical Algorithms Group Limited 1991.
+@
+<<*>>=
+<<license>>
+
+)clear all
+(c0, c1, c2, c3, A0, A1): CardinalNumber
+c0 := 0::NNI
+c1 := 1::NNI
+c2 := 2::NNI
+c3 := 3::NNI
+A0 := Aleph 0
+A1 := Aleph 1
+[finite? c2,    finite? A0]
+[finite?  c2,    finite?  A0]
+[countable? c2, countable? A0, countable? A1]
+[c2 + c2, c2 + A1]
+[c2 - c1, c2 - c2, c2 - c3, A1 - c2, A1 - A0, A1 - A1]
+[c0 * c2, c1 * c2, c2 * c2, c0 * A1, c1 * A1, c2 * A1, A0 * A1]
+[c2**c0, c2**c1, c2**c2, A1**c0, A1**c1, A1**c2]
+generalizedContinuumHypothesisAssumed true
+[c0**A0, c1**A0, c2**A0, A0**A0, A0**A1, A1**A0, A1**A1]
+@
+\eject
+\begin{thebibliography}{99}
+\bibitem{1} nothing
+\end{thebibliography}
+\end{document}