[sage-devel] Re: fast linear algebra over cyclotomic fields

2008-04-27 Thread William Stein
Hi, Regarding fast cyclotomic linear algebra, there is now a wiki page up: http://wiki.sagemath.org/cyclo which has a link to some code, todo list, notes, etc., We have a basic matrix type for cyclotomic linear algebra, and today Craig and I worked on fast multimodular charpoly. Our first

[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: [Maxima] [sage-devel] compiling Maxima by ECL

2008-04-27 Thread Michael.Abshoff
Richard Fateman wrote: > Hello, > >> The paramount reason to attempt to go with ecl instead of gcl >> or clisp >> [only self-hosted, build from source, Open Source lisps need >> apply :)] > > As I've mentioned previously, this seems to me an arbitrary requirement; Yes, I am well awa

[sage-devel] Re: [Maxima] [sage-devel] compiling Maxima by ECL

2008-04-27 Thread Michael.Abshoff
Richard Fateman wrote: > Hi Michael: Hi Richard, > Out of curiosity, I visited the ECL home page. It is my understand that the sf website is mostly out of date, so I never took a closer look. The current state can be found in a presentation at http://ecls.wiki.sourceforge.net/space/showimag

[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

[sage-devel] Re: Sage 3.0.1.alpha0 released

2008-04-27 Thread Jaap Spies
mabshoff wrote: > Hello folks, > > this is 3.0.1.alpha0. So far we have only merged bugfixes, > nothing invasive so far. 24 tickets have been closed so far > and I am not quite sure what the rest of the release cycle > will look like because it currently doesn't look like we > need a pure bug fix