[sage-devel] Re: Is Sage implementing mathematics?

2009-03-14 Thread William Stein
On Fri, Mar 13, 2009 at 9:43 PM, Bill Page bill.p...@newsynthesis.org wrote: On Fri, Mar 13, 2009 at 11:02 PM, Craig Citro wrote: Indeed, even Python agrees: Python 3.0 (r30:67503, Jan 23 2009, 04:39:45) [GCC 4.2.4 (Ubuntu 4.2.4-1ubuntu3)] on linux2 Type help, copyright, credits or

[sage-devel] Re: CSS typos? + worksheet customization questions

2009-03-14 Thread William Stein
On Fri, Mar 13, 2009 at 8:06 PM, Pat LeSmithe qed...@gmail.com wrote: In Sage 3.4 (and 3.2.3), I think there are two typos in the file $SAGE_ROOT/local/lib/python2.5/site-packages/sage/server/notebook/css.py . In particular, in Sage 3.4's version of the file: line 572:  arial monospace

[sage-devel] Re: sage days 14

2009-03-14 Thread Robert Bradshaw
On Mar 14, 2009, at 1:21 AM, William Stein wrote: Hi, Sage Days 14 in Berkeley happened... and it turned out to be awesome! See http://wiki.sagemath.org/days14 for links to notes from the conference. I found this page particularly interesting http://wiki.sagemath.org/days14/what -

[sage-devel] Re: CSS typos? + worksheet customization questions

2009-03-14 Thread Jason Grout
Pat LeSmithe wrote: In Sage 3.4 (and 3.2.3), I think there are two typos in the file $SAGE_ROOT/local/lib/python2.5/site-packages/sage/server/notebook/css.py . In particular, in Sage 3.4's version of the file: line 572: arial monospace should be arial, monospace line 1072: zIndex

[sage-devel] sage days 13

2009-03-14 Thread William Stein
Hi, Sage Days 13 also happened recently (http://wiki.sagemath.org/days13). I just posted my photos here: http://picasaweb.google.com/wstein/SageDays13Georgia -- William Stein Associate Professor of Mathematics University of Washington http://wstein.org

[sage-devel] Re: Power series rings

2009-03-14 Thread William Stein
On Fri, Mar 13, 2009 at 5:00 PM, David Kohel drko...@gmail.com wrote: Hi, I am finding problems, holes, or missing features in power series rings and Laurent series rings. sage: K.u = LaurentSeriesRing(QQ) sage: R.t = PowerSeriesRing(QQ) 1. exp(t) is defined but exp(u) is not. 2.

[sage-devel] Re: attrcall

2009-03-14 Thread William Stein
On Fri, Mar 13, 2009 at 11:59 AM, Nicolas M. Thiery nicolas.thi...@u-psud.fr wrote:        Hi Mike, FYI, I just noticed this. sage: attrcall? sage: f = attrcall(bla) sage: dumps(f)

[sage-devel] Re: element of integermod is element of integer?

2009-03-14 Thread William Stein
On Fri, Mar 13, 2009 at 1:26 AM, Nicolas M. Thiery nicolas.thi...@u-psud.fr wrote: On Thu, Mar 12, 2009 at 09:10:43PM -0700, Robert Bradshaw wrote:  - I see 10*bla as (potentially) involving two independent things:    coercion and multiple dispatch Yep, though in my mind they're a bit

[sage-devel] Re: [ANN] sage-mode-0.5.3

2009-03-14 Thread Florent Hivert
Hi Florent, the installation instructions changed (updated instructions should have been printed on sage -f). You should just now need: Oups !!! Sorry I should have read more carefully. Thanks for your quick help and your work. Florent

[sage-devel] logging into trac changes to the homepage

2009-03-14 Thread Jason Grout
I have a small request. Often, I click a link to go to a trac ticket, and while I'm there, I want to make a comment or add myself to the CC list. However, I'm rarely logged in at that point. With the old version of trac, I could just click on the login button, type my username and

[sage-devel] Re: Is Sage implementing mathematics?

2009-03-14 Thread Bill Page
On Fri, Mar 13, 2009 at 9:43 PM, Bill Page wrote: Not that this really has much to do with computer algebra or mathematics per se, but I am curious if anyone can find a situation in pure Python (i.e. using only the standard Python library definitions for == ) that gives the following

[sage-devel] Re: logging into trac changes to the homepage

2009-03-14 Thread Burcin Erocal
On Sat, 14 Mar 2009 07:26:15 -0500 Jason Grout jason-s...@creativetrax.com wrote: I have a small request. Often, I click a link to go to a trac ticket, and while I'm there, I want to make a comment or add myself to the CC list. However, I'm rarely logged in at that point. With the old

[sage-devel] Re: [ANN] sage-mode-0.5.3

2009-03-14 Thread Florent Hivert
Dear Nick, Thanks... I've also some suggestions: 1) Could it be possible that the send-* command launch a sage if no one is launched ? 2) There are two variable sage-run-command and sage-rerun-command. Is there any use for that ? Right now if either if I set the first one by hand as

[sage-devel] Re: Is Sage implementing mathematics?

2009-03-14 Thread Simon King
Hi! On Sat, Mar 14, 2009 at 3:38 AM, William Stein wrote: teragon:papers wstein$ sage -python Python 2.5.2 (r252:60911, Mar 12 2009, 23:58:30) [GCC 4.0.1 (Apple Inc. build 5488)] on darwin Type help, copyright, credits or license for more information. a = 10**22; b = 10**22+1; c =

[sage-devel] Re: element of integermod is element of integer?

2009-03-14 Thread Martin Rubey
Nicolas M. Thiery nicolas.thi...@u-psud.fr writes: Well, maybe we could join forces, and write a paper coercion and dispatch in Sage and MuPAD. Having more than one implementation of the concept would even make it a standard :-) Maybe it's even possible to include the FriCAS coercion system,

[sage-devel] Fwd: Finally the instructions to build the LiveCD.

2009-03-14 Thread William Stein
Hi, Lucio Lastra made a new Sage liveCD, and made complete instructions for how he did it. With his permission I'm forwarded his instructions to this list. William -- Forwarded message -- From: Lucio Lastra luciolas...@gmail.com Date: Fri, Mar 13, 2009 at 3:52 PM Subject:

[sage-devel] Re: Is Sage implementing mathematics?

2009-03-14 Thread Martin Rubey
Simon King k...@mathematik.uni-jena.de writes: Since the topic now changed into is Sage implementing Mathematics: IMHO it is frankly impossible for *any* CAS to implement a mathematically meaningful notion of == that is both useful and rigorous. This is certainly not true. The point is

[sage-devel] Re: logging into trac changes to the homepage

2009-03-14 Thread William Stein
On Sat, Mar 14, 2009 at 5:26 AM, Jason Grout jason-s...@creativetrax.com wrote: I have a small request.  Often, I click a link to go to a trac ticket, and while I'm there, I want to make a comment or add myself to the CC list.  However, I'm rarely logged in at that point.  With the old

[sage-devel] Fedora 10 binary of Sage 3.4 doesn't work

2009-03-14 Thread Carl Witty
The tar file http://www.sagemath.org/bin/linux/64bit/sage-3.4-linux-Fedora_release_10_Cambridge-x86_64-Linux.tar.gz is missing big chunks of Sage (for instance, there's nothing in local/lib/python2.5/site-packages/Jinja*). (The tar file is about 40MB smaller than other 64-bit Linux builds, so

[sage-devel] Re: Fedora 10 binary of Sage 3.4 doesn't work

2009-03-14 Thread William Stein
On Sat, Mar 14, 2009 at 9:43 AM, mabshoff mabsh...@googlemail.com wrote: On Mar 14, 8:20 am, Carl Witty carl.wi...@gmail.com wrote: Hi Carl, The tar filehttp://www.sagemath.org/bin/linux/64bit/sage-3.4-linux-Fedora_release... is missing big chunks of Sage (for instance, there's nothing

[sage-devel] Re: Debugging pexpect issues with Maxima/clisp/....

2009-03-14 Thread Burcin Erocal
Hi, On Fri, 13 Feb 2009 06:26:53 -0800 (PST) mabshoff mabsh...@googlemail.com wrote: snip So if you encounter timeouts and they are clearly not caused by a slow system please do the following. First export SAGE_PEXPECT_LOG=yes I attached a log from a test instance that timed out with

[sage-devel] Arizona Winter School

2009-03-14 Thread William Stein
Hi, If you're at the Arizona Winter School (http://swc.math.arizona.edu/index.html) right now, please subscribe to http://groups.google.com/group/aws09 William -- William Stein Associate Professor of Mathematics University of Washington http://wstein.org

[sage-devel] Re: Is Sage implementing mathematics?

2009-03-14 Thread Simon King
Dear Martin, On 14 Mrz., 16:08, Martin Rubey martin.ru...@math.uni-hannover.de wrote: IMHO it is frankly impossible for *any* CAS to implement a mathematically meaningful notion of == that is both useful and rigorous. This is certainly not true.  The point is that you have to make

[sage-devel] deprecating calling of symbolic expressions without variable names

2009-03-14 Thread Carl Witty
As discussed at http://groups.google.com/group/sage-devel/browse_thread/thread/b1a03f8fc8ae8fcd/553773d7ba600ae7#553773d7ba600ae7 , I'm writing a patch to deprecate calling symbolic expressions without variable names. In the course of writing the patch, and subsequent discussions with Jason and

[sage-devel] Re: deprecating calling of symbolic expressions without variable names

2009-03-14 Thread William Stein
On Sat, Mar 14, 2009 at 10:29 AM, Carl Witty carl.wi...@gmail.com wrote: As discussed at http://groups.google.com/group/sage-devel/browse_thread/thread/b1a03f8fc8ae8fcd/553773d7ba600ae7#553773d7ba600ae7 , I'm writing a patch to deprecate calling symbolic expressions without variable names.

[sage-devel] Re: deprecating calling of symbolic expressions without variable names

2009-03-14 Thread Jason Grout
William Stein wrote: On Sat, Mar 14, 2009 at 10:29 AM, Carl Witty carl.wi...@gmail.com wrote: 2) plotting A lot of the plotting code is willing to pick variable names (in alphabetical order) if names aren't given in the plot ranges. For instance, this is a doctest in plot.py: sage: f =

[sage-devel] Re: deprecating calling of symbolic expressions without variable names

2009-03-14 Thread William Stein
On Sat, Mar 14, 2009 at 11:09 AM, Jason Grout jason-s...@creativetrax.com wrote: William Stein wrote: On Sat, Mar 14, 2009 at 10:29 AM, Carl Witty carl.wi...@gmail.com wrote: 2) plotting A lot of the plotting code is willing to pick variable names (in alphabetical order) if names aren't

[sage-devel] Re: deprecating calling of symbolic expressions without variable names

2009-03-14 Thread Jason Grout
William Stein wrote: On Sat, Mar 14, 2009 at 11:09 AM, Jason Grout jason-s...@creativetrax.com wrote: William Stein wrote: On Sat, Mar 14, 2009 at 10:29 AM, Carl Witty carl.wi...@gmail.com wrote: 2) plotting A lot of the plotting code is willing to pick variable names (in alphabetical

[sage-devel] Re: 4ti2 problem

2009-03-14 Thread mabshoff
On Mar 14, 11:12 am, David Perkinson dav...@reed.edu wrote: Using Sage 3.4, sage -i 4ti2-20061025 does not work for me.  I have attached the relevant section of install.log. Dave Somewhere in 4ti2 you need to #include limits.h to work around gcc 4.3 header problems. I guess someone

[sage-devel] Re: 4ti2 problem

2009-03-14 Thread mabshoff
On Mar 14, 11:21 am, mabshoff mabsh...@googlemail.com wrote: On Mar 14, 11:12 am, David Perkinson dav...@reed.edu wrote: Using Sage 3.4, sage -i 4ti2-20061025 does not work for me.  I have attached the relevant section of install.log. Dave Somewhere in 4ti2 you need to  #include

[sage-devel] Re: deprecating calling of symbolic expressions without variable names

2009-03-14 Thread Carl Witty
On Sat, Mar 14, 2009 at 10:49 AM, William Stein wst...@gmail.com wrote: On Sat, Mar 14, 2009 at 10:29 AM, Carl Witty carl.wi...@gmail.com wrote: 1) Piecewise functions: With my initial patch,  sage: f = Piecewise([[(-1,1),1/2+x-x^3]]) doesn't work (that is, you get deprecation errors when

[sage-devel] Re: deprecating calling of symbolic expressions without variable names

2009-03-14 Thread William Stein
On Sat, Mar 14, 2009 at 11:18 AM, Jason Grout jason-s...@creativetrax.com wrote: William Stein wrote: On Sat, Mar 14, 2009 at 11:09 AM, Jason Grout jason-s...@creativetrax.com wrote: William Stein wrote: On Sat, Mar 14, 2009 at 10:29 AM, Carl Witty carl.wi...@gmail.com wrote: 2) plotting

[sage-devel] Re: deprecating calling of symbolic expressions without variable names

2009-03-14 Thread Carl Witty
On Sat, Mar 14, 2009 at 11:18 AM, Jason Grout jason-s...@creativetrax.com wrote: William Stein wrote: Well then we disagree.  There is a very standard convention in math to have the x axis in one spot, then the y-axis. What happens when you have variables u and v?  Or a and b?  Or t and s

[sage-devel] Re: deprecating calling of symbolic expressions without variable names

2009-03-14 Thread William Stein
On Sat, Mar 14, 2009 at 11:27 AM, Carl Witty carl.wi...@gmail.com wrote: On Sat, Mar 14, 2009 at 10:49 AM, William Stein wst...@gmail.com wrote: On Sat, Mar 14, 2009 at 10:29 AM, Carl Witty carl.wi...@gmail.com wrote: 1) Piecewise functions: With my initial patch,  sage: f =

[sage-devel] Re: deprecating calling of symbolic expressions without variable names

2009-03-14 Thread Burcin Erocal
On Sat, 14 Mar 2009 13:18:40 -0500 Jason Grout jason-s...@creativetrax.com wrote: William Stein wrote: On Sat, Mar 14, 2009 at 11:09 AM, Jason Grout jason-s...@creativetrax.com wrote: William Stein wrote: On Sat, Mar 14, 2009 at 10:29 AM, Carl Witty carl.wi...@gmail.com wrote: 2)

[sage-devel] Re: deprecating calling of symbolic expressions without variable names

2009-03-14 Thread Jason Grout
Carl Witty wrote: On Sat, Mar 14, 2009 at 11:18 AM, Jason Grout jason-s...@creativetrax.com wrote: William Stein wrote: Well then we disagree. There is a very standard convention in math to have the x axis in one spot, then the y-axis. What happens when you have variables u and v? Or a

[sage-devel] Re: deprecating calling of symbolic expressions without variable names

2009-03-14 Thread William Stein
On Sat, Mar 14, 2009 at 11:37 AM, Burcin Erocal bur...@erocal.org wrote: On Sat, 14 Mar 2009 13:18:40 -0500 Jason Grout jason-s...@creativetrax.com wrote: William Stein wrote: On Sat, Mar 14, 2009 at 11:09 AM, Jason Grout jason-s...@creativetrax.com wrote: William Stein wrote: On

[sage-devel] Re: deprecating calling of symbolic expressions without variable names

2009-03-14 Thread Jason Grout
William Stein wrote: On Sat, Mar 14, 2009 at 11:37 AM, Burcin Erocal bur...@erocal.org wrote: On Sat, 14 Mar 2009 13:18:40 -0500 Jason Grout jason-s...@creativetrax.com wrote: William Stein wrote: On Sat, Mar 14, 2009 at 11:09 AM, Jason Grout jason-s...@creativetrax.com wrote: William

[sage-devel] Re: deprecating calling of symbolic expressions without variable names

2009-03-14 Thread Burcin Erocal
On Sat, 14 Mar 2009 11:45:13 -0700 William Stein wst...@gmail.com wrote: On Sat, Mar 14, 2009 at 11:37 AM, Burcin Erocal bur...@erocal.org wrote: On Sat, 14 Mar 2009 13:18:40 -0500 Jason Grout jason-s...@creativetrax.com wrote: William Stein wrote: On Sat, Mar 14, 2009 at

[sage-devel] Re: deprecating calling of symbolic expressions without variable names

2009-03-14 Thread William Stein
On Sat, Mar 14, 2009 at 11:52 AM, Jason Grout jason-s...@creativetrax.com wrote: William Stein wrote: On Sat, Mar 14, 2009 at 11:37 AM, Burcin Erocal bur...@erocal.org wrote: On Sat, 14 Mar 2009 13:18:40 -0500 Jason Grout jason-s...@creativetrax.com wrote: William Stein wrote: On Sat, Mar

[sage-devel] Re: deprecating calling of symbolic expressions without variable names

2009-03-14 Thread Jason Grout
Jason Grout wrote: William Stein wrote: On Sat, Mar 14, 2009 at 11:37 AM, Burcin Erocal bur...@erocal.org wrote: On Sat, 14 Mar 2009 13:18:40 -0500 Jason Grout jason-s...@creativetrax.com wrote: William Stein wrote: On Sat, Mar 14, 2009 at 11:09 AM, Jason Grout jason-s...@creativetrax.com

[sage-devel] Re: deprecating calling of symbolic expressions without variable names

2009-03-14 Thread Jaap Spies
William Stein wrote: In particular, xmin/xmax also would have to be deprecated and replaced by Mathematica's plot_ranges... As a *former* Maple user I would prefer the syntax plot(expr, var = a..b) Just joking, I can live with the proposal als long as it is (var, a, b) and not {var, a, b}

[sage-devel] Re: deprecating calling of symbolic expressions without variable names

2009-03-14 Thread William Stein
On Sat, Mar 14, 2009 at 12:07 PM, Jason Grout jason-s...@creativetrax.com wrote: Jason Grout wrote: William Stein wrote: On Sat, Mar 14, 2009 at 11:37 AM, Burcin Erocal bur...@erocal.org wrote: On Sat, 14 Mar 2009 13:18:40 -0500 Jason Grout jason-s...@creativetrax.com wrote: William Stein

[sage-devel] Re: deprecating calling of symbolic expressions without variable names

2009-03-14 Thread Joel B. Mohler
On Saturday 14 March 2009 02:45:13 pm William Stein wrote: William, shall we treat the case where the only variables in the expression is x and y specially, and allow not specifying the variables for the axis then? I think this makes the notation confusing and inconsistent. I have never

[sage-devel] Re: deprecating calling of symbolic expressions without variable names

2009-03-14 Thread William Stein
On Sat, Mar 14, 2009 at 12:10 PM, Joel B. Mohler j...@kiwistrawberry.us wrote: On Saturday 14 March 2009 02:45:13 pm William Stein wrote: William, shall we treat the case where the only variables in the expression is x and y specially, and allow not specifying the variables for the axis

[sage-devel] Re: deprecating calling of symbolic expressions without variable names

2009-03-14 Thread Jason Grout
Burcin Erocal wrote: On Sat, 14 Mar 2009 11:45:13 -0700 William Stein wst...@gmail.com wrote: It is a similar situation for the plot commands. Many people have complained about the inconsistencies in Sage's plotting interface. Looking at MMA's plot commands, only this syntax is

[sage-devel] Re: element of integermod is element of integer?

2009-03-14 Thread Robert Bradshaw
On Mar 14, 2009, at 2:27 AM, William Stein wrote: On Fri, Mar 13, 2009 at 1:26 AM, Nicolas M. Thiery nicolas.thi...@u-psud.fr wrote: On Thu, Mar 12, 2009 at 09:10:43PM -0700, Robert Bradshaw wrote: - I see 10*bla as (potentially) involving two independent things: coercion and multiple

[sage-devel] Re: deprecating calling of symbolic expressions without variable names

2009-03-14 Thread Nick Alexander
Looking at MMA's plot commands, only this syntax is accepted: Plot[Sin[x], {x, 0, Pi}] Note the explicit variable name. I think we should try to make the syntax uniform for all the plot functions, and ask the user to specify the variable in every case. (This means deprecating the

[sage-devel] Re: Is Sage implementing mathematics?

2009-03-14 Thread Bill Page
Martin Rubey wrote: I must admit that I do not understand (yet) how Sage works here, but I thought it would define equality separately for every parent. Doesn't it, or did I miss something? On Sat, Mar 14, 2009 at 1:25 PM, Simon King wrote: ... yes, Sage does. But I wanted to point out

[sage-devel] Re: Power series rings

2009-03-14 Thread Nicolas M. Thiery
Dear David, On Fri, Mar 13, 2009 at 05:00:55PM -0700, David Kohel wrote: Hi, I am finding problems, holes, or missing features in power series rings and Laurent series rings. sage: K.u = LaurentSeriesRing(QQ) sage: R.t = PowerSeriesRing(QQ) ... +1 for making all of those,

[sage-devel] Re: Power series rings

2009-03-14 Thread John Cremona
David says in the docstring for a possible log() function TODO: verify that the base ring is a QQ-algebra. Now I recall reading (quite recent) papers of Morain et al on computing isogenies between elliptic curves over finite fields where it is useful to be able to take truncated logs of power

[sage-devel] Re: Power series rings

2009-03-14 Thread Michel
I think so. But then you should be working in a ring of truncated power series (i.e. k[x]/(x^a)). This seems conceptually different from working in a ring of power series where you only know the elements up to a given precision On Mar 14, 9:53 pm, John Cremona john.crem...@gmail.com wrote:

[sage-devel] Re: SAGE possible improvement

2009-03-14 Thread Maurizio
To be honest, I'd have thought that installing a python package and let it work with SAGE would have been easier, but one issue could be that I've been working on this in a Saturday night (after coming back home) from midnight to 1.30 am!! :) I summarize the way I got quantities

[sage-devel] Re: SAGE possible improvement

2009-03-14 Thread Jason Grout
Maurizio wrote: To be honest, I'd have thought that installing a python package and let it work with SAGE would have been easier, but one issue could be that I've been working on this in a Saturday night (after coming back home) from midnight to 1.30 am!! :) I summarize the way I got

[sage-devel] Re: SAGE possible improvement

2009-03-14 Thread Carl Witty
On Sat, Mar 14, 2009 at 1:21 AM, Jason Grout jason-s...@creativetrax.com wrote: Maurizio wrote: With this, I'm not proposing this package over others (for example, Unum looks very mature, but outdated), I'm just asking if one of you can spend some minutes to review our trac ticket about

[sage-devel] Re: deprecating calling of symbolic expressions without variable names

2009-03-14 Thread kcrisman
Looking at MMA's plot commands, only this syntax is accepted: Plot[Sin[x], {x, 0, Pi}] Note the explicit variable name. I think we should try to make the syntax uniform for all the plot functions, and ask the user to specify the variable in every case. (This means deprecating the

[sage-devel] Re: deprecating calling of symbolic expressions without variable names

2009-03-14 Thread Rob Beezer
I would vote for consistency over convenience every time. I am forever forgetting the * for multiplication, but I'm glad the implicit- multiplication feature has to be consciously turned on - and I don't plan on ever turning it on. ;-) I don't want to reopen the debate over the variable 'x'

[sage-devel] Re: attrcall

2009-03-14 Thread Nicolas M. Thiery
On Sat, Mar 14, 2009 at 02:22:01AM -0700, William Stein wrote: On Fri, Mar 13, 2009 at 11:59 AM, Nicolas M. Thiery nicolas.thi...@u-psud.fr wrote:        Hi Mike, FYI, I just noticed this. sage: attrcall? sage: f = attrcall(bla) sage: dumps(f)