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/intef.input.pamphlet | 59 ++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 59 insertions(+)
 create mode 100644 src/input/intef.input.pamphlet

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

diff --git a/src/input/intef.input.pamphlet b/src/input/intef.input.pamphlet
new file mode 100644
index 00000000..99401e71
--- /dev/null
+++ b/src/input/intef.input.pamphlet
@@ -0,0 +1,59 @@
+\documentclass{article}
+\usepackage{axiom}
+\begin{document}
+\title{\$SPAD/src/input intef.input}
+\author{The Axiom Team}
+\maketitle
+\begin{abstract}
+\end{abstract}
+\eject
+\tableofcontents
+\eject
+\section{License}
+<<license>>=
+--Copyright The Numerical Algorithms Group Limited 1993.
+@
+<<*>>=
+<<license>>
+------------------------------ intef.input --------------------------------
+ 
+)clear all
+ 
+(a*x+b) / (b**2 * x * log(x)**2 + 2*a*b*x**2*log(x) + a**2*x**3 + x)
+integrate(%,x)
+ 
+((exp(x)-x**2+2*x)/(x**2*(exp(x)+x)**2))*exp((x**2-1)/x+1/(exp(x)+x))
+integrate(%,x)
+ 
+-- here are three which do not have elementary integrals
+sin(x)/x
+integrate(%,x)
+ 
+x * cot x
+integrate(%,x)
+ 
+(2 * log(x)**2 - log x - x**2) / (log(x)**3 - x**2 * log x)
+integrate(%,x)
+ 
+-- real trigonometric functions are handled directly
+cos(a * x) / (1 + cos(a * x))
+integrate(%,x)
+ 
+cos(3*x)*sin(2*x)
+integrate(%,x)
+ 
+-- integrals of hyperb. trigs are transformed back into hyperb. trigs.
+cosh(a*x)*sinh(a*x)
+integrate(%,x)
+ 
+ 
+ 
+ 
+
+
+@
+\eject
+\begin{thebibliography}{99}
+\bibitem{1} nothing
+\end{thebibliography}
+\end{document}
-- 
cgit v1.2.3