Re: [sage-support] An argument for more direct axiom integration

2010-07-13 Thread Robert Bradshaw
On Mon, Jul 5, 2010 at 4:39 AM, Dr. David Kirkby david.kir...@onetel.net wrote: On 07/ 5/10 06:18 AM, William Stein wrote: Great idea - you could add an algorithm=axiom option to sage's integrate command. Personally, and I am going to dare risk argue with a mathematician, I would not have

Re: [sage-support] An argument for more direct axiom integration

2010-07-13 Thread William Stein
On Tue, Jul 13, 2010 at 7:46 AM, Robert Bradshaw rober...@math.washington.edu wrote: On Mon, Jul 5, 2010 at 4:39 AM, Dr. David Kirkby david.kir...@onetel.net wrote: On 07/ 5/10 06:18 AM, William Stein wrote: Great idea - you could add an algorithm=axiom option to sage's integrate command.

Re: [sage-support] An argument for more direct axiom integration

2010-07-13 Thread Dr. David Kirkby
On 07/13/10 08:05 AM, William Stein wrote: On Tue, Jul 13, 2010 at 7:46 AM, Robert Bradshaw rober...@math.washington.edu wrote: On Mon, Jul 5, 2010 at 4:39 AM, Dr. David Kirkby david.kir...@onetel.net wrote: On 07/ 5/10 06:18 AM, William Stein wrote: Great idea - you could add an

Re: [sage-support] An argument for more direct axiom integration

2010-07-13 Thread William Stein
On Tue, Jul 13, 2010 at 7:24 PM, Dr. David Kirkby david.kir...@onetel.net wrote: On 07/13/10 08:05 AM, William Stein wrote: On Tue, Jul 13, 2010 at 7:46 AM, Robert Bradshaw rober...@math.washington.edu  wrote: On Mon, Jul 5, 2010 at 4:39 AM, Dr. David Kirkby david.kir...@onetel.net  wrote:

Re: [sage-support] An argument for more direct axiom integration

2010-07-05 Thread Dr. David Kirkby
On 07/ 5/10 06:18 AM, William Stein wrote: Great idea - you could add an algorithm=axiom option to sage's integrate command. Personally, and I am going to dare risk argue with a mathematician, I would not have considered Axion an algorithm, but a software package. So something like

[sage-support] An argument for more direct axiom integration

2010-07-04 Thread John
I discovered the following article online (http://amca01.wordpress.com/ 2010/01/08/symbolic-integration-with-an-open-source-cas/). Suggesting that there are certain cases, in which sage fails to integrate functions that can be integrated. The functions that the author of this article said could

Re: [sage-support] An argument for more direct axiom integration

2010-07-04 Thread William Stein
Great idea - you could add an algorithm=axiom option to sage's integrate command. On Sunday, July 4, 2010, John jakirk...@gmail.com wrote: I discovered the following article online (http://amca01.wordpress.com/ 2010/01/08/symbolic-integration-with-an-open-source-cas/). Suggesting that there