--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)


