On 27-Apr-08, at 10:58 AM, Craig Citro wrote: > > I agree -- I was thinking that as soon as Kiran's code was merged, > someone who knew their way around all the various code we have for > elliptic and hyperelliptic curve zeta functions (so including David > Harvey's stuff that was just merged) would come along and add in code > that called off to the appropriate places. I probably should have done > some of that for elliptic curves when I was refereeing the code, but I > don't know anything about what goes on in the hyperelliptic case ... > so I was lazy. :)
Yes, I think this is necessary, but now I'm not even so sure Kiran's approach is optimal. IIRC, his code computes a power series approximation to the zeta function. In practice, many (most?) zeta functions are rational. I would prefer rational approximations that can be proved correct on demand. That seems to require rational function reconstruction, a subject that has been heavily researched. Would someone in the know say whether or not Sage can do that? Nick --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to [email protected] To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
