On Nov 30, 2007 10:19 AM, William Stein <[EMAIL PROTECTED]> wrote: > On Nov 30, 2007 9:50 AM, David Roe <[EMAIL PROTECTED]> wrote: > > Excellent list! Maybe I should take a break from p-adics and do some of > > these. Some of the gaps should be quite easy to fill in. > > Please do not just blanket add all these without thought. For example, > the first one I glanced at was: > > safeprime(n) smallest prime p ≥ n s.t. (p-1)/2 is prime > > I don't want Sage to have a command "safeprime" at the top > level, since it seems trivial to implement and would clutter > the top namespace. There are several other things like this, e.g,
Just looking over the list again, I think there are many functions that we should actually add to Sage if we can (e.g., Thue) at the top level. It would be very useful for somebody (Stephen say), to go through the list of functions and describe for each how he would like them to look from Sage. I.e., make an example doctest for every function that should be available at the top level from Sage. This would nicely get the ball rolling, and shouldn't be too hard to do. William > > GIgcd(x) GCD of Gaussian integers > > I definitely definitely don't think Sage should have a function GIgcd at the > top > level, since we have Gaussian integers and you can do much the same > thing like this: > > sage: R.<i> = ZZ[i] > sage: R > Order in Number Field in I with defining polynomial x^2 + 1 > sage: a = (2 + i)*(3-i); b = (7+2*i)*(3-i)^2 > sage: R.ideal([a,b]) > Fractional ideal (6) > > That said, I think I would be happy with something like: > > sage: maple_numtheory.safeprime(10) > ... > sage: maple_numtheory.GIgcd((2 + i)*(3-i), (7+2*i)*(3-i)^2) > 6 > > etc. In otherwords, maple maple_numtheory.[tab] give a clone of > the number theory functionality of Maple, and of course we should > make sure it is faster than Maple for every function. > > What do you guys think? > > William > > > > > > > > > > > On Nov 30, 2007 12:45 PM, Stephen Forrest < [EMAIL PROTECTED]> > > wrote: > > > > > > Hello all, > > > > > > I've lurked on this list for a time, commenting little because I am > > > not yet familiar with Sage. Some time ago on this list, there was > > > some discussion of what number-theoretic functionality Maple > > > has that Sage still lacks. > > > > > > Since I have a substantial background in Maple, as a exercise in > > > learning Sage I have compiled a list of number-theoretic > > > Maple functions along with any Sage equivalent that is available. The > > > results are available here: > > > > > > http://wandership.ca/projects/sage/numtheory-SAGE.html > > > > > > Any questions, corrections, or other comments are welcome. > > > > > > regards, > > > > > > Steve > > > > > > > > > > > > > > > > > > > > -- > William Stein > Associate Professor of Mathematics > University of Washington > http://wstein.org > -- William Stein Associate Professor of Mathematics University of Washington http://wstein.org --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://sage.scipy.org/sage/ and http://modular.math.washington.edu/sage/ -~----------~----~----~----~------~----~------~--~---
