diff options
Diffstat (limited to 'src/input/padic.input.pamphlet')
-rw-r--r-- | src/input/padic.input.pamphlet | 55 |
1 files changed, 55 insertions, 0 deletions
diff --git a/src/input/padic.input.pamphlet b/src/input/padic.input.pamphlet new file mode 100644 index 00000000..f563f222 --- /dev/null +++ b/src/input/padic.input.pamphlet @@ -0,0 +1,55 @@ +\documentclass{article} +\usepackage{axiom} +\begin{document} +\title{\$SPAD/src/input padic.input} +\author{The Axiom Team} +\maketitle +\begin{abstract} +\end{abstract} +\eject +\tableofcontents +\eject +\section{License} +<<license>>= +--Copyright The Numerical Algorithms Group Limited MCMXCIV. +@ +<<*>>= +<<license>> + +-- Author: Clifton J. Williamson + +root2 : PADIC 7 := sqrt(2,3) +extend(root2,20) + +broot2 : BPADIC 7 := sqrt(2,3) +extend(broot2,20) + +xx : SUP INT := monomial(1,1) + +pp := xx^6 - 1 + +r1 : PADIC 7 := root(pp,1) +r2 : PADIC 7 := root(pp,2) +r3 : PADIC 7 := root(pp,3) +r4 : PADIC 7 := root(pp,4) +r5 : PADIC 7 := root(pp,5) +r6 : PADIC 7 := root(pp,6) + +(x - r1) * (x - r2) * (x - r3) * (x - r4) * (x - r5) * (x - r6) + +rr1 : BPADIC 7 := root(pp,1) +rr2 : BPADIC 7 := root(pp,2) +rr3 : BPADIC 7 := root(pp,3) +rr4 : BPADIC 7 := root(pp,4) +rr5 : BPADIC 7 := root(pp,5) +rr6 : BPADIC 7 := root(pp,6) + +(x - rr1) * (x - rr2) * (x - rr3) * (x - rr4) * (x - rr5) * (x - rr6) + + +@ +\eject +\begin{thebibliography}{99} +\bibitem{1} nothing +\end{thebibliography} +\end{document} |