On Sun, Mar 24, 2013 at 8:42 AM, William Stein <wst...@gmail.com> wrote:
> On Sun, Mar 24, 2013 at 4:59 AM, Xavier Caruso > <xavier.car...@normalesup.org> wrote: > > Dear Sage lovers, > > > > I've recently written several patches/packages related to p-adics > > in Sage. Here is an overview of what I've done: > > > > . an implementation of Frobenius endormophisms over p-adic > > rings (as morphism - the method x.frobenius() already exists) > > > > . an implementation of Newton polygons as a separated class > > > > . an implementation of several useful function on polynomials over > > p-adic rings and fields (like Hensel lift, slope factorization) > > > > . an implementation of bounded convergent series over ultrametic > > balls (this includes in particular power series over rings like > > Z_p); this patch is undocumented yet > > > > . (very early stage) based on some discussions with David Roe, a > > package implementating a new approch to p-adics (and actually, > > more generally to inexact elements): the main feature is that > > approximation and precision are now completely separated objects > > (which should allow at some point more flexibility). > > This package also provides a first implementation of lazy p-adics. > > > > and hopefully, coming soon (I'm working on this currently): > > > > . an implementation of several useful decompositions of matrices > > over p-adics (like Hermite form, Smith form, LU factorization) > > Is there a paper somewhere explaining how the algorithms you've > implemented for p-adic "numerical analysis" work? > Xavier and I are planning on writing something once we have an implementation in Sage. We currently have a very rough draft, but I haven't been able to put in enough time to the project to make progress recently. > together with a special implementation of modules over p-adic > > rings and vector spaces over p-adic fields > > > > All of this is available online on the CETHop website: > > http://cethop.math.cnrs.fr/prodscient/algos.html > > (webpage written in french, sorry). > > Also available are some demo worksheets: > > https://cethop.math.cnrs.fr:8443/pub/ > > The page: > > https://cethop.math.cnrs.fr:8443/ > > provides an access to a sage session (via the Notebook) where all > > the above patches are applied. You can then use them inline if you > > don't want to install them on your computer. If you want an account > > on this Notebook, please just email and ask me. > > > > Until now, I've not submitted these patches to the trac server. I > > actually would like to have some feedback before. So please, don't > > hesitate to comment on my work. > As Jeroen said, trac is a good place for comments: it's alright if patches you put up there are still in an early stage. Sage Days 47 is this upcoming week, working on transitioning Sage to git. Julian and I are currently using a github repository to collaborate on p-adics in Sage (https://github.com/saraedum/sage/tree/Zq). We'd be happy to give you permissions to push to it. I'm hoping that the state of collaboration on Sage using git will advance a lot in the next week: I'll write an update after the workshop. > > By the way, I have the vague project to organize Sage Days (about > > p-adics) in September in Rennes. Could you please tell me if you > > could be interested and available at that time? > I'm definitely interested. Classes in Calgary start on September 9; I would be available between September 3 and September 8. Later in September could work (I can probably find someone to cover for me), but I don't want to miss the first week of classes. On Sun, Mar 24, 2013 at 10:27 AM, Xavier Caruso < xavier.car...@normalesup.org> wrote: >Le dimanche 24 mars 2013, Jeroen Demeyer a écrit : >> If you want comments and feedback, please *do* submit them to Trac, >> preferably not as one big patch bomb, but separated on multiple >> tickets. > >Ok, ok. I will do it. > >> Also: are you aware of http://trac.sagemath.org/sage_trac/ticket/12555 >> because your patches should be applied on top of that. > >I was aware about this ticket but I didn't know that it was positively >reviewed recently. (By the way, I tried to apply this patch on the top >of sage 5.7 and it failed. Should I apply this on the top of sage 5.8? >Something else?) > >Since a large part of my patches use only the external API of p-adics, >I think that it should be rather easy to make them compatible with the >general framework of templates. Excellent. Julian and I were were working off sage 5.9-beta0, but the patches should apply without much trouble against 5.8. David -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
