#11239: Incorrect coercion of polynomials over finite fields
-------------------------------------------------+-------------------------
Reporter: johanbosman | Owner: robertwb
Type: defect | Status:
Priority: major | needs_info
Component: coercion | Milestone:
Keywords: finite fields, polynomials, | sage-5.11
coercion | Resolution:
Authors: | Merged in:
Report Upstream: N/A | Reviewers:
Branch: | Work issues:
Stopgaps: | Dependencies:
-------------------------------------------------+-------------------------
Comment (by pbruin):
If in the example in the ticket description, one replaces
{{{
sage: Fqq['y'](f)
}}}
by
{{{
sage: Fqq['y']._coerce_(f)
}}}
one at least gets a sensible error:
{{{
TypeError: no canonical coercion from Univariate Polynomial Ring in x over
Finite Field in a of size 5^2 to Univariate Polynomial Ring in y over
Finite Field in b of size 5^4
}}}
I tried the same example using the compatible finite fields from #8335.
The problem (that the coefficients are converted in the stupid way)
persists, both for conversion and for coercion. This is surprising,
because in that case there ''is'' a coercion map between the finite
fields.
--
Ticket URL: <http://trac.sagemath.org/ticket/11239#comment:6>
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 http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.
