Re: [sage-devel] Interesting looking trac ticket with images

2010-11-04 Thread Dr. David Kirkby
On 11/ 4/10 11:38 PM, David Joyner wrote: sage: plot3d(sqrt(sin(x)*sin(y)),(x,-2*pi,2*pi),(y,-2*pi,2*pi),plot_points=750) and sage: B=plot3d(sqrt(sin(x)*sin(y)),(x,-2*pi,2*pi),(y,-2*pi,2*pi),plot_points=750,viewer='tachyon') sage: B.show() look better. I wonder what Mma uses as the default nu

[sage-devel] Re: Who wrote the paper saying commercial software is like hiding proofs?

2010-11-04 Thread rjf
On Nov 4, 5:17 pm, Jason Grout wrote: > On 11/4/10 6:56 PM, William Stein wrote: > > > On Thu, Nov 4, 2010 at 4:32 PM, Jason Grout   > > wrote: > >> On 11/4/10 6:12 PM, rjf wrote: > > >>> 1. can you prove a program correct without looking at its source code? > >>>     answer: yes, sometimes. > >

[sage-devel] Re: Please test #8433 (notebook, tachyon)

2010-11-04 Thread R. Grout
On Nov 4, 10:51 am, David Kirkby wrote: > On 4 November 2010 15:46, Jason Grout wrote: > > > On 11/4/10 10:43 AM, David Kirkby wrote: > > >> It looks smoother, but does not change the fundamental problem > > > I agree.  I guess one way to deal with the problem is to subdivide the space > > like t

[sage-devel] Re: Who wrote the paper saying commercial software is like hiding proofs?

2010-11-04 Thread Jason Grout
On 11/4/10 6:56 PM, William Stein wrote: On Thu, Nov 4, 2010 at 4:32 PM, Jason Grout wrote: On 11/4/10 6:12 PM, rjf wrote: 1. can you prove a program correct without looking at its source code? answer: yes, sometimes. I'm really curious. How would you do prove a program correct without

Re: [sage-devel] Re: Who wrote the paper saying commercial software is like hiding proofs?

2010-11-04 Thread William Stein
On Thu, Nov 4, 2010 at 4:32 PM, Jason Grout wrote: > On 11/4/10 6:12 PM, rjf wrote: >> >> 1. can you prove a program correct without looking at its source code? >>    answer: yes, sometimes. > > I'm really curious.  How would you do prove a program correct without > looking at its source code?  (I

Re: [sage-devel] Interesting looking trac ticket with images

2010-11-04 Thread David Joyner
sage: plot3d(sqrt(sin(x)*sin(y)),(x,-2*pi,2*pi),(y,-2*pi,2*pi),plot_points=750) and sage: B=plot3d(sqrt(sin(x)*sin(y)),(x,-2*pi,2*pi),(y,-2*pi,2*pi),plot_points=750,viewer='tachyon') sage: B.show() look better. I wonder what Mma uses as the default number of points. Does anyone know if they are

[sage-devel] Re: Who wrote the paper saying commercial software is like hiding proofs?

2010-11-04 Thread Jason Grout
On 11/4/10 6:12 PM, rjf wrote: 1. can you prove a program correct without looking at its source code? answer: yes, sometimes. I'm really curious. How would you do prove a program correct without looking at its source code? (I assume "prove correct" means that you guarantee that a certai

[sage-devel] Re: Who wrote the paper saying commercial software is like hiding proofs?

2010-11-04 Thread rjf
On Nov 4, 10:31 am, David Kirkby wrote: > On 4 November 2010 17:14, Kwankyu Lee wrote: > > > Hi Minh, > > > Thank you for the link to the article of J. Neubuser. I think the > > article should be displayed in a holy place at the Sage website, as it > > seems to me the original source of the phi

[sage-devel] Interesting looking trac ticket with images

2010-11-04 Thread Dr. David Kirkby
This is worth having a look at http://trac.sagemath.org/sage_trac/ticket/10215 even if the results are a bit depressing. Dave -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For mor

[sage-devel] English version of the book "Calcul Mathematique avec Sage"

2010-11-04 Thread Nicolas M. Thiery
Dear John, dear all, > >> Date: Sat, 30 Oct 2010 14:51:27 +0100 > >> From: John Cremona > >> With a few (preferably native English-speaking) people collaborating, > >> translating the French book would not be at all hard.  Paul, would you > >> be willing to coordinate a little project to

[sage-devel] Re: Version numbers of sage_scripts, extcode, examples, sagenb

2010-11-04 Thread John H Palmieri
On Nov 4, 11:38 am, kcrisman wrote: > > Extcode and examples are very much about the math. The scripts not as > > much, but lots of the sage library is infrastructure as well. > > Just for the record, most (all? William's said this) of examples is > now no longer necessary.   What about extcode?

[sage-devel] Re: Output format for find_fit and solve

2010-11-04 Thread Oscar Lazo
I have opened two new tickets on these matters: http://trac.sagemath.org/sage_trac/ticket/10212 http://trac.sagemath.org/sage_trac/ticket/10213 Oscar. -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@

[sage-devel] Re: technology behind Sage screencasts/videos

2010-11-04 Thread Dima Pasechnik
On Nov 5, 1:31 am, William Stein wrote: > On Thu, Nov 4, 2010 at 6:03 AM, kcrisman wrote: > > > On Nov 4, 12:04 am, Minh Nguyen wrote: > >> Hi Dima, > > >> On Thu, Nov 4, 2010 at 2:13 PM, Dima Pasechnik wrote: > >> > I saw somewhere a detailed discussion of technology behind making the > >> >

[sage-devel] Re: Version numbers of sage_scripts, extcode, examples, sagenb

2010-11-04 Thread Jason Grout
On 11/4/10 1:42 PM, Jason Grout wrote: Even better: upgrade to mathjax See http://trac.sagemath.org/sage_trac/ticket/9774 for work in progress (helpers welcome!). Jason -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to

[sage-devel] Re: Version numbers of sage_scripts, extcode, examples, sagenb

2010-11-04 Thread Jason Grout
On 11/4/10 1:14 PM, Robert Bradshaw wrote: I would also e.g. remove all fonts from the SageNB (and perhaps MoinMoin) packages; they don't compress well and it doesn't make sense to have them under revision control. The SageNB repo is full of old, *deleted* fonts. +1 to that idea. Even bette

[sage-devel] Re: Version numbers of sage_scripts, extcode, examples, sagenb

2010-11-04 Thread kcrisman
> > Extcode and examples are very much about the math. The scripts not as > much, but lots of the sage library is infrastructure as well. > Just for the record, most (all? William's said this) of examples is now no longer necessary. We've been loath to get rid of much of them easily, though. I

Re: [sage-devel] Re: Version numbers of sage_scripts, extcode, examples, sagenb

2010-11-04 Thread Robert Bradshaw
On Thu, Nov 4, 2010 at 4:45 AM, leif wrote: > On 4 Nov., 01:45, William Stein wrote: >> On Wed, Nov 3, 2010 at 1:35 AM, Robert Bradshaw >> >> wrote: >> > On Wed, Nov 3, 2010 at 1:27 AM, Jeroen Demeyer >> > wrote: >> >> On 2010-11-03 09:17, Robert Bradshaw wrote: >> >>> A lot less hassle once i

[sage-devel] Re: ISO model for Sage graphics

2010-11-04 Thread kj
I knew of matplotlib, but I was not aware of the GridSpec feature. Thanks for pointing it out. I'll look into it. Thanks also for your other comments. kj On Nov 4, 1:26 pm, Jason Grout wrote: > On 11/4/10 11:59 AM, kj wrote: > > > > > > > I would like to extend Sage to allow for recursive com

Re: [sage-devel] Re: technology behind Sage screencasts/videos

2010-11-04 Thread William Stein
On Thu, Nov 4, 2010 at 6:03 AM, kcrisman wrote: > > > On Nov 4, 12:04 am, Minh Nguyen wrote: >> Hi Dima, >> >> On Thu, Nov 4, 2010 at 2:13 PM, Dima Pasechnik wrote: >> > I saw somewhere a detailed discussion of technology behind making the >> > material on >> >http://www.sagemath.org/help-video.

Re: [sage-devel] Re: Who wrote the paper saying commercial software is like hiding proofs?

2010-11-04 Thread David Kirkby
On 4 November 2010 17:14, Kwankyu Lee wrote: > Hi Minh, > > Thank you for the link to the article of J. Neubuser. I think the > article should be displayed in a holy place at the Sage website, as it > seems to me the original source of the philosophy on which all this > Sage project is founded. >

Re: [sage-devel] Re: Who wrote the paper saying commercial software is like hiding proofs?

2010-11-04 Thread William Stein
On Thu, Nov 4, 2010 at 10:14 AM, Kwankyu Lee wrote: > Hi Minh, > > Thank you for the link to the article of J. Neubuser. I think the > article should be displayed in a holy place at the Sage website, as it > seems to me the original source of the philosophy on which all this > Sage project is foun

[sage-devel] Re: ISO model for Sage graphics

2010-11-04 Thread Jason Grout
On 11/4/10 11:59 AM, kj wrote: I would like to extend Sage to allow for recursive composition of graphics arrays. (I.e. to enable having graphics arrays as individual elements in a larger graphics array; as far as I can tell, Sage's graphics_array does not support such higher-order graphics arra

[sage-devel] Re: Who wrote the paper saying commercial software is like hiding proofs?

2010-11-04 Thread Kwankyu Lee
Hi Minh, Thank you for the link to the article of J. Neubuser. I think the article should be displayed in a holy place at the Sage website, as it seems to me the original source of the philosophy on which all this Sage project is founded. Kwankyu -- To post to this group, send an email to sage-

[sage-devel] ISO model for Sage graphics

2010-11-04 Thread kj
I would like to extend Sage to allow for recursive composition of graphics arrays. (I.e. to enable having graphics arrays as individual elements in a larger graphics array; as far as I can tell, Sage's graphics_array does not support such higher-order graphics arrays.) For this, the function that

Re: [sage-devel] Who wrote the paper saying commercial software is like hiding proofs?

2010-11-04 Thread David Kirkby
On 4 November 2010 12:06, Minh Nguyen wrote: > Hi David, > > On Thu, Nov 4, 2010 at 10:56 PM, David Kirkby wrote: >> I've seen reference to somewhere, where an academic said essentially >> that submitting a paper to a peer reviewed journal, while refusing to >> give the proof would be rejected.

Re: [sage-devel] Re: Please test #8433 (notebook, tachyon)

2010-11-04 Thread David Kirkby
On 4 November 2010 15:46, Jason Grout wrote: > On 11/4/10 10:43 AM, David Kirkby wrote: >> >> It looks smoother, but does not change the fundamental problem > > I agree.  I guess one way to deal with the problem is to subdivide the space > like the implicit_plot3d function does.  Another way is to

[sage-devel] Re: Please test #8433 (notebook, tachyon)

2010-11-04 Thread Jason Grout
On 11/4/10 10:43 AM, David Kirkby wrote: It looks smoother, but does not change the fundamental problem I agree. I guess one way to deal with the problem is to subdivide the space like the implicit_plot3d function does. Another way is to use the adaptive plotting (which presumably slices up

Re: [sage-devel] Re: Please test #8433 (notebook, tachyon)

2010-11-04 Thread David Kirkby
On 4 November 2010 13:00, Jason Grout wrote: > On 11/4/10 5:01 AM, David Kirkby wrote: >> For comparison here is the same plot in Mathematica, using: >> >> Plot3D[Sqrt[Sin[x] Sin[y]],{x,-2 Pi, 2 Pi},{y, - 2 Pi, 2 Pi}] >> >> >> http://boxen.math.washington.edu/home/kirkby/Plot3D-in-Mathematica-of-s

[sage-devel] Re: technology behind Sage screencasts/videos

2010-11-04 Thread kcrisman
On Nov 4, 12:04 am, Minh Nguyen wrote: > Hi Dima, > > On Thu, Nov 4, 2010 at 2:13 PM, Dima Pasechnik wrote: > > I saw somewhere a detailed discussion of technology behind making the > > material on > >http://www.sagemath.org/help-video.html > > but cannot find this anymore. > I actually asked

[sage-devel] Re: Please test #8433 (notebook, tachyon)

2010-11-04 Thread Jason Grout
On 11/4/10 5:01 AM, David Kirkby wrote: On 4 November 2010 08:35, Jeroen Demeyer wrote: Over at #8433, we have some 3d plot using Tachyon which works for some people but not for others. I believe it would be useful to have some people test it such that we might determine why it works on some s

Re: [sage-devel] Who wrote the paper saying commercial software is like hiding proofs?

2010-11-04 Thread Minh Nguyen
Hi David, On Thu, Nov 4, 2010 at 10:56 PM, David Kirkby wrote: > I've seen reference to somewhere, where an academic said essentially > that submitting a paper to a peer reviewed journal, while refusing to > give the proof would be rejected. I'm taking a guess. It's from a small section in the f

Re: [sage-devel] Who wrote the paper saying commercial software is like hiding proofs?

2010-11-04 Thread David Roe
William Stein and David Joyner, Notices of the AMS. http://www.ams.org/notices/200710/ David On Thu, Nov 4, 2010 at 07:56, David Kirkby wrote: > I've seen reference to somewhere, where an academic said essentially > that submitting a paper to a peer reviewed journal, while refusing to > give the

[sage-devel] Who wrote the paper saying commercial software is like hiding proofs?

2010-11-04 Thread David Kirkby
I've seen reference to somewhere, where an academic said essentially that submitting a paper to a peer reviewed journal, while refusing to give the proof would be rejected. Yet that is what happens wihen one uses tools like Mathematica. It was on the Sage website somewhere - can anyone tell me whe

[sage-devel] Re: Version numbers of sage_scripts, extcode, examples, sagenb

2010-11-04 Thread leif
On 4 Nov., 01:45, William Stein wrote: > On Wed, Nov 3, 2010 at 1:35 AM, Robert Bradshaw > > wrote: > > On Wed, Nov 3, 2010 at 1:27 AM, Jeroen Demeyer > > wrote: > >> On 2010-11-03 09:17, Robert Bradshaw wrote: > >>> A lot less hassle once it's implemented though. > >> Which "hassle"?  What's t

Re: [sage-devel] ticket #10210 is suitable for beginning contributors

2010-11-04 Thread John Cremona
And http://trac.sagemath.org/sage_trac/ticket/10182 is even easier! John On Thu, Nov 4, 2010 at 11:06 AM, Minh Nguyen wrote: > Hi folks, > > If you are new to Sage development, you might want to review ticket #10210: > > http://trac.sagemath.org/sage_trac/ticket/10210 > > If you want, I promise

[sage-devel] ticket #10210 is suitable for beginning contributors

2010-11-04 Thread Minh Nguyen
Hi folks, If you are new to Sage development, you might want to review ticket #10210: http://trac.sagemath.org/sage_trac/ticket/10210 If you want, I promise to guide you through the review process. -- Regards Minh Van Nguyen -- To post to this group, send an email to sage-devel@googlegroups.

Re: [sage-devel] Re: PyLab from notebook?

2010-11-04 Thread Andrzej Giniewicz
Hi, Thanks for your opinion on this. I looked at > def f(): >   from pylab import * ... >   savefig('test.png') before, but didn't liked the warning - also wondered about other proposed way: > pylab_mode() ... > pylab_mode(False) but it looked really fake to me. I liked the "with" approach, no

Re: [sage-devel] Please test #8433 (notebook, tachyon)

2010-11-04 Thread David Kirkby
On 4 November 2010 08:35, Jeroen Demeyer wrote: > Over at #8433, we have some 3d plot using Tachyon which works for some > people but not for others.  I believe it would be useful to have some > people test it such that we might determine why it works on some systems > but not on others. > > It's

[sage-devel] Please test #8433 (notebook, tachyon)

2010-11-04 Thread Jeroen Demeyer
Over at #8433, we have some 3d plot using Tachyon which works for some people but not for others. I believe it would be useful to have some people test it such that we might determine why it works on some systems but not on others. It's just a matter of copy-pasting the code in the bug report fro

Re: [sage-devel] Re: Failed to build Atlas in Sage 4.5.2 on Xenon processor.

2010-11-04 Thread Jan Groenewald
Hi On Thu, Nov 04, 2010 at 12:34:50AM -0700, jonha...@gmail.com wrote: > jonha...@[~/my_sage_dir/SAGE_parsley_Build_Testing/sage-4.6]: sage -t > "devel/sage/sage/interfaces/qepcad.py" > from expect import Expect, ExpectFunction, AsciiArtString > ImportError: No module named expect I'm not sur

[sage-devel] Re: Failed to build Atlas in Sage 4.5.2 on Xenon processor.

2010-11-04 Thread jonha...@gmail.com
Hi, I just built sage-4.6 on this machine (Sun Fire X4450 -- with Xenon processors), and it passes all doctests except for one (see below), even though the trac ticket http://trac.sagemath.org/sage_trac/ticket/9864 was postponed to be fixed in 4.6.1. Thanks to whomever mostly fixed this! -