Initial population.

1 files changed, 47 insertions, 0 deletions

diff --git a/src/input/zdsolve.input.pamphlet b/src/input/zdsolve.input.pamphlet
new file mode 100644
index 00000000..a1466210
--- /dev/null
+++ b/src/input/zdsolve.input.pamphlet
@@ -0,0 +1,47 @@
+\documentclass{article}
+\usepackage{axiom}
+\begin{document}
+\title{\$SPAD/src/input ZDSOLVE.input}
+\author{The Axiom Team}
+\maketitle
+\begin{abstract}
+\end{abstract}
+\eject
+\tableofcontents
+\eject
+<<*>>=
+
+R := Integer
+ls : List Symbol := [x,y,z,t]
+ls2 : List Symbol := [x,y,z,t,new()$Symbol]
+pack := ZDSOLVE(R,ls,ls2)
+p1 := x**2*y*z + x*y**2*z + x*y*z**2 + x*y*z + x*y + x*z + y*z
+p2 := x**2*y**2*z + x*y**2*z**2 + x**2*y*z + x*y*z + y*z + x + z
+p3 := x**2*y**2*z**2 + x**2*y**2*z + x*y**2*z + x*y*z + x*z + z + 1
+lp := [p1, p2, p3]
+triangSolve(lp)$pack
+univariateSolve(lp)$pack
+lr := realSolve(lp)$pack
+# lr
+[[approximate(r,1/1000000) for r in point] for point in lr]
+lpr := positiveSolve(lp)$pack
+f0 := x**3 + y + z + t- 1
+f1 := x + y**3 + z + t -1
+f2 := x + y + z**3 + t-1
+f3 := x + y + z + t**3 -1
+lf := [f0, f1, f2, f3]
+lts := triangSolve(lf)$pack
+univariateSolve(lf)$pack
+ts := lts.1
+univariateSolve(ts)$pack
+realSolve(ts)$pack
+lr2 := realSolve(lf)$pack
+#lr2
+lpr2 := positiveSolve(lf)$pack
+[approximate(r,1/10**21)::Float for r in lpr2.1]
+@
+\eject
+\begin{thebibliography}{99}
+\bibitem{1} nothing
+\end{thebibliography}
+\end{document}