#15390: roots of polynomials and eigenvalues of matrices over finite fields
-------------------------------------+-------------------------------------
Reporter: vdelecroix | Owner:
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-6.3
Component: number theory | Resolution:
Keywords: sage-days55 | Merged in:
Authors: Vincent Delecroix | Reviewers:
Report Upstream: N/A | Work issues: wait for dependency
Branch: | Commit:
u/vdelecroix/15390 | c65e58e4aaa404ac4a40e196d7c296f34f208cd7
Dependencies: #14990 | Stopgaps:
-------------------------------------+-------------------------------------
Changes (by vdelecroix):
* status: needs_review => needs_work
Comment:
Ok. I had a look and the reason is because the inclusions are only
implemented between the subfields:
{{{
sage: K = GF(5).algebraic_closure()
sage: K2, phi2 = K.subfield(2)
sage: K4, phi4 = K.subfield(4)
sage: z2 = K2.gen()
sage: K4(z2)
Traceback (most recent call last):
...
TypeError: unable to coerce from a finite field other than the prime
subfield
}}}
But the following works
{{{
sage: f24 = K.inclusion(2,4)
sage: f24(K2.gen())
z4^3 + z4^2 + z4 + 3
}}}
I will at least fix the `_roots_univariate_polynomial` using the inclusion
morphism.
Vincent
--
Ticket URL: <http://trac.sagemath.org/ticket/15390#comment:15>
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/d/optout.
