[sage-devel] disk space usage, snapshots, timeouts, autosave

2009-02-12 Thread Jan Groenewald
Hi Our students are going over disk space quota due to the large amounts of snapshots kept by the notebook. (They have 512M home dir quota and .sage has grown to between 60M and 120M for all of them after 3 weeks of intensive use. In one case sage could not save the notebook objects correctly d

[sage-devel] Re: disk space usage, snapshots, timeouts, autosave

2009-02-12 Thread mabshoff
On Feb 12, 12:04 am, Jan Groenewald wrote: > Hi Hi Jan, > Our students are going over disk space quota due to the large > amounts of snapshots kept by the notebook. > > (They have 512M home dir quota and .sage has grown to between 60M and > 120M for all of them after 3 weeks of intensive use.

[sage-devel] Re: A laugh

2009-02-12 Thread Simon King
On Feb 12, 7:23 am, rjf wrote: > How much work do you think Maxima should do to try to determine for > arbitrary f, if f(x)>0 or not? Perhaps the same amount of work as for the successful solution of the following two problems: sage: bool((sin(x)^2+cos(x)^2).simplify_full()>0) True sage: bool(

[sage-devel] Re: Proposal to enhance date / time features

2009-02-12 Thread ghtdak
On Feb 11, 3:47 pm, mabshoff wrote: > On Feb 11, 3:40 pm, Phaedon Sinis wrote: > > > Hi Glenn, > > > thanks for looking into this. > > At first glance, it looks like it basically allows date arithmetic. > > I was planning to incorporate Gustavo Niemeyer's relativedelta.py for this > > purpose.

[sage-devel] Re: Proposal to enhance date / time features

2009-02-12 Thread mabshoff
On Feb 12, 12:50 am, ghtdak wrote: > On Feb 11, 3:47 pm, mabshoff wrote: Hi Glenn, > The matplotlib.dates module "appears" to be Gustavo's complete > dateutil library > > http://labix.org/python-dateutil > > My guess it does everything the typical user (e.g. myself) would > need.  Being part

[sage-devel] scilab-5.03 install error

2009-02-12 Thread loga
Hi I try to down load spkg from http://sage.math.washington.edu/home/jsp/SPKGS/Scilab/scilab-5.0.3.spkg #$.1 Mb file. The extract some times worked and got the spkg_install under $HOME/SAGE dir. When I sudo spkg_install it went through the configure and was making. The end result is as given belo

[sage-devel] scilab-5.0.3-error

2009-02-12 Thread Loganathan Muthusamy
Hi I try to down load spkg from http://sage.math.washington.edu/home/jsp/SPKGS/Scilab/scilab-5.0.3.spkg #$.1 Mb file. The extract some times worked and got the spkg_install under $HOME/SAGE dir. When I sudo spkg_install it went through the configure and was making. The end result is as given belo

[sage-devel] Re: scilab-5.0.3-error

2009-02-12 Thread mabshoff
On Feb 12, 2:47 am, Loganathan Muthusamy wrote: > Hi Hi, > I try to down load spkg from >  http://sage.math.washington.edu/home/jsp/SPKGS/Scilab/scilab-5.0.3.spkg > #$.1 Mb file. The extract some times worked and got the spkg_install > under $HOME/SAGE dir. > When I sudo spkg_install it went

[sage-devel] Re: Topology software for Sage

2009-02-12 Thread Simon King
Hi! On Feb 11, 6:45 pm, William Stein wrote: > On Wed, Feb 11, 2009 at 6:52 AM, Simon King > wrote: > > My question: How should the work on inclusion of topology software be > > organized? Should one open a single trac ticket (essentially > > complaining that there is not enough topology aroun

[sage-devel] Re: Sage & reddit: "Mathematica No Longer World's Most Expensive Calculator? "

2009-02-12 Thread Dr. David Kirkby
mabshoff wrote: > Hi, > > the sage websites have been getting a couple hundred hits today as > referrals from the above story. It all boils down to (as discussed in > IRC) that MMA now offers a personal edition of MMA for about $300 for > download in the US and Canada. But you can't do research w

[sage-devel] Re: Sage & reddit: "Mathematica No Longer World's Most Expensive Calculator? "

2009-02-12 Thread mabshoff
On Feb 12, 6:12 am, "Dr. David Kirkby" wrote: > mabshoff wrote: > Michael, Hi David, > Where does the Mathematica Home Edition license say you can't do > research with it? I've herd this rumor, but nobody has managed to > substantiate this by showing the license conditions. You are correc

[sage-devel] Re: A laugh

2009-02-12 Thread kcrisman
Oh, I don't think this is as much of a bug as people think - rjf was quite wise to ask what my command was! sage: t=var('t') sage: sqrt((-m*sin(m*t))^2+(n*cos(n*t))^2).nintegral(x,0,2*pi) where m, n were determined in an interact. But I used the wrong variable in nintegral! In addition, sage:

[sage-devel] Re: A laugh

2009-02-12 Thread mabshoff
On Feb 12, 7:50 am, kcrisman wrote: . > At the very least we know Sage has its work cut out for it if it ever > wants to remove dependence on the slow-slow interface to Maxima and > Lisp issues, because these are (in general) very thorny questions. > Even if they're amusing on occasion! Yes,

[sage-devel] [Sage Bug Report] - cuspform_lseries() computing sign of functional equation incorrectly

2009-02-12 Thread mabshoff
Sal reports: The following computation should produce identical values in the last line: E=EllipticCurve('37b2') h=E.modular_form() Lh = h.cuspform_lseries() LE=E.lseries() h.elliptic_curve()==E, Lh(1), LE(1) The output is: (True, 0, 0.725681061936153) I'm running Sage 3.3.alpha3 of sage.math

[sage-devel] Sage 3.3.rc0 binary for MacIntel OSX 10.5

2009-02-12 Thread mabshoff
Hi, since someone asked in IRC I build a 3.3.rc0 on a MacIntel running OSX 10.5. It can be found at http://sage.math.washington.edu/home/mabshoff/release-cycles-3.3/sage-3.3.rc0-OSX10.5-i386-Darwin.dmg [311 MB] Note that this build has the spiffy new app bundle, so you can play with that now be

[sage-devel] Re: Sage 3.3.rc0 released

2009-02-12 Thread John Cremona
I get one test failure for 3.3.rc0: sage -t "devel/sage/sage/misc/package.py" but I think it might have been a problem with my home internet connection while I was out of the house, as it works fine now. ubuntu 32-bit. John --~--~-~--~~~---~--~~ To post to

[sage-devel] Re: Sage & reddit: "Mathematica No Longer World's Most Expensive Calculator? "

2009-02-12 Thread Dr. David Kirkby
mabshoff wrote: > > > On Feb 12, 6:12 am, "Dr. David Kirkby" > wrote: >> mabshoff wrote: > > > >> Michael, > > Hi David, Hi Michael. >> Where does the Mathematica Home Edition license say you can't do >> research with it? I've herd this rumor, but nobody has managed to >> substantiate thi

[sage-devel] Re: Sage & reddit: "Mathematica No Longer World's Most Expensive Calculator? "

2009-02-12 Thread William Stein
On Thu, Feb 12, 2009 at 11:16 AM, Dr. David Kirkby wrote: > > mabshoff wrote: >> >> >> On Feb 12, 6:12 am, "Dr. David Kirkby" >> wrote: >>> mabshoff wrote: >> >> >> >>> Michael, >> >> Hi David, > > Hi Michael. > >>> Where does the Mathematica Home Edition license say you can't do >>> research w

[sage-devel] Re: tab completion and function aliases cluttering the namespace

2009-02-12 Thread Robert Bradshaw
On Feb 10, 2009, at 11:44 PM, Simon King wrote: > > On Feb 10, 11:58 am, "Nicolas M. Thiery" > wrote: > ... >> One advantage is that this should require no change in the sage >> interfaces. In particular, this does not require playing with special >> inputs like Shift-TAB, which can be messy in

[sage-devel] Re: A laugh

2009-02-12 Thread rjf
On Feb 11, 11:35 pm, boot...@u.washington.edu wrote: > > Are you aware of the results of Daniel Richardson on the recursive > > undecidability of > > (rather simple) identities?  He proved that in general there is no > > algorithm possible. > > Yeah, and the halting problem is undecidable too, b

[sage-devel] Re: A laugh

2009-02-12 Thread rjf
If there is an algorithm for simplify_full(), then presumably it could be programmed in Lisp, and incorporated in Maxima. You are invited to do so. I assume that there are examples for which it doesn't do what you want, and so you could argue that it should do more work. I also assume there are

[sage-devel] Re: A laugh

2009-02-12 Thread rjf
On Feb 12, 7:50 am, kcrisman wrote: > Oh, I don't think this is as much of a bug as people think - rjf was > quite wise to ask what my command was! > > sage: t=var('t') > sage: sqrt((-m*sin(m*t))^2+(n*cos(n*t))^2).nintegral(x,0,2*pi) > > where m, n were determined in an interact.  But I used th

[sage-devel] Re: Generic tests and categories (was doctesting __hash__ ?)

2009-02-12 Thread Nicolas M. Thiery
On Tue, Feb 10, 2009 at 01:57:57PM -0800, mabshoff wrote: > Nicolas, now I am seeing your intention, you are just trying to get > people to use combiant :) Of course, what else? > > (sorry, this is big, if not just because there are about 80 categories) > > Yes, and my suspicion that hopf_algeb

[sage-devel] Re: A laugh

2009-02-12 Thread rjf
On Feb 12, 8:01 am, mabshoff wrote: > On Feb 12, 7:50 am, kcrisman wrote: > > > . > > > At the very least we know Sage has its work cut out for it if it ever > > wants to remove dependence on the slow-slow interface to Maxima and > > Lisp issues, because these are (in general) very thorny que

[sage-devel] Object loading problem on mod.math

2009-02-12 Thread salmanhb
Hi, I used the following code: /home/sbutt/frg/lcalc/ap-to-an.sage adapted from Craig's code on sage.math and it ran perfectly well on v. 3.3.alpha3 (though it did complain about the data being stored in an old format). But on mod.math (sage v. 3.2.3), I get the error posted below. It seems 3

[sage-devel] Pickling classes (not class instances)

2009-02-12 Thread Nicolas M. Thiery
Dear Sage developers, Here is a question I posted on comp.lang.python on January 10th without getting any answer yet. It's about class pickling which is the main show stopper for the new category framework. Comments, or suggestions of persons to contact are very very welcome! Best regar

[sage-devel] Re: Object loading problem on mod.math

2009-02-12 Thread Craig Citro
Are these the pickles William has sitting in his home directory (the ones we computed last summer on ranger/lonestar)? If so, they don't unpickle in anything between ~3.0.5 and the first 3.3.alpha after the San Diego conference. So they just don't work in 3.2.3. The details, if you're interested:

[sage-devel] Re: A laugh

2009-02-12 Thread Alex Ghitza
On Fri, Feb 13, 2009 at 2:50 AM, kcrisman wrote: > > Still, I suppose that it would seem natural to check for the most > common things of this kind like sin^2+cos^2. Even WeBWorK, a Perl > homework checker, checks for this sort of thing in its (non-CAS-based) > algorithm. > > For the record, WeB

[sage-devel] Re: Object loading problem on mod.math

2009-02-12 Thread salmanhb
Ah, that explains it. Indeed it was the old pickles William has sitting in his directory. Mike asked me to churn out a bunch of lcalc files using the code you wrote over the summer that I was hoping to avoid doing on sage.math so as not to eat up too many resources. I'll ask Mike how pressing it i

[sage-devel] Re: Sage & reddit: "Mathematica No Longer World's Most Expensive Calculator? "

2009-02-12 Thread mabshoff
On Feb 12, 11:16 am, "Dr. David Kirkby" wrote: > mabshoff wrote: > There are often talks about new or interesting software on Solaris. I'm > sure Sun would welcome it, as they are sponsoring the port. For the record: The port is being sponsored by the DoD, not Sun. Sun certainly isn't unhap

[sage-devel] Re: Pickling classes (not class instances)

2009-02-12 Thread Carl Witty
On Thu, Feb 12, 2009 at 2:42 PM, Nicolas M. Thiery wrote: > Is there a specific reason for this restriction? No idea... :) > Would it be thinkable to move up the copy reg dispatch before the > metaclass treatment in pickle and cPickle? I did it locally, and it > fixed my problem. We probably w

[sage-devel] Re: Object loading problem on mod.math

2009-02-12 Thread William Stein
On Thu, Feb 12, 2009 at 3:07 PM, salmanhb wrote: > > Ah, that explains it. Indeed it was the old pickles William has > sitting in his directory. Mike asked me to churn out a bunch of lcalc > files using the code you wrote over the summer that I was hoping to > avoid doing on sage.math so as not t

[sage-devel] Re: tab completion and function aliases cluttering the namespace

2009-02-12 Thread Franco Saliola
On Thu, Feb 12, 2009 at 10:13 PM, Robert Bradshaw wrote: > > On Feb 10, 2009, at 11:44 PM, Simon King wrote: > >> An alternative idea: >>  FOO.X  -->  all attributes starting with X >>  FOO.X (press TAB twice) --> all attributes containing X >> >> Perhaps this is easier to implement. > > I actual

[sage-devel] Re: A laugh

2009-02-12 Thread kcrisman
> For the record, WeBWorK does not actually understand symbolic expressions, > simplifications, etc.  So how does it check that the student's messed-up > unsimplified symbolic answer is "the same" as the hard-coded correct > symbolic answer to the question?  It evaluates both expressions numerical

[sage-devel] Re: Sage 3.3.rc0 binary for MacIntel OSX 10.5

2009-02-12 Thread mark mcclure
On Feb 12, 11:44 am, mabshoff wrote: > Hi, > > since someone asked in IRC I build a 3.3.rc0 on a MacIntel running OSX > 10.5. It can be found at > http://sage.math.washington.edu/home/mabshoff/release-cycles-3.3/sage... > [311 MB] Didn't quite work for me. When trying diff(x^2,x), I get: --

[sage-devel] Re: Sage 3.3.rc0 binary for MacIntel OSX 10.5

2009-02-12 Thread mabshoff
On Feb 12, 4:55 pm, mark mcclure wrote: > On Feb 12, 11:44 am, mabshoff wrote: > > > Hi, Hi, > > since someone asked in IRC I build a 3.3.rc0 on a MacIntel running OSX > > 10.5. It can be found at > >http://sage.math.washington.edu/home/mabshoff/release-cycles-3.3/sage... > > [311 MB] > > Di

[sage-devel] Re: Sage 3.3.rc0 binary for MacIntel OSX 10.5

2009-02-12 Thread Nick Alexander
On 12-Feb-09, at 5:08 PM, mabshoff wrote: > > > > On Feb 12, 4:55 pm, mark mcclure wrote: >> On Feb 12, 11:44 am, mabshoff wrote: >> >>> Hi, > > Hi, > >>> since someone asked in IRC I build a 3.3.rc0 on a MacIntel running >>> OSX >>> 10.5. It can be found at >>> http://sage.math.washington.e

[sage-devel] Re: Sage 3.3.rc0 binary for MacIntel OSX 10.5

2009-02-12 Thread mabshoff
On Feb 12, 6:34 pm, Nick Alexander wrote: > On 12-Feb-09, at 5:08 PM, mabshoff wrote: > >> Didn't quite work for me.  When trying diff(x^2,x), I get: > > I copied the internal sage folder to my home directory, renamed,   > modified SAGE_ROOT, and this works for me. Ok, that gives me a good

[sage-devel] Coercion documentation

2009-02-12 Thread Robert Bradshaw
I have written up extensive documentation on the coercion model at http://wiki.sagemath.org/coercion . If you find coercion baffling, confusing, or unuseful, this is especially for you. I am sure there is lots of room for improvement, as what may be obvious to me can be far from obvious to