Re: [sage-devel] Some enhancements related to padics
Le dimanche 24 mars 2013, David Roe a écrit : > 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 would be happy also to have these permissions :-). By I don't understand exactly what is the status of this git project. Is it just something Julian and you have installed to collaborate on on a precise Trac ticket? Is it something concurrent to Trac? Do you project to merge this git project with the oncoming Trac under git? > 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. Great! The first week of September is fine with me! For french (and maybe european) guys, it's also better because teaching begins in general later in September. --Xavier -- 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.
Re: [sage-devel] Some enhancements related to padics
On Sun, Mar 24, 2013 at 8:42 AM, William Stein wrote: > On Sun, Mar 24, 2013 at 4:59 AM, Xavier Caruso > 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
Re: [sage-devel] Some enhancements related to padics
Le dimanche 24 mars 2013, William Stein a écrit : > > . 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? Actually, it is not so involved: for Hermite form and Smith form, I just choose at each step the pivot with minimal valuation. I am not completely sure that it's optimal but it works quite well in practice. Concerning LU factorization, I have written the following paper: http://perso.univ-rennes1.fr/xavier.caruso/articles/LU.pdf (see section 2.1.2). --Xavier -- 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.
Re: [sage-devel] Some enhancements related to padics
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. --Xavier -- 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.
Re: [sage-devel] Some enhancements related to padics
On Sun, Mar 24, 2013 at 4:59 AM, Xavier Caruso 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? William > 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. > > 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? > > Best wishes, > --Xavier > > -- > 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. > > -- William Stein Professor of Mathematics University of Washington http://wstein.org -- 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.
Re: [sage-devel] Some enhancements related to padics
On 2013-03-24 12:59, Xavier Caruso wrote: > Until now, I've not submitted these patches to the trac server. I > actually would like to have some feedback before. If you want comments and feedback, please *do* submit them to Trac, preferably not as one big patch bomb, but separated on multiple tickets. Also: are you aware of http://trac.sagemath.org/sage_trac/ticket/12555 because your patches should be applied on top of that. -- 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.
[sage-devel] Some enhancements related to padics
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) 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. 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? Best wishes, --Xavier -- 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.