[Axiom-developer] Re: Rule-based integration

2010-07-12 Thread TimDaly
On Jul 12, 3:32 pm, Richard Fateman wrote: > There are issues in pattern matching that are fairly subtle, and may > not be obvious to the casual reader (or programmer). > > For example, you may have a rule that works to integrate > > exp(n*x) * x^m  wrt x. > Mathematica 7 gives > > -E^(-n x) (E^x)

[Axiom-developer] Re: A bit of statistics trivia for Maple and Mathematica

2009-11-19 Thread TimDaly
On Nov 19, 1:55 pm, Roman Pearce wrote: > On Nov 19, 5:55 am, "Nasser M. Abbasi" wrote: > > > I did a count of the number of functions in Mathematica 7 the other day, and > > I figured I should do one like this for Maple as well. > ... > > Yes, I know, counting number of functions can be misleadi

[Axiom-developer] Re: A bit of statistics trivia for Maple and Mathematica

2009-11-19 Thread TimDaly
On Nov 19, 8:55 am, "Nasser M. Abbasi" wrote: > I did a count of the number of functions in Mathematica 7 the other day, and > I figured I should do one like this for Maple as well. So, here are some > stats, maybe some might find them interesting. > > Mathematica 7: > > The System (i

[Axiom-developer] Literate Common Lisp

2009-11-18 Thread TimDaly
Using this code you can write literate common lisp programs. Note that the literate file you create is PURE latex so a "weave" program is not needed. This will accept noweb-style <>= syntax or \begin{chunk}{chunkname}\end{chunk} latex code. Removing the weave program and using a literate-aware

[Axiom-developer] Re: Is your CAS no a weakling anymore?

2009-11-16 Thread TimDaly
On Nov 16, 6:50 pm, cliclic...@freenet.de wrote: > TimDaly schrieb: > > > > > > > On Oct 19, 5:16 pm, cliclic...@freenet.de wrote: > > > Richard Fateman schrieb: > > > > > cliclic...@freenet.de wrote: > > > > >... > > > &g

[Axiom-developer] Re: Is your CAS no a weakling anymore?

2009-11-16 Thread TimDaly
On Oct 19, 5:16 pm, cliclic...@freenet.de wrote: > Richard Fateman schrieb: > > > > > cliclic...@freenet.de wrote: > > >... > > > they claim to deliver the antiderivative of any elementary function if > > > it can also be written in terms of elementary functions... > > > At least Maxima / Macsyma m

[Axiom-developer] Re: Why Did Mathematica Win?

2009-10-28 Thread TimDaly
On Oct 28, 12:32 pm, Mark Lawton wrote: > There was plenty of maths software around before 1988, when > Mathematica was released - so why did Mathematica become so dominant? > Didn't the older software run on DOS (perhaps the other programs were > too big to run on a 1980s PC - but if so, then the

[Axiom-developer] Re: A Collection of Algebraic Identities

2009-06-07 Thread TimDaly
On Jun 4, 12:35 pm, tpie...@gmail.com wrote: > Hello all, > > Here's a nice identity: > > (p+q)^4 + (r-s)^4 = (p-q)^4 + (r+s)^4 > > where {p,q,r,s} = {a^7+a^5-2a^3+a, 3a^2, a^6-2a^4+a^2+1, 3a^5} > > For similar stuff, you may be interested in "A Collection of Algebraic > Identities": > > http://sit

[Axiom-developer] Re: A Collection of Algebraic Identities

2009-06-07 Thread TimDaly
On Jun 4, 12:35 pm, tpie...@gmail.com wrote: > Hello all, > > Here's a nice identity: > > (p+q)^4 + (r-s)^4 = (p-q)^4 + (r+s)^4 > > where {p,q,r,s} = {a^7+a^5-2a^3+a, 3a^2, a^6-2a^4+a^2+1, 3a^5} > > For similar stuff, you may be interested in "A Collection of Algebraic > Identities": > > http://sit

[Axiom-developer] Re: A Collection of Algebraic Identities

2009-06-07 Thread TimDaly
On Jun 4, 12:35 pm, tpie...@gmail.com wrote: > Hello all, > > Here's a nice identity: > > (p+q)^4 + (r-s)^4 = (p-q)^4 + (r+s)^4 > > where {p,q,r,s} = {a^7+a^5-2a^3+a, 3a^2, a^6-2a^4+a^2+1, 3a^5} > > For similar stuff, you may be interested in "A Collection of Algebraic > Identities": > > http://sit

[Axiom-developer] Re: A Collection of Algebraic Identities

2009-06-07 Thread TimDaly
On Jun 4, 12:35 pm, tpie...@gmail.com wrote: > Hello all, > > Here's a nice identity: > > (p+q)^4 + (r-s)^4 = (p-q)^4 + (r+s)^4 > > where {p,q,r,s} = {a^7+a^5-2a^3+a, 3a^2, a^6-2a^4+a^2+1, 3a^5} > > For similar stuff, you may be interested in "A Collection of Algebraic > Identities": > > http://sit

[Axiom-developer] Re: OpenAxiom-1.2.1 released

2009-04-09 Thread TimDaly
On Apr 5, 7:18 am, ferrat wrote: > I installed Axiom but can't graph because at the end there is an error > message about something in the /root directory. > > Then I tried OpenAxiom and this version works, so I'm staying with OpenAxiom. > > What's the difference between Axiom and OpenAxiom? One

[Axiom-developer] Re: What is a CAS?

2008-09-02 Thread TimDaly
On Sep 1, 9:42 am, "David Park" <[EMAIL PROTECTED]> wrote: > What is the purpose of a CAS? > What kind of people use a CAS? > How does a CAS fit into their activities? > What is the output product of a CAS? > What is the output product of a CAS used for? > > -- > David Park > [EMAIL PROTECTED]://ho

[Axiom-developer] Literate Programming and Reproducible Results

2008-07-23 Thread TimDaly
The Ecole Polytechnique Federale De Lausanne has introduced an online journal fore reproducible research at: The introductory headline reads: Have you ever tried to reproduce the results presented in a research paper? For many of our current publications, this would unfo

[Axiom-developer] East Coast Computer Algebra Day

2008-04-21 Thread TimDaly
On Saturday, May 10, the next East Coast Computer Algebra Day is being held. The contributors to Sage might find it an interesting meeting. I know that Sage sent a student last year. Tim ___ Axiom-developer mailing

[Axiom-developer] Re: [fricas-devel] Re: Project

2008-04-20 Thread TimDaly
> How does the fricas/axiom source code layout work? > Is it all written in pamphlets that lisp is generated from? There is a bit of a philosophical split between Axiom and Fricas about source code layout and it is fairly fundamental. Axiom has everything in pamphlet files and is gradually movin

[Axiom-developer] Re: sage directions

2008-03-19 Thread TimDaly
It is always good practice to quote authority when being a complete fanatic on a subject. Since I'm being something of a zealot about literate programming in this stream of posts I can point you to lecture 2 by Robert Lefkowitz where he ta

[Axiom-developer] Fwd: Symbolic computation issues

2008-02-19 Thread TimDaly
-- Forwarded message -- From: TimDaly <[EMAIL PROTECTED]> Date: Feb 19, 9:09 pm Subject: Symbolic computation issues To: sci.math.symbolic On Feb 19, 7:14 pm, "K. Jennings" <[EMAIL PROTECTED]> wrote: > On Tue, 19 Feb 2008 22:41:43 +, rjf wro

[Axiom-developer] Re: OpenAxiom-1.1.0 released

2008-02-18 Thread TimDaly
On Feb 18, 1:37 pm, D Herring <[EMAIL PROTECTED]> wrote: > Gabriel Dos Reis wrote: > > I'm pleased to announce that OpenAxiom-1.1.0 has been released on > > February 14, 2008. > > Congratulations. > > I just installed Fricas a week ago... Is there a document > highlighting the differences between

[Axiom-developer] Funding open source

2007-12-30 Thread TimDaly
I had an interesting discussion with a finance professor from the Univ. of Pittsburgh. We were discussing the issue of funding open source software. The suggestion came up of approaching sourceforge or their parent company to set up an organization to handle money. The funding would not cover pay

[Axiom-developer] Rosetta translations

2007-12-28 Thread TimDaly
At is a document that is designed to help users of new systems "translate" simple ideas from their current systems. (The source is at ). I do not know Sage well enough to update this information. Is there any

[Axiom-developer] Re: Sage and Special Functions??

2007-12-15 Thread TimDaly
in the first paragraph s/chunck/chunk/ page 3 s/fucntions/functions/ The DLMF copyright section states: The material on this site is copyrighted ((c)) by NIST and/or the respective authors, and subject to the usual copyright restrictions. Does that imply DLMF can be used by open source programs