/usr/lib/open-axiom/input/padic.input is in open-axiom-test 1.4.1+svn~2626-2ubuntu2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
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 | --Copyright The Numerical Algorithms Group Limited MCMXCIV.
-- 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)
|