Error when creating ideal from unhashable elements

[saraedum]

Currently, the following does not work because some padic extension elements do not define a hash function (see #11895 for why they do not define a hash function):

sage: K = Qp(3)
sage: R.<a> = K[]
sage: L.<a> = K.extension(a^2-3)
sage: L.ideal(a)
TypeError: unhashable type: 'sage.rings.padics.padic_ZZ_pX_CR_element.pAdicZZpXCRElement'

The problem is that sage.rings.ring.Ring is looking for a coercion from a to L. There is none, since a is not a parent. The attached patch fixes this.

CC: @roed314

Component: coercion

Keywords: sd59 padics

Author: Julian Rueth

Branch/Commit: 78bb646

Reviewer: Volker Braun

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

[jdemeyer]

comment:2

Attachment: trac_13644.patch.gz

[saraedum]

Branch: u/saraedum/ticket/13644

[saraedum]

Changed keywords from none to sd59

[saraedum]

comment:7

CCed roed since this is essentially a ticket about padics.

---

New commits:

18a8242

Trac #13644: fixed a bug in the creation of ideals in padic extension rings

[saraedum]

Changed keywords from sd59 to sd59 padics

[saraedum]

Commit: 18a8242

[sagetrac-git]

Changed commit from 18a8242 to 78bb646

[sagetrac-git]

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

78bb646

fixed format error in docstring

[vbraun]

Reviewer: Volker Braun

[vbraun]

comment:10

lgtm

[vbraun]

Changed branch from u/saraedum/ticket/13644 to 78bb646