[sage-devel] Re: Zeta functions for schemes over F_p

2008-04-28 Thread mabshoff
On Apr 28, 4:33 am, mabshoff <[EMAIL PROTECTED] dortmund.de> wrote: > For the record: I have reverted the patches after Nick suggested > backing them out. We plan to release 3.0.1 soon, but we can revisit > this in 3.0.2 ;) Nick and Craig did discuss this in IRC last night and after some semant

[sage-devel] Re: Zeta functions for schemes over F_p

2008-04-27 Thread mabshoff
For the record: I have reverted the patches after Nick suggested backing them out. We plan to release 3.0.1 soon, but we can revisit this in 3.0.2 ;) Cheers, Michael --~--~-~--~~~---~--~~ To post to this group, send email to sage-devel@googlegroups.com To unsubscr

[sage-devel] Re: Zeta functions for schemes over F_p

2008-04-27 Thread John Cremona
I have taken a look at the code. Some tweaking will be needed to make it sensibly compatible with the existing code for point counting of elliptic curves. There, the function cardinality() takes a parameter extension_degree with default 1, while you do a base change to get the cardinality over

[sage-devel] Re: Zeta functions for schemes over F_p

2008-04-27 Thread Nick Alexander
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) wo

[sage-devel] Re: Zeta functions for schemes over F_p

2008-04-27 Thread Craig Citro
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 app

[sage-devel] Re: Zeta functions for schemes over F_p

2008-04-27 Thread Nick Alexander
On 27-Apr-08, at 4:59 AM, John Cremona wrote: > > How does this generic code interact with the existing code for > elliptic curves? I read the code and I think that Kiran's zeta function needs to be overridden for elliptic curves to use the existing BSGS and Kedlaya implementations. Nick

[sage-devel] Re: Zeta functions for schemes over F_p

2008-04-27 Thread John Cremona
How does this generic code interact with the existing code for elliptic curves? John 2008/4/15 Kiran Kedlaya <[EMAIL PROTECTED]>: > > There is an old ticket #793 about implementing a zeta_function method > for hyperelliptic curves. Such a method would have to have a default > behavior in case

[sage-devel] Re: Zeta functions for schemes over F_p

2008-04-27 Thread Kiran Kedlaya
For the record, a version of my generic code (with a bit of help from craigcitro) has been merged into 3.0.1alpha1, as ticket #3031. Anyone now interested in tackling #793 should let me know. Kiran On Apr 15, 1:56 pm, Kiran Kedlaya <[EMAIL PROTECTED]> wrote: > There is an old ticket #793 about i