1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
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}
|
