[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-writi

[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 bu

[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 previo

[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 >> f

[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

[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

[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) Imp

[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

[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 m

[sage-devel] Re: Fwd: axiom

2008-08-19 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@googlegrou

[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

[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