1 files changed, 71 insertions, 0 deletions
diff --git a/src/input/polycoer.input.pamphlet b/src/input/polycoer.input.pamphlet
new file mode 100644
index 00000000..dd2c598b
--- /dev/null
+++ b/src/input/polycoer.input.pamphlet
@@ -0,0 +1,71 @@
+\documentclass{article}
+\usepackage{axiom}
+\begin{document}
+\title{\$SPAD/src/input polycoer.input}
+\author{The Axiom Team}
+\maketitle
+\begin{abstract}
+\end{abstract}
+\eject
+\tableofcontents
+\eject
+\section{License}
+<<license>>=
+--Copyright The Numerical Algorithms Group Limited 1991.
+@
+<<*>>=
+<<license>>
+
+-- This file demonstrates the capabilities of the interpreter to
+-- perform coercions among different polynomial types.
+)clear all
+u : UP(x,COMPLEX INT)
+u := (2+3*%i)*x**5 - 7*x**4 +x**2 + 89
+m : MPOLY([x,y,z],COMPLEX INT)
+m := u
+m := m*y - z**2
+m1 : MPOLY([r,z,t,x,s,y],COMPLEX INT)
+m1 := m
+v : DMP([x,y,z],COMPLEX INT)
+v := u
+u := v
+v1 : DMP([r,z,t,x,s,y],COMPLEX INT)
+v1 := v
+v := m
+v1 := m1
+)clear all
+u : DMP([x,y],INT)
+f : UP(x,UP(y,INT))
+u := x + y
+f := u
+u := x**2*y**9 - x**2*y**2
+f := u
+)clear all
+u : DMP([z,x,y],INT)
+f : UP(x,DMP([y,z],INT))
+u := x + y + z
+f := u
+u := x**2*y - z*x**2 + y*z - x**3*y*z + 3
+f := x**2*y - z*x**2 + y*z - x**3*y*z + 3
+f := u
+)clear all
+u : DMP([x,y,z,w],INT)
+f : UP(w,DMP([y,z],INT))
+u := y**2 - w**5*y**2 - z*w + 3
+f := y**2 - w**5*y**2 - z*w + 3
+f := u
+)clear all
+(x1,x2,x3) : DMP([a,b,c,d,e,f],Fraction INT)
+x1 := 2*a + 3*b - c
+x2 := 3 - 3*e + f
+x3 := a + b + c + d + e + f
+l1 : List DMP([a,b,c,d,e,f],Fraction INT)
+l2 : List UP(f,DMP([a,b,c,d,e],Fraction INT))
+l1 := [x1,x2,x3]
+l2 := l1
+@
+\eject
+\begin{thebibliography}{99}
+\bibitem{1} nothing
+\end{thebibliography}
+\end{document}