[sage-devel] Re: Fwd: axiom

2008-08-21 Thread Ondrej Certik
On Thu, Aug 21, 2008 at 6:50 AM, mhampton [EMAIL PROTECTED] wrote: I really need to go to sleep so I won't do a top-ten, but here's a top 2: Thanks for reminding me this. It seems that people really like Mathematica, so when I graudate, I'll try to learn it and do something in it, so that I

[sage-devel] Re: Fwd: axiom

2008-08-21 Thread Fernando Perez
On Wed, Aug 20, 2008 at 9:37 PM, mhampton [EMAIL PROTECTED] wrote: I used to really enjoy writing programs in mathematica, but maybe I'm a strange person. I only stopped in order to force myself to get fluent with Sage. I think it just depends on your background, what you are used to, and

[sage-devel] Re: Fwd: axiom

2008-08-21 Thread Ondrej Certik
On Thu, Aug 21, 2008 at 10:47 AM, Fernando Perez [EMAIL PROTECTED] wrote: On Wed, Aug 20, 2008 at 9:37 PM, mhampton [EMAIL PROTECTED] wrote: I used to really enjoy writing programs in mathematica, but maybe I'm a strange person. I only stopped in order to force myself to get fluent with

[sage-devel] Re: Fwd: axiom

2008-08-21 Thread Bill Page
On Thu, Aug 21, 2008 at 12:50 AM, mhampton wrote: I really need to go to sleep so I won't do a top-ten, but here's a top 2: 1) Powerful substitutions and rules. Sage does not have anything comparable. The .subs() function is buggy even in its limited domain. There have been previous

[sage-devel] Re: Fwd: axiom

2008-08-21 Thread Robert Bradshaw
On Aug 21, 2008, at 8:08 AM, Bill Page wrote: On Thu, Aug 21, 2008 at 12:50 AM, mhampton wrote: I really need to go to sleep so I won't do a top-ten, but here's a top 2: 1) Powerful substitutions and rules. Sage does not have anything comparable. The .subs() function is buggy even in

[sage-devel] Re: Fwd: axiom

2008-08-21 Thread Robert Dodier
On Aug 21, 9:08 am, Bill Page [EMAIL PROTECTED] wrote: Perhaps Sage can implement some form of pattern matching and subsitution such is done by Axiom's rewrite rules? I think that in many respects these provide a functionality similar to Mathematica. There is also a similar re-writing

[sage-devel] Re: Fwd: axiom

2008-08-20 Thread Fernando Perez
On Tue, Aug 19, 2008 at 1:05 PM, Ondrej Certik [EMAIL PROTECTED] wrote: but programming in Mathematica is not fun. And that would be the understatement of the week. Cheers, f --~--~-~--~~~---~--~~ To post to this group, send email to

[sage-devel] Re: Fwd: axiom

2008-08-20 Thread mhampton
I used to really enjoy writing programs in mathematica, but maybe I'm a strange person. I only stopped in order to force myself to get fluent with Sage. I think it just depends on your background, what you are used to, and what you want to do. For symbolic calculations and programming I still

[sage-devel] Re: Fwd: axiom

2008-08-20 Thread William Stein
On Wed, Aug 20, 2008 at 9:37 PM, mhampton [EMAIL PROTECTED] wrote: I used to really enjoy writing programs in mathematica, but maybe I'm a strange person. I only stopped in order to force myself to get fluent with Sage. I think it just depends on your background, what you are used to, and

[sage-devel] Re: Fwd: axiom

2008-08-20 Thread mhampton
I really need to go to sleep so I won't do a top-ten, but here's a top 2: 1) Powerful substitutions and rules. Sage does not have anything comparable. The .subs() function is buggy even in its limited domain. There have been previous posts on sage-devel that give good examples of this. 2)

[sage-devel] Re: Fwd: axiom

2008-08-19 Thread William Stein
I would be glad (with your permission) to post this question and my reply on-list somewhere - sage-devel if you prefer. On Mon, Aug 18, 2008 at 6:50 PM, Ondrej Certik wrote: Hi Bill, since you know both Python and Aldor or Axiom and now you know Sage quite a bit, do you think Aldor or the

[sage-devel] Re: Fwd: axiom

2008-08-19 Thread Ondrej Certik
Hi Bill, On Tue, Aug 19, 2008 at 8:14 PM, Bill Page [EMAIL PROTECTED] wrote: Yes, certainly I think Axiom domains are viable. Another way of asking this question is: if static strongly typed language with first-order polymorphic dependent types is viable? I think this has been answered in