[sage-devel] Sage Trac demo server

2009-10-17 Thread Pat LeSmithe
There's a demo Trac server with lots of installed plug-ins at http://sage.math.washington.edu:1/ To create an account, click on the "Register" link. Feel free to add tickets, comments, etc. To make a ticket appear in the dependency graph, edit the "Blocks" or "Blocked By" fields. --~--~-

[sage-devel] Re: test failures in sage-4.1.2

2009-10-17 Thread kcrisman
On Oct 17, 9:12 am, mhampton wrote: > I get two test failures for sage-4.1.2 on an intel mac running > 10.4.11. The second one has happened consistently since the > sage-4.1.2-alpha4. The first one I haven't seen before: > > sage -t "devel/sage/sage/modules/vector_double_dense.pyx" > ***

[sage-devel] Re: Can Sage solve inequalities?

2009-10-17 Thread kcrisman
On Oct 17, 5:27 pm, Robert Dodier wrote: > ma...@mendelu.cz wrote: > > does Sage solve inequlitites? According to Maxima mail list ( > >http://thread.gmane.org/gmane.comp.mathematics.maxima.general/28497/f... > > ) Maxima can do at elast someting in this area. I was not able to find > > out, wh

[sage-devel] Re: Can Sage solve inequalities?

2009-10-17 Thread mhampton
Sage includes a couple of different linear programming solvers, which may be relevant - cvxopt, cddlib, and I think Nathan Cohen added GLPK as an optional package. I'm not sure how well they could be integrated into the symbolics, I suppose adding support for what maxima can do might be the easie

[sage-devel] Re: sagemath infrastructure scheduled downtime

2009-10-17 Thread William Stein
On Sat, Oct 17, 2009 at 4:05 PM, Peter Jeremy wrote: > On 2009-Oct-08 20:49:13 -0700, William Stein wrote: >>OK, everything is done.  Please report problems, noting that DNS can >>take a while still, depending on where you are. > > I notice that a number of VMware instances (including freebsd32

[sage-devel] Re: sagemath infrastructure scheduled downtime

2009-10-17 Thread Peter Jeremy
On 2009-Oct-08 20:49:13 -0700, William Stein wrote: >OK, everything is done. Please report problems, noting that DNS can >take a while still, depending on where you are. I notice that a number of VMware instances (including freebsd32 and freebsd64) didn't make it. Unfortunately, FreeBSD support

[sage-devel] Re: Can Sage solve inequalities?

2009-10-17 Thread ma...@mendelu.cz
On 17 říj, 23:27, Robert Dodier wrote: > ma...@mendelu.cz wrote: > > does Sage solve inequlitites? According to Maxima mail list ( > >http://thread.gmane.org/gmane.comp.mathematics.maxima.general/28497/f... > > ) Maxima can do at elast someting in this area. I was not able to find > > out, wheath

[sage-devel] Re: Can Sage solve inequalities?

2009-10-17 Thread Robert Dodier
ma...@mendelu.cz wrote: > does Sage solve inequlitites? According to Maxima mail list ( > http://thread.gmane.org/gmane.comp.mathematics.maxima.general/28497/focus=28530 > ) Maxima can do at elast someting in this area. I was not able to find > out, wheather Sage can somehow solve ineqaulities -

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

2009-10-17 Thread Florent Hivert
Hi, > > Minh, William and I just had a short conversation on #sage-devel about COQ > > ( http://en.wikipedia.org/wiki/Coq ), then about SAT Solvers in Sage... I just want to mention that on the contrary to what has been said on irc, the primary goal of Coq is not to automatically prove t

[sage-devel] Re: Is this a bug?

2009-10-17 Thread john_perry_usm
On Oct 17, 1:00 pm, QuantumDream wrote: > OK, so ,there is the plot_points option, but shouldn't the default > value of the plot_point be a function of the range? Maybe I'm wrong, but I don't think the range is nearly as important as the type of function. Some functions won't require many plot

[sage-devel] Re: sage notebook servers

2009-10-17 Thread William Stein
On Sat, Oct 17, 2009 at 11:30 AM, Brian Granger wrote: > 1.  Physics Department, Cal Poly State University, San Luis Obispo > > 2.  Lower division physics courses. > > Cheers, > Thanks to everybody. I've compiled these all into a table here: http://wiki.sagemath.org/sagenb William --~--~

[sage-devel] HELP!! - Why does c_lib switch compilers?

2009-10-17 Thread Dr. David Kirkby
With CC or CXX unset (so they default to gcc and g++), c_lib in the Sage library, compiles C code with gcc, then switches to using the Sun compiler (/opt/SUNSwpro/bin/CC) for compiling C++ code. See below. (If the Sun compiler is not installed, it will use g++). Can anyone help me resolve this

[sage-devel] Re: New Features! Updated live notebook. Support for Sage!

2009-10-17 Thread William Stein
On Sat, Oct 17, 2009 at 3:11 AM, Maurizio wrote: > > I don't understand: which is the difference between this codenode and > our new notebook? They are almost entirely different projects. I think the Sage notebook overal has far more features (e.g., @interact, 3d plotting integration, tinymc

[sage-devel] Re: Readline causes error on startup

2009-10-17 Thread Octoploid
Apart form the readline issue, I also had to symlink /usr/lib/crt1.o, /usr/lib/crti.o and /usr/lib/crtn.o to /lib on my Arch-Linux 64bit system. The sage build was failing on some Fortran file before that: "ld: crt1.o: No such file: No such file or directory". --~--~-~--~~~

[sage-devel] Sage NSF proposal

2009-10-17 Thread William Stein
Hi, I'm writing a COMPMATH NSF proposal to get funding for some Sage Days workshops. The current very, very (very, insanely!) rough draft is here: http://wstein.org/home/wstein/tmp/compmath.pdf The main point of this draft is to suggest a format for the proposal. How you can help at this po

[sage-devel] Re: Can Sage solve inequalities?

2009-10-17 Thread David Joyner
On Sat, Oct 17, 2009 at 1:21 PM, ma...@mendelu.cz wrote: > > Hello all, > > does Sage solve inequlitites? According to Maxima mail list ( > http://thread.gmane.org/gmane.comp.mathematics.maxima.general/28497/focus=28530 > ) Maxima can do at elast someting in this area. I was not able to find > ou

[sage-devel] Re: Can Sage solve inequalities?

2009-10-17 Thread William Stein
On Sat, Oct 17, 2009 at 11:58 AM, ma...@mendelu.cz wrote: > > -- > | Sage Version 4.1.2, Release Date: 2009-10-13                       | > | Type notebook() for the GUI, and license() for information.        | >

[sage-devel] Re: Can Sage solve inequalities?

2009-10-17 Thread ma...@mendelu.cz
-- | Sage Version 4.1.2, Release Date: 2009-10-13 | | Type notebook() for the GUI, and license() for information.| -- sage: a= x^2+

[sage-devel] Re: Can Sage solve inequalities?

2009-10-17 Thread William Stein
On Sat, Oct 17, 2009 at 10:21 AM, ma...@mendelu.cz wrote: > > Hello all, > > does Sage solve inequlitites? According to Maxima mail list ( > http://thread.gmane.org/gmane.comp.mathematics.maxima.general/28497/focus=28530 > ) Maxima can do at elast someting in this area. I was not able to find > o

[sage-devel] Re: sage notebook servers

2009-10-17 Thread Brian Granger
1. Physics Department, Cal Poly State University, San Luis Obispo 2. Lower division physics courses. Cheers, Brian On Thu, Oct 15, 2009 at 9:18 PM, William Stein wrote: > > Hi, > > For a grant proposal, I would like to assemble a list of people > running Sage notebook servers either publicl

[sage-devel] Re: Is this a bug?

2009-10-17 Thread ma...@mendelu.cz
You have to use finer mesh / more points in such cases u = var('u') parametric_plot3d( (u*sin(u), u*cos(u), u), (u, 0, 100),plot_points=500,viewer='tachyon') (I tested it with viewer tachyon since I do not have java on current machine) Hope this helps Robert On 17 říj, 20:00, QuantumDream wro

[sage-devel] Re: Is this a bug?

2009-10-17 Thread QuantumDream
OK, so ,there is the plot_points option, but shouldn't the default value of the plot_point be a function of the range? Anyway, it's not a big deal for me, but maybe for my Calc students :) Best, -M. On Oct 17, 12:51 pm, QuantumDream wrote: > I'm running Sage4.1.1 on a 32-bit Ubuntu 9.04 laptop

[sage-devel] Is this a bug?

2009-10-17 Thread QuantumDream
I'm running Sage4.1.1 on a 32-bit Ubuntu 9.04 laptop w/ FF, and there is a HUGE difference between the outputs of the following two commands: u = var('u') parametric_plot3d( (u*sin(u), u*cos(u), u), (u, 0, 50)) vs. u = var('u') parametric_plot3d( (u*sin(u), u*cos(u), u), (u, 0, 100)) The firs

[sage-devel] Re: Can Sage solve inequalities?

2009-10-17 Thread ma...@mendelu.cz
btw: I was able to find only this: http://groups.google.cz/group/sage-devel/browse_thread/thread/c5990ef9e797109e/e7bf439813a6489c?lnk=gst&q=inequality#e7bf439813a6489c On 17 říj, 19:21, "ma...@mendelu.cz" wrote: > Hello all, > > does Sage solve inequlitites? According to Maxima mail list > (ht

[sage-devel] Can Sage solve inequalities?

2009-10-17 Thread ma...@mendelu.cz
Hello all, does Sage solve inequlitites? According to Maxima mail list ( http://thread.gmane.org/gmane.comp.mathematics.maxima.general/28497/focus=28530 ) Maxima can do at elast someting in this area. I was not able to find out, wheather Sage can somehow solve ineqaulities - via maxima or via ano

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

2009-10-17 Thread Martin Albrecht
On Saturday 17 October 2009, you wrote: > Hello Martin, Hello Minh, Hello Tom, Hello Victor, Hello William ! > > Minh, William and I just had a short conversation on #sage-devel about COQ > ( http://en.wikipedia.org/wiki/Coq ), then about SAT Solvers in Sage... > I'd be very interested in havin

[sage-devel] Re: problems in notebook

2009-10-17 Thread Tim Joseph Dumol
I can reproduce this bug, and I think I know the cause of the bug. I will look into it asap. On Sat, Oct 17, 2009 at 5:59 PM, chris wuthrich < christian.wuthr...@gmail.com> wrote: > > I noticed two problems in my notebooks in 4.1.2. Before I open new > tickets I wanted to know if others have the

[sage-devel] databases

2009-10-17 Thread YannLC
Hi, I would like to provide some basic code for factoring Cunningham numbers (my goal is in fact polynomial primitivity testing over binary fields) The raw data I use can be found there: http://cage.ugent.be/~jdemeyer/cunningham My two questions are: * how should one do to add something in the

[sage-devel] Re: sage notebook servers

2009-10-17 Thread Peter
On Oct 15, 9:18 pm, William Stein wrote: > Hi, > > > >    1. Where?     (E.g., "Dept. of Mathematics, University of Maryland") > Dept of Mathematics and Computer Science, Chapman University, Orange, CA, 92866 >    2. Why?   (E.g, "for our Math 411 course on differential equations") > For our

[sage-devel] Re: Nonabelian group of order 12

2009-10-17 Thread David Joyner
On Sat, Oct 17, 2009 at 11:53 AM, Jaap Spies wrote: > > David Joyner wrote: >> On Sat, Oct 17, 2009 at 12:20 AM, Rob Beezer wrote: >>> Thanks for the info, David.  I'd been looking at >>> >>> http://shell.cas.usf.edu/~eclark/algctlg/small_groups.html >>> >>> which appears quite similar. >> >> >>

[sage-devel] Re: Nonabelian group of order 12

2009-10-17 Thread Jaap Spies
David Joyner wrote: > On Sat, Oct 17, 2009 at 12:20 AM, Rob Beezer wrote: >> Thanks for the info, David. I'd been looking at >> >> http://shell.cas.usf.edu/~eclark/algctlg/small_groups.html >> >> which appears quite similar. > > > The story is this: I had a page, like Clark's but over a smalle

[sage-devel] Again about translation

2009-10-17 Thread Maurizio
Hi all, I just would like to raise your attention to tools that could help improving the translation process. How is it now managed? By using trac directly? I'd like to point out Transifex: http://www.transifex.net/ ( http://transifex.org/browser/README ) 8 Transifex is a highly scalable

[sage-devel] Re: Incorrect definite integral

2009-10-17 Thread Martin Rubey
Harald Schilly writes: > this report came in from the "report a problem" link for 4.1.1. > > - > > Sage gives an incorrect value when calculating a definite integral > analytically: > > sage: integrate(cos(x)^2 * (1 + sin(x)^2)^-3,x,0,pi/2) > 21/64*pi*sqrt(2) > sage: _.n

[sage-devel] Re: Incorrect definite integral

2009-10-17 Thread ma...@mendelu.cz
On 17 říj, 12:42, Harald Schilly wrote: > On Oct 17, 8:18 am, "ma...@mendelu.cz" wrote: > > > I reported this as ID 2880886,  ... > > Thanks. Out of curiosity, i tried this integral with sympy. This ends > up to take minutes or longer. Should we report this as a bug, too? > > integrate(cos(x)^

[sage-devel] test failures in sage-4.1.2

2009-10-17 Thread mhampton
I get two test failures for sage-4.1.2 on an intel mac running 10.4.11. The second one has happened consistently since the sage-4.1.2-alpha4. The first one I haven't seen before: sage -t "devel/sage/sage/modules/vector_double_dense.pyx" *

[sage-devel] Re: New Features! Updated live notebook. Support for Sage!

2009-10-17 Thread Harald Schilly
On Oct 17, 12:11 pm, Maurizio wrote: > I don't understand: which is the difference between this codenode and > our new notebook? I don't know much about codenode, but it seems to be more general with it's "engines", it also has some administration. i tried the live version, tried to plot(sin(x

[sage-devel] Re: Nonabelian group of order 12

2009-10-17 Thread David Joyner
On Sat, Oct 17, 2009 at 12:20 AM, Rob Beezer wrote: > > Thanks for the info, David.  I'd been looking at > > http://shell.cas.usf.edu/~eclark/algctlg/small_groups.html > > which appears quite similar. The story is this: I had a page, like Clark's but over a smaller range and with a bit less inf

[sage-devel] Re: [Cython] LiE in Cython

2009-10-17 Thread Nicolas M. Thiery
Dear David, dear Marc, dear LiE fans, On Sat, Oct 17, 2009 at 12:44:12AM -0700, Robert Bradshaw wrote: > On Oct 16, 2009, at 6:59 PM, David Simmons-Duffin wrote: > > > A few months ago, I wrote the Cython list asking for some help writing > > a cython interface to the computer algebra pa

[sage-devel] Re: sage notebook servers

2009-10-17 Thread Pablo Angulo
> > > So if you're running a Sage notebook somewhere, could you answer these > questions: > >1. Where? > Universidad Autónoma de Madrid, Spain >2. Why? We use the server to share interesting worksheets with the other members of the department. It also allows members of the department to

[sage-devel] Re: Incorrect definite integral

2009-10-17 Thread Harald Schilly
On Oct 17, 8:18 am, "ma...@mendelu.cz" wrote: > I reported this as ID 2880886, ... Thanks. Out of curiosity, i tried this integral with sympy. This ends up to take minutes or longer. Should we report this as a bug, too? integrate(cos(x)^2 * (1 + sin(x)^2)^-3,x,0,pi/2, algorithm='sympy') H --~

[sage-devel] Re: New Features! Updated live notebook. Support for Sage!

2009-10-17 Thread Maurizio
I don't understand: which is the difference between this codenode and our new notebook? Did we manage to get two brand new (but different) notebooks at the precisely same moment? This would be good in some sense, but also bad, if you know what I mean for avoiding waste of efforts Regards Maurizi

[sage-devel] problems in notebook

2009-10-17 Thread chris wuthrich
I noticed two problems in my notebooks in 4.1.2. Before I open new tickets I wanted to know if others have the same problem or if they have been reported already. * Typing in html $D<1$ is good. renders without leaving the $-environment, i.e. as $D<1 is good.$ The same does not happen with $

[sage-devel] Re: A possibly way to build faster code for Sage?

2009-10-17 Thread Peter Jeremy
On 2009-Oct-07 23:50:42 +0100, "Dr. David Kirkby" wrote: >There is no doubt that especially on Solaris, the Sun compilers are >better than the GNU ones in terms of speed. Well, at least for the SPARC target, one would hope so. >Sun have an interesting tool called 'Cool Tools - GCC for Sun Syst

[sage-devel] Re: Numerical discont for plot ?

2009-10-17 Thread Wilfried Huss
kcrisman wrote: > > On Oct 16, 2:29 pm, Francois Maltey wrote: > >> Hello, >> >> Functions plot is fine with singular functions as >> >> plot (sin(1/x), x, 0, 5) >> >> Plot has also a symbolic option detect_poles=True. >> But this option isn't designed for theses plots. >> There are unpleasant

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

2009-10-17 Thread Nicolas M. Thiery
On Tue, Oct 13, 2009 at 05:45:42PM -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 > > 500 - Internal Server Error Argl, again! Anyo

[sage-devel] Re: exporting worksheet as html

2009-10-17 Thread Robert Bradshaw
On Oct 16, 2009, at 6:58 AM, ma...@mendelu.cz wrote: > > On 16 říj, 15:38, William Stein wrote: >> >>> btw: I also think on the possibility to produce LaTeX code from Sage >>> worksheet. >> >> That would be nice. I've never seen an HTML -> Latex converter >> before >> (though there are many L

[sage-devel] Re: Numerical discont for plot ?

2009-10-17 Thread Robert Bradshaw
On Oct 16, 2009, at 1:17 PM, kcrisman wrote: > On Oct 16, 2:29 pm, Francois Maltey wrote: >> Hello, >> >> Functions plot is fine with singular functions as >> >> plot (sin(1/x), x, 0, 5) >> >> Plot has also a symbolic option detect_poles=True. >> But this option isn't designed for theses plots.

[sage-devel] Re: [Cython] LiE in Cython

2009-10-17 Thread Robert Bradshaw
I've never used the LiE package myself, but I've heard of other people using it. I'm cc-ing sage-devel which is probably a better audience. I'd just post your code anywhere, and would guess if/when someone finds it useful it would be a good start for a sage .spkg. - Robert On Oct 16, 2009,