I think Robert's said it fairly well. Which is good, since I'll have
spotty internet for the next couple weeks, and my battery is about to
run out.
On 5/15/10, Robert Bradshaw rober...@math.washington.edu wrote:
On May 14, 2010, at 11:13 AM, Simon King wrote:
Hi Robert!
On 14 Mai, 18:34,
On May 14, 2010, at 11:13 AM, Simon King wrote:
Hi Robert!
On 14 Mai, 18:34, Robert Bradshaw rober...@math.washington.edu
wrote:
1. Do you agree this is a bug?
The p-adic fields are of capped precision, not set precision, but
each
element remembers its own actual precision, so this is
Hi Robert!
On 14 Mai, 18:34, Robert Bradshaw rober...@math.washington.edu
wrote:
1. Do you agree this is a bug?
The p-adic fields are of capped precision, not set precision, but each
element remembers its own actual precision, so this is why the
coercion goes in that direction, and I
Would the following be what you want?
sage: R1.a = Zp(5,prec=20)[]
sage: R2 = Qp(5,prec=40)
sage: R2(1)+a
(1 + O(5^20))*a + (1 + O(5^40))
This results when one changes the merge method (and makes fraction
field functor and completion functor commute).
Cheers,
Simon
--
To post to this group,