Initial population.

1 files changed, 62 insertions, 0 deletions

diff --git a/src/input/solvetra.input.pamphlet b/src/input/solvetra.input.pamphlet
new file mode 100644
index 00000000..adc05633
--- /dev/null
+++ b/src/input/solvetra.input.pamphlet
@@ -0,0 +1,62 @@
+\documentclass{article}
+\usepackage{axiom}
+\begin{document}
+\title{\$SPAD/src/input solvetra.input}
+\author{The Axiom Team}
+\maketitle
+\begin{abstract}
+\end{abstract}
+\eject
+\tableofcontents
+\eject
+\section{License}
+<<license>>=
+--Copyright The Numerical Algorithms Group Limited 1991.
+@
+<<*>>=
+<<license>>
+
+solve(sin(x)-8=0)
+solve(sin(x)-8=0,x)
+solve(sin(x)-8)    
+solve(sin(x)-8,x)
+solve(sin(x**2)-2,x)       
+solve(sin(x**2)-3,x)
+solve(sin(x**2)**2-3,x)
+solve(sin(x+2)-2,x)
+solve(sin(x**2+2)-2,x)
+solve(sin(x)*cos(8)*tan(88)*567-y*3+3,x)
+solve(sin(x-77)*cos(8)*tan(88)*567-y*3+3,x)
+solve(sin(x**2-77)*cos(8)*tan(88)*567-y*3+3,x)
+solve(sin(x)*cos(x)-2,x)                      
+solve(sin(x**3-77)*cos(8)*tan(88)*567-y*3+3,x)
+solve(cos(x)+cos(3*x)+cos(5*x) ,x)
+solve(3*tan(3*x)-tan(x)+2,x)
+solve(3*sech(x)**2+4*tanh(x)+1,x)
+solve(cosh(x)-3*sinh(x),x)
+solve(2*sinh(x)+6*cosh(x)-5,x)
+solve(exp(3*x)-4*exp(x)+3*exp(-x),x)
+solve(log(x+1)+log(x-1)-3,x)
+solve(sin(x)*cos(x)-2,x)
+solve(- cos(- x + a)*sin(x) + 2*cos(x)*sin(- x + a),x)
+solve(sin(x)+cos(x)=2,x)
+solve(- cos(- x )*sin(x),x)
+solve(- cos(- x + a)*sin(x),x)
+solve(log(sqrt(sqrt(sqrt(x+1)+4)+7))+5,x)
+solve(2**x-6,x)
+solve(sqrt(x+1)+sqrt(x+7)+1,x)
+solve(sqrt(sin(x))+1,x)
+solve(sqrt(sin(x))+sqrt(cos(x))+1,x)
+solve(sqrt(sin(x)+1)+(sin(x)+1)**(1/3)+7,x)
+solve(sqrt(sqrt(sqrt(1+x)+7)+1)+8-2,x)
+solve(sqrt(sin(x)+1)+(sin(x)+5)**(1/3)+7,x)
+solve(sqrt(sin(x+1))+sqrt(sin(x+7))+1,x)
+solve(asin(x)+acot(x)-2,x)
+solve(asinh(x)+acoth(x)-2,x)
+
+@
+\eject
+\begin{thebibliography}{99}
+\bibitem{1} nothing
+\end{thebibliography}
+\end{document}