#20309: Expose PARI code for Frobenius matrix on hyperelliptic curves
-------------------------------------------------+-------------------------
Reporter: kedlaya | Owner:
Type: enhancement | Status: new
Priority: major | Milestone: sage-7.2
Component: algebraic geometry | Resolution:
Keywords: hyperelliptic curve, matrix | Merged in:
of Frobenius | Reviewers:
Authors: | Work issues:
Report Upstream: N/A | Commit:
Branch: | Stopgaps:
Dependencies: |
-------------------------------------------------+-------------------------
Comment (by jpflori):
Replying to [comment:2 kedlaya]:
> According to an email from Bill Allombert:
> {{{
> Mostly, the reason I did not make nfhyperellpadicfrobenius()
> public in the first place was that I was not sure what to write in
> the documentation that would tell users what it is good for and how
> to use it.
> }}}
> However, there do exist some use cases where it is relevant; I'll try to
put together a coherent post describing these.
On top of what you said here:
http://trac.sagemath.org/ticket/18916#comment:16
a use case for getting the matrix rather than the charpoly is to compute
number of points on the curve faster by using less precision than need for
the charpoly.
That's already implemented that way in Sage.
--
Ticket URL: <http://trac.sagemath.org/ticket/20309#comment:3>
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.
