From ab8cc85adde879fb963c94d15675783f2cf4b183 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Tue, 14 Aug 2007 05:14:52 +0000
Subject: Initial population.

---
 src/input/kernel.input.pamphlet | 41 +++++++++++++++++++++++++++++++++++++++++
 1 file changed, 41 insertions(+)
 create mode 100644 src/input/kernel.input.pamphlet

(limited to 'src/input/kernel.input.pamphlet')

diff --git a/src/input/kernel.input.pamphlet b/src/input/kernel.input.pamphlet
new file mode 100644
index 00000000..3652da8a
--- /dev/null
+++ b/src/input/kernel.input.pamphlet
@@ -0,0 +1,41 @@
+\documentclass{article}
+\usepackage{axiom}
+\begin{document}
+\title{\$SPAD/src/input KERNEL.input}
+\author{The Axiom Team}
+\maketitle
+\begin{abstract}
+\end{abstract}
+\eject
+\tableofcontents
+\eject
+<<*>>=
+
+-- Input generated from KernelXmpPage
+)clear all
+
+x :: Expression Integer
+kernel x
+sin(x) + cos(x)
+kernels %
+sin(x)**2 + sin(x) + cos(x)
+kernels %
+kernels(1 :: Expression Integer)
+mainKernel(cos(x) + tan(x))
+height kernel x
+height mainKernel(sin x)
+height mainKernel(sin cos x)
+height mainKernel(sin cos (tan x + sin x))
+operator mainKernel(sin cos (tan x + sin x))
+name mainKernel(sin cos (tan x + sin x))
+f := operator 'f
+e := f(x, y, 10)
+is?(e, f)
+is?(e, 'f)
+argument mainKernel e
+@
+\eject
+\begin{thebibliography}{99}
+\bibitem{1} nothing
+\end{thebibliography}
+\end{document}
-- 
cgit v1.2.3