Hi Maarten, Thank you for the link. It was the thing I was looking for. I have read Hess's paper on his algorithm for computing basis for Riemann- Roch space . I'm pretty happy to start working on it , once I went through your code and see what we have available at hand.
Also for my research I was thinking about implementing some of the algorithms when the minimal polynomial or the curve equation is given parametrically. This is something that Maple is good at it but I don't think Magma support anything of that kind. For example I once I roughly went through the algorithms in RR paper of Hess and I saw no serious obstacle in all necessary algorithms if the curve equation is given parametrically (for example you can still do ideal reduction, etc basically if you don't solve non-linear equation then probably it should work). Anyways, I'm going to delve into the patch and I'll get back to you with question. Cheers, Syd P.S. I think I reported the thread by mistake as offensive or something and I can't undo what I did. I just wanted to make it clear that I don't usually get offended by a discussion on function fields ;) On 16 נובמבר, 09:12, Maarten Derickx <m.derickx.stud...@gmail.com> wrote: > Dear Syd, > > As one of the active participants on that ticket. I can probably also help > out, I would like it if you add me as a CC to future posts about this > subject on sage-devel (which I think is where you should ask future > questions). > Very nice that you want to get started implementing more function field > stuff in sage! The best overview of what we want to get done is probably on > [1]. A lot of the more basic things over there have already been > implemented, so now it is time to start on the more interesting algorithms > (divisor reduction, and the computation of riemann-roch spaces and picard > groups). These things can already be computed in magma, but not yet in sage > sadly enough. A good point to start reading about the different algorithms > wich still need to get implemented are the paper and slides of Florian Hess > on [1]. > > [1]http://wiki.sagemath.org/daysff/curves > > ps. Jeroen > > The dependency on 9138 is a very trivial one. A while ago Julian and I > expected that 9138 would be merged before this ticket so we based our > patches on this one. It would be zero effort to rebase the patches without > 9138 (i.e. change 'something_with_category' to 'something' in some > doctests). So this could be changed. But I rather put effort in reviewing > 11900 instead of rebasing patches the next time I have time to work on sage. -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
