I think this is a bug. In one Sage session:
sage: F4 = GF(4)
sage: F16 = GF(16)
sage: F4.gen() in F16
True
sage: F16.has_coerce_map_from(F4)
True
-- all is well. But in a new session:
sage: F4 = GF(4, names='a')
sage: F16 = GF(16, names='b')
sage: F4.gen() in F16
False
sage: F16.has_coerce_map
Dear coercion enthousiasts,
while working on #16931, I discovered a coercion bug for polynomials
over finite fields.
Since I absolutely know nothing about coercion, I hope somebody can have
a look at this bug:
http://trac.sagemath.org/ticket/16934
Thanks,
Jeroen.
--
You received this message
