Initial population.

1 files changed, 55 insertions, 0 deletions

diff --git a/src/input/intg0.input.pamphlet b/src/input/intg0.input.pamphlet
new file mode 100644
index 00000000..e605df23
--- /dev/null
+++ b/src/input/intg0.input.pamphlet
@@ -0,0 +1,55 @@
+\documentclass{article}
+\usepackage{axiom}
+\begin{document}
+\title{\$SPAD/src/input intg0.input}
+\author{The Axiom Team}
+\maketitle
+\begin{abstract}
+\end{abstract}
+\eject
+\tableofcontents
+\eject
+\section{License}
+<<license>>=
+--Copyright The Numerical Algorithms Group Limited 1994.
+@
+<<*>>=
+<<license>>
+
+)cl all
+-- some genus 0 integrations
+y := sqrt(a * x + b)
+integrate(%,x)
+x * y
+integrate(%,x)
+z := sqrt(a**2 - x**2)
+1 / z
+integrate(%,x)
+x**2 * z
+integrate(%,x)
+x**3 / (a+b*x)**(1/3)
+integrate(%,x)
+1 / (x**3 * (a+b*x)**(1/3))
+integrate(%,x)
+-- examples of transcendentals over a curve of genus 0
+x / (y + y**2) + log(y + 1)
+integrate(%,x)
+(2 + 1/sqrt(x)) * cos(x + sqrt x)
+integrate(%,x)
+-- one which does not have an elementary integral
+log(1 + y) / x
+integrate(%,x)
+-- integrals of hyperbolic trigs are returned in terms of hyperb. trigs.
+(sinh(1+sqrt(x+b))+2*sqrt(x+b))/(sqrt(x+b)*(x+cosh(1+sqrt(x+b))))
+integrate(%,x)
+-- examples of genus 0 functions presented as transcendentals
+tan(atan(x)/2)
+integrate(%,x)
+tan(atan(x)/3)
+integrate(%,x)
+@
+\eject
+\begin{thebibliography}{99}
+\bibitem{1} nothing
+\end{thebibliography}
+\end{document}