cannot convert residue field elements back to p-adic ring

[sagetrac-dmharvey]

I should be able to coerce elements of the residue field of a p-adic ring back into the ring, but I can't:

sage: R.<z> = Zq(9)
sage: F = R.residue_class_field()
sage: F
Finite Field in z0 of size 3^2
sage: a = F.gen()
sage: R(a)
---------------------------------------------------------------------------
TypeError

CC: @roed314 @orlitzky

Component: padics

Keywords: days71

Author: Julian Rüth

Branch/Commit: 7ab36c6

Reviewer: Aly Deines

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

[sagetrac-dmharvey]

comment:1

see also the thread:

http://groups.google.com/group/sage-support/browse_thread/thread/ce14b31005ec053a

[orlitzky]

comment:2

This works now:

sage: R.<z> = Zq(9)
sage: F = R.residue_class_field()
sage: F
Finite Field in z0 of size 3^2
sage: a = F.gen()
sage: R(a)
z + O(3)

I can create a patch with a doctest, but I don't know if the result is correct. Does it look about right?

[saraedum]

Branch: u/saraedum/cannot_convert_residue_field_elements_back_to_p_adic_ring

[saraedum]

Changed branch from u/saraedum/cannot_convert_residue_field_elements_back_to_p_adic_ring to none

[saraedum]

comment:5

It was fixed in the meantime. A added a standard test for it.

[saraedum]

Author: Julian Rüth

[saraedum]

Commit: 40900ca

[saraedum]

New commits:

40900ca

Test lifting to p-adic rings

[saraedum]

Branch: u/saraedum/cannot_convert_residue_field_elements_back_to_p_adic_ring

[adeines]

Reviewer: Aly Deines

[adeines]

comment:8

Looks good.

[adeines]

Changed keywords from none to sd71

[adeines]

Changed keywords from sd71 to days71

[jdemeyer]

comment:11

Doesn't apply according to the patchbot.

[roed314]

Changed branch from u/saraedum/cannot_convert_residue_field_elements_back_to_p_adic_ring to u/roed/cannot_convert_residue_field_elements_back_to_p_adic_ring

[roed314]

comment:13

Fixed the merge problem.

---

New commits:

7ab36c6

Merge branch 'u/saraedum/cannot_convert_residue_field_elements_back_to_p_adic_ring' of git://trac.sagemath.org/sage into develop

[roed314]

Changed commit from 40900ca to 7ab36c6

[saraedum]

comment:15

The increase in startup reported by the patchbot is just noise.

[vbraun]

Changed branch from u/roed/cannot_convert_residue_field_elements_back_to_p_adic_ring to 7ab36c6