On Tue, Mar 3, 2015 at 12:38 AM, Dávid Fonyó <[email protected]> wrote: > Hi, > > my name is Dávid Fonyó. I am doing a master's degree of theoretical > mathematics in Hungary at Eötvös Loránd University. I have a bachelor's > degree in mathematics and in computer science too. > I would like to participate in the Google Summer of Code 2015 program, > working for Sage would be a great opportunity for me. I am interested in the > "Hermite Normal Forms for modules over the ring of integers of number > fields" project. I will not have problem with the mathematical background. > I have been using Sage for 5 years, and I am familiar with Python too. > I would be very grateful if you could give me some information about how to > get involved in this project.
1. There is supposed to be a section in a book by Henri Cohen with an algorithm. Maybe somebody who has can report here with a more precise reference. This talks about things like "pseudo basis", etc., which are needed to do modular theory of non-PID dedekind domains... 2. The outcome of discussions / tests last summer at a Sage Days were: "To my understanding, the only things we decided were: Pari is buggy, a naive implementation (without working modulo an appropriate determinant) will likely behave very badly, and this will be very useful in a number of places (not just in quaternion arithmetic)." In particular, though pari has this functionality, we found it to be (1) very slow, and (2) wrong. Maybe that has changed by now. I don't know. It would be great if some pari fan were to take offense to the above remarks and prove me wrong! 3. I wrote a paper on Hermite Normal Form (over ZZ) which informs the implementation in Sage (http://wstein.org/papers/hnf/). The algorithm there is dramatically faster than anything else at the time over ZZ. You should read it. 4. You will definitely have to have access to Magma. It has the only definitely good Hermite normal form over number fields implementation in existence. If you're really serious about taking on this challenge, it would be really exciting if you can do it. William -- William (http://wstein.org) -- You received this message because you are subscribed to the Google Groups "sage-gsoc" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-gsoc. For more options, visit https://groups.google.com/d/optout.
