#18279: implement rational preperiodic points for polynomials over number fields
-------------------------------------+-------------------------------------
Reporter: bhutz | Owner: bhutz
Type: enhancement | Status: needs_work
Priority: minor | Milestone: sage-6.7
Component: algebraic | Resolution:
geometry | Merged in:
Keywords: | Reviewers:
Authors: Ben Hutz | Work issues:
Report Upstream: N/A | Commit:
Branch: | ff79600f7aa59a301e6bb6ca560b6616de46039f
u/bhutz/ticket/18279 | Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Changes (by gjorgenson):
* status: needs_review => needs_work
Comment:
- the point at infinity will always be a totally ramified fixed point so
no check is needed
- Maps over QQbar seem get incorrect output:
{{{
P.<x,y> = ProjectiveSpace(QQbar,1)
H = End(P)
f = H([x^2-y^2,y^2])
print f.rational_preperiodic_points()
}}}
returns None
but
{{{
P.<x,y> = ProjectiveSpace(QQbar,1)
H = End(P)
f = H([x^2-y^2,y^2])
f = f._number_field_from_algebraics()
print f.rational_preperiodic_points()
}}}
returns [(1 : 1), (1 : 0), (-1 : 1), (0 : 1)]
--
Ticket URL: <http://trac.sagemath.org/ticket/18279#comment:4>
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.
