Precision issue in conversion

[xcaruso]

sage: R.<a> = Zp(2).extension(x^3 - 2)
sage: K = R.fraction_field()
sage: u = K(1,10); u
1 + O(a^10)
sage: R(u)
1 + O(a^12)

CC: @roed314 @saraedum

Component: padics

Author: Xavier Caruso

Branch/Commit: b4ed236

Reviewer: David Roe

Issue created by migration from https://trac.sagemath.org/ticket/25990

[xcaruso]

Branch: u/caruso/padic_extension_conversion

[xcaruso]

Commit: efde687

[xcaruso]

comment:2

Should be fixed... Needs review.

---

New commits:

efde687

Handle precision correctly in DefPolyConversion

[roed314]

Reviewer: David Roe

[roed314]

comment:3

Looks good once patchbot is happy.

[roed314]

Author: Xavier Caruso

[xcaruso]

comment:4

Hum, still not completely fine:

sage: R.<a> = Zp(2).extension(x^3 - 2)
sage: K = R.fraction_field()
sage: u = R(1 + a^4 + a^5 + a^7 + a^8, 10); u
sage: K(u)
1 + a^4 + a^5 + a^7 + a^8 + O(a^10)
sage: R(K(u))
1 + a^4 + a^5 + a^7 + a^8 + O(a^9)

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

b4ed236

Handle precision even better

[sagetrac-git]

Changed commit from efde687 to b4ed236

[xcaruso]

comment:6

Should be fixed... Needs review (bis)

[roed314]

comment:7

Seems like a reasonable fix. Once again, I'm happy if the patchbot is.

[xcaruso]

comment:8

A failure is reported but it has nothing to do with this ticket, I guess.

Set positive review if you agree.

[roed314]

comment:9

I agree.

[vbraun]

Changed branch from u/caruso/padic_extension_conversion to b4ed236