#19956: elements of finite field algebraic closure are not hashable
-------------------------------------+-------------------------------------
Reporter: vdelecroix | Owner:
Type: defect | Status: needs_review
Priority: major | Milestone: sage-7.1
Component: finite rings | Resolution:
Keywords: | Merged in:
Authors: Vincent Delecroix | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/vdelecroix/19956 | e130a3046fd99adaf92725605d9675eac0c5c0a2
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by vdelecroix):
Replying to [comment:12 jdemeyer]:
> How does this interact with #17569?
No interaction as far as I can see.
> If finite fields will now embed by default in the algebraic closure, the
hashes should be preserved.
True. But it is disjoint from #17569, isn't it? Even without this patch
hashes are incompatible by restriction to finite fields (except the prime
field). It might be tricky to provide a coherent hash that would depend on
the embedding... a (far from optimal) solution for finite field could be
{{{
def __hash__(self):
cf = self._parent.coerce_embedding()
if cf is not None:
return hash(cf(self))
else:
... old code ...
}}}
What do you think? But I would consider this as disjoint from this ticket.
--
Ticket URL: <http://trac.sagemath.org/ticket/19956#comment:13>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
