[sage-combinat-devel] Categories review: ordered_monoids.py

2009-10-23 Thread javier
Positive review for ordered_monoids.py Maybe it would be useful to add in the description that we are talking about *totally* ordered monoids and what does multiplication preserves the ordering mean. Cheers Javier --~--~-~--~~~---~--~~ You received this message

[sage-combinat-devel] Re: Fwd: [sage-devel] Re: Categories restart

2009-10-23 Thread Nicolas M. Thiery
Dear David, dear Javier, On Fri, Oct 23, 2009 at 05:23:15PM +0200, David R. Kohel wrote: I put of positive review of most of the assigned category files. Excellent! Thanks much! Note that I hadn't downloaded those attributed to Javier, so these are still outstanding. Feel free to

[sage-combinat-devel] Re: Fwd: [sage-devel] Re: Categories restart

2009-10-23 Thread Nicolas M. Thiery
Dear William, dear David, Dear Javier, Yippee, there remains essentially only eight categories left to review! On Sat, Oct 24, 2009 at 12:04:45AM +0200, Nicolas Thiéry wrote: On Fri, Oct 23, 2009 at 05:23:15PM +0200, David R. Kohel wrote: I put of positive review of most of the

[sage-devel] Re: 0^0

2009-10-23 Thread Paul Zimmermann
From: William Stein wst...@gmail.com Date: Thu, 22 Oct 2009 14:14:41 -0700 On Thu, Oct 22, 2009 at 2:02 PM, John H Palmieri jhpalmier...@gmail.com wrote: On Oct 22, 8:57 am, William Stein wst...@gmail.com wrote: On Thu, Oct 22, 2009 at 8:11 AM, John H Palmieri

[sage-devel] Re: SAT Solvers in Sage, some COQ ?.... General questions

2009-10-23 Thread Michael Brickenstein
Hi! I would like to see that in Sage too. The combination of Gröbner bases and DPLL is very interesting (also from a verification point of view). I can only recommend to read the following paper. C. Condrat and P. Kalla, A Groebner Basis Approach to CNF formulae Preprocessing I think, using

[sage-devel] Re: Treasurer

2009-10-23 Thread William Stein
On Thu, Oct 22, 2009 at 12:00 PM, William Stein wst...@gmail.com wrote:  For example, right now we're having regular trouble with the trac server not being robust enough (IMHO).  Spending a little money on somebody to fix this situation would make sense. Just an update on this: Mike Hansen

[sage-devel] Re: Treasurer

2009-10-23 Thread Burcin Erocal
On Thu, 22 Oct 2009 23:41:16 -0700 William Stein wst...@gmail.com wrote: Just an update on this: Mike Hansen saw this and decided to just do something about it (thus yet again earning his well-deserved sage dev prize!). He says Trac and its database are now running directly on boxen. Trac

[sage-devel] Re: Operating systems too old or too new.

2009-10-23 Thread David Kirkby
2009/10/23 Robert Bradshaw rober...@math.washington.edu: There are many things that are checked in configure scripts, but I do not know what are actually needed. Does Sage need 'yacc' or 'bison' for example? If I knew it did, then I could add a test for that early on, to save someone the

[sage-devel] Sage 4.2.alpha1 released

2009-10-23 Thread Mike Hansen
Hello all, Sage 4.2.alpha1 is out. Source and binary areavailable at http://sage.math.washington.edu/home/mhansen/release/4.2/alpha1/sage-4.2.alpha1.tar http://sage.math.washington.edu/home/mhansen/release/4.2/alpha1/sage-4.2.alpha1-sage.math.washington.edu-x86_64-Linux.tar.gz The upgrade

[sage-devel] Re: Operating systems too old or too new.

2009-10-23 Thread Dr. David Kirkby
Robert Bradshaw wrote: On Oct 22, 2009, at 4:45 PM, Dr. David Kirkby wrote: Peter Jeremy wrote: On 2009-Oct-16 13:05:02 +0100, Dr. David Kirkby david.kir...@onetel.net wrote: I'm updating a configure script which will warn users if their operating system is too old. In the case of a

[sage-devel] Re: Categories restart: call for reviewers

2009-10-23 Thread Nicolas M. Thiery
On Mon, Oct 19, 2009 at 11:01:00PM -0700, Robert Bradshaw wrote: On Oct 13, 2009, at 12:34 PM, Nicolas M. Thiery wrote: Any chances for you to review shortly: http://combinat.sagemath.org/patches/file/tip/categories-fixsagelib-nt.patch Looks fine to me. Seems to be mostly renaming stuff

[sage-devel] sage script / worksheet integration

2009-10-23 Thread zeliboba
dear all I started to play with sage recently and noticed that stand-alone scripts and worksheets are really decoupled. I would prefer to have script, for doing quick and dirty calculations, but next it would be good to use notebook to share it with colleagues. is there simple way to convert

[sage-devel] Re: Darwin versions supported on sage - what does config.h show?

2009-10-23 Thread Georg S. Weber
Hi, for the record, the (above mentioned) Wikipedia article: http://en.wikipedia.org/wiki/Darwin_%28operating_system%29 seems to be quite close to the truth; on MacPPC OS X 10.4.11 uname -r gives me: 8.11.0 on MacIntel OS X 10.4.11 uname -r gives me: 8.11.1 and finally on MacPPC OS X 10.2.1

[sage-devel] Re: sage script / worksheet integration

2009-10-23 Thread Pat LeSmithe
On 10/23/2009 05:23 AM, zeliboba wrote: I started to play with sage recently and noticed that stand-alone scripts and worksheets are really decoupled. I would prefer to have script, for doing quick and dirty calculations, but next it would be good to use notebook to share it with colleagues.

[sage-devel] Re: Operating systems too old or too new.

2009-10-23 Thread William Stein
On Fri, Oct 23, 2009 at 12:33 AM, David Kirkby david.kir...@onetel.net wrote: 2009/10/23 Robert Bradshaw rober...@math.washington.edu: There are many things that are checked in configure scripts, but I do not know what are actually needed. Does Sage need 'yacc' or 'bison' for example? If I

[sage-devel] Re: Darwin versions supported on sage - what does config.h show?

2009-10-23 Thread Dr. David Kirkby
Georg S. Weber wrote: Hi, for the record, the (above mentioned) Wikipedia article: http://en.wikipedia.org/wiki/Darwin_%28operating_system%29 seems to be quite close to the truth; on MacPPC OS X 10.4.11 uname -r gives me: 8.11.0 on MacIntel OS X 10.4.11 uname -r gives me: 8.11.1 and

[sage-devel] Re: Operating systems too old or too new.

2009-10-23 Thread Dr. David Kirkby
William Stein wrote: I note from there: latex -- highly recommended, though not strictly required Should a warning be issued if latex is not installed? Latex used to be a lot more important in Sage than it is now. E.g., it used to be required to build *any* documentation, but now it

[sage-devel] Re: Operating systems too old or too new.

2009-10-23 Thread William Stein
On Fri, Oct 23, 2009 at 8:50 AM, Dr. David Kirkby david.kir...@onetel.net wrote: William Stein wrote: I note from there: latex -- highly recommended, though not strictly required Should a warning be issued if latex is not installed? Latex used to be a lot more important in Sage than it

[sage-devel] Re: Darwin versions supported on sage - what does config.h show?

2009-10-23 Thread Georg S. Weber
Does it need any more than something like this added in the sage shell script? if `uname` = Darwin; then    cpu=some_code_to_check_cpu()    if [ cpu = unsuitable ] [ built_on = G5] ; then      echo Sorry, this Sage binary was created on a MacPP5 can't be run on a Mac with an older CPU

[sage-devel] Edit or Text button in the latest notebook code

2009-10-23 Thread Pablo Angulo
I just installed the notebook code: sage -i http://sage.math.washington.edu/home/wstein/patches/sagenb/sagenb-0.3.6.spkg When I press either the Edit or the Text button, the page starts to refresh every second or so and firefox takes almost one full processor. Editing is impossible. This

[sage-devel] Re: Sage 4.2.alpha1 released

2009-10-23 Thread Jaap Spies
Mike Hansen wrote: Hello all, Sage 4.2.alpha1 is out. Source and binary areavailable at http://sage.math.washington.edu/home/mhansen/release/4.2/alpha1/sage-4.2.alpha1.tar

[sage-devel] Re: Sage 4.2.alpha1 released

2009-10-23 Thread Georg S. Weber
Hi, Sage-4.2.alpha1 doesn't build on my MacIntel OS X 10.4.11, more precisely the pil-1.1.6 spkg does not build, highlights: ... running build_ext --- using frameworks at /System/Library/Frameworks building '_imaging' extension gcc -fno-strict-aliasing -DNDEBUG -g -fwrapv -O3 -Wall -Wstrict-

[sage-devel] new virtualbox image!

2009-10-23 Thread William Stein
Hi, Please try out http://sage.math.washington.edu/home/wstein/binaries/sage_vbox-4.1.2-v2.zip Let me know what happens. It addresses several issues. Now you should be able to install new packages, build Cython/GCC/G++ code, change/develop Sage, etc. And, amazingly, it is only 2MB

[sage-devel] Re: Edit or Text button in the latest notebook code

2009-10-23 Thread Pablo Angulo
Actually, all buttons produce that behaviour: Edit, Text, Undo, Share and Publish --~--~-~--~~~---~--~~ 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

[sage-devel] Re: Sage 4.2.alpha1 released

2009-10-23 Thread John Cremona
Built from source and all tests pass on 32-bit ubuntu and 64-bit ubuntu. John 2009/10/23 Mike Hansen mhan...@gmail.com: Hello all, Sage 4.2.alpha1 is out.  Source and binary areavailable at http://sage.math.washington.edu/home/mhansen/release/4.2/alpha1/sage-4.2.alpha1.tar

[sage-devel] Re: Graphical Physics Program Suggestions

2009-10-23 Thread kstueve
Have any of you heard of Erik Neumann? He published some excellent Java physics demos at http://www.myphysicslab.com/ He is in Seatle, and has attended UW. I have been looking into vector graphics with javascript. It appears that circles, lines, and other curves are made out of lots of div

[sage-devel] Re: Sage 4.2.alpha1 released

2009-10-23 Thread kcrisman
Upgraded fine from alpha0 on Intel OSX 10.5. - kcrisman --~--~-~--~~~---~--~~ 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 more options, visit

[sage-devel] Re: Sage 4.2.alpha1 released

2009-10-23 Thread Georg S. Weber
Hi, I digged a bit around, and the problem with the newly added pil-1.1.6.spkg is even greater than I thought at first. See trac ticket #7273 for more details. I'm not inclined to work on this, however. Cheers, Georg --~--~-~--~~~---~--~~ To post to this group,

[sage-devel] Re: new virtualbox image!

2009-10-23 Thread mhampton
I haven't tried it on Windows yet, but I tried on my intel 10.4 mac and got an error: Unknown error creating VM (VERR_INTERNAL_ERROR) Result Code: NS_ERROR_FAILURE (0x80004005) Component: Console Interface: IConsole {0a51994b-cbc6-4686-94eb- d4e4023280e2} -Marshall On Oct 23, 2:32 pm, William

[sage-devel] Re: new virtualbox image!

2009-10-23 Thread William Stein
On Fri, Oct 23, 2009 at 2:01 PM, mhampton hampto...@gmail.com wrote: I haven't tried it on Windows yet, but I tried on my intel 10.4 mac and got an error: Unknown error creating VM (VERR_INTERNAL_ERROR) Result Code: NS_ERROR_FAILURE (0x80004005) Component: Console Interface: IConsole

[sage-devel] Re: [sage-combinat-devel] Categories review: ordered_monoids.py

2009-10-23 Thread Nicolas M. Thiery
On Fri, Oct 23, 2009 at 10:33:51AM -0700, javier wrote: Positive review for ordered_monoids.py Thanks! Maybe it would be useful to add in the description that we are talking about *totally* ordered monoids and what does multiplication preserves the ordering mean. Ok. I just copy-pasted

[sage-devel] Re: Sage 4.2.alpha1 released

2009-10-23 Thread mhampton
Built from source on a 10.4.11 intel mac. All tests passed except for sage -t devel/sage/sage/server/notebook/cell.py ** File /Volumes/E/sage-4.2.alpha1/devel/sage/sage/server/notebook/ cell.py, line 1601: sage:

[sage-devel] virtualbox speed

2009-10-23 Thread Ondrej Certik
Hi, I tried the latest Sage virtualbox appliance, it works on ubuntu 9.04, 64bit. I then used this simple script (in a terminal) to get some idea how fast it is: from timeit import default_timer as clock def test1(): a = 0 t = clock() for i in range(1, 10**6): a += 1/i**2

[sage-devel] Earn,20000$ Per Month,The New Online Chat Jobs fun

2009-10-23 Thread Mona
THE WORLD NEW ONLINE CHAT JOB.AVAILABLE ON WORLDWIDE.Just chat with ur friend 1-2 Hrs Per Day. Earn 2$ per month.More Details On http://www.earningzones.com/jobs --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To

[sage-devel] Re: Sage 4.2.alpha1 released

2009-10-23 Thread John H Palmieri
On Oct 23, 11:57 am, Jaap Spies j.sp...@hccnet.nl wrote: Mike Hansen wrote: Hello all, Sage 4.2.alpha1 is out.  Source and binary areavailable at http://sage.math.washington.edu/home/mhansen/release/4.2/alpha1/sage-...

[sage-devel] Re: Graphical Physics Program Suggestions

2009-10-23 Thread Maurizio
I don't want to add confusion, but I hope you can also think about the similarity between mechanical and electrical problems. After all, it's always matter of solving differential equations, having voltage, current, and so on, instead of mechanical quantities. The good thing, from this

[sage-devel] Re: 0^0

2009-10-23 Thread Peter Jeremy
On 2009-Oct-22 17:11:45 -0700, William Stein wst...@gmail.com wrote: On Thu, Oct 22, 2009 at 4:52 PM, John H Palmieri jhpalmier...@gmail.com wrote: First, it's what I've always been taught, and I trust my teachers and professors -- if they were doing something unusual or something about which

Re: Fwd: [sage-devel] Re: Categories restart

2009-10-23 Thread Nicolas M. Thiery
Dear David, dear Javier, On Fri, Oct 23, 2009 at 05:23:15PM +0200, David R. Kohel wrote: I put of positive review of most of the assigned category files. Excellent! Thanks much! Note that I hadn't downloaded those attributed to Javier, so these are still outstanding. Feel free to

[sage-devel] Re: virtualbox speed

2009-10-23 Thread Martin Albrecht
I assume the VirtualBox image is 32-bit and your native OS is 64-bit? So it isn't that surprising that computations with bigger numbers are somewhat slower (13x is a bit much still, me thinks) Martin -- name: Martin Albrecht _pgp: http://pgp.mit.edu:11371/pks/lookup?op=getsearch=0x8EF0DC99

Re: Fwd: [sage-devel] Re: Categories restart

2009-10-23 Thread Nicolas M. Thiery
Dear William, dear David, Dear Javier, Yippee, there remains essentially only eight categories left to review! On Sat, Oct 24, 2009 at 12:04:45AM +0200, Nicolas Thiéry wrote: On Fri, Oct 23, 2009 at 05:23:15PM +0200, David R. Kohel wrote: I put of positive review of most of the

[sage-devel] Re: virtualbox speed

2009-10-23 Thread Gonzalo Tornaria
For comparision, I'm using kvm to virtualize our sage notebook server. Here's the timings for your scripts: A) the real hardware 0.196608066559 1 0.191864967346 -50 B) the kvm instance 0.219820976257 (11.8% slowdown) 1 0.213951826096 (11.5% slowdown) -50 Gonzalo On Fri, Oct 23,

[sage-devel] Re: virtualbox speed

2009-10-23 Thread Ondrej Certik
Hi Gonzalo, On Fri, Oct 23, 2009 at 3:58 PM, Gonzalo Tornaria torna...@math.utexas.edu wrote: For comparision, I'm using kvm to virtualize our sage notebook server. Here's the timings for your scripts: A) the real hardware 0.196608066559 1 0.191864967346 -50 B) the kvm instance

[sage-devel] Re: new virtualbox image!

2009-10-23 Thread mhampton
I don't know; I tried re-installing it and got the same error. Perhaps it doesn't work that well on 10.4.11. I'll try it on my windows box on Monday. -Marshall On Oct 23, 4:12 pm, William Stein wst...@gmail.com wrote: On Fri, Oct 23, 2009 at 2:01 PM, mhampton hampto...@gmail.com wrote: I

[sage-devel] Re: Sage 4.2.alpha1 released

2009-10-23 Thread William Stein
Build report for sage-4.2.alpha1: * Cygwin: Error building sqlite. (i.e., Sage gets essentially nowhere). No released sage has ever been built on this machine. * sage.math (ubuntu 64-bit): Builds fine and all tests pass * OS X 10.6: Builds fine, but all of the following tests fail:

[sage-devel] Re: new virtualbox image!

2009-10-23 Thread William Stein
On Fri, Oct 23, 2009 at 4:39 PM, mhampton hampto...@gmail.com wrote: I don't know; I tried re-installing it and got the same error. Perhaps it doesn't work that well on 10.4.11.  I'll try it on my windows box on Monday. Are you using VirtualBox 3.0.8? William -Marshall On Oct 23, 4:12 

[sage-devel] Re: Operating systems too old or too new.

2009-10-23 Thread Peter Jeremy
On 2009-Oct-23 00:45:00 +0100, Dr. David Kirkby david.kir...@onetel.net wrote: I had changed the wording somewhat anyway, but I would admit I had not considered other applications. I suspect that most potential users won't be able to dedicate a host to Sage - especially if they are just

[sage-devel] Re: Edit or Text button in the latest notebook code

2009-10-23 Thread William Stein
On Fri, Oct 23, 2009 at 12:40 PM, Pablo Angulo pablo.ang...@uam.es wrote: Actually, all buttons produce that behaviour: Edit, Text, Undo, Share and Publish Many thanks for this report. I've fixed this, as you can see at http://alpha.sagenb.org or by getting the new

[sage-devel] Re: virtualbox speed

2009-10-23 Thread Ondrej Certik
On Fri, Oct 23, 2009 at 4:21 PM, Ondrej Certik ond...@certik.cz wrote: Hi Gonzalo, On Fri, Oct 23, 2009 at 3:58 PM, Gonzalo Tornaria torna...@math.utexas.edu wrote: For comparision, I'm using kvm to virtualize our sage notebook server. Here's the timings for your scripts: A) the real

[sage-devel] Re: new virtualbox image!

2009-10-23 Thread Rob Beezer
On Oct 23, 12:32 pm, William Stein wst...@gmail.com wrote: Please try out Worked just fine for me with VBox 3.0.4 (on top of Ubuntu 9.04), both testing the ssh access to the command line and using the notebook in a browser. One very small suggestion for your next update - maybe in the window

[sage-devel] Re: new virtualbox image!

2009-10-23 Thread mhampton
Yes, it was 3.0.8. -Marshall On Oct 23, 7:02 pm, William Stein wst...@gmail.com wrote: On Fri, Oct 23, 2009 at 4:39 PM, mhampton hampto...@gmail.com wrote: I don't know; I tried re-installing it and got the same error. Perhaps it doesn't work that well on 10.4.11. I'll try it on my

[sage-devel] Re: new virtualbox image!

2009-10-23 Thread Bill Page
William, This works great for me and completes the full 'sage -upgrade' cycle with no errors. But I got a gcc Internal Error when trying to install clisp. Could you confirm this? I have an apparently similar problem when trying to install the new FriCAS spkg that is supposed to build with ecl,