[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Re: Is your CAS no a weakling anymore?
From: |
TimDaly |
Subject: |
[Axiom-developer] Re: Is your CAS no a weakling anymore? |
Date: |
Mon, 16 Nov 2009 09:29:20 -0800 (PST) |
User-agent: |
G2/1.0 |
On Oct 19, 5:16 pm, address@hidden wrote:
> Richard Fateman schrieb:
>
>
>
> > address@hidden 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 makes no such claims, and in particular
> > neither implements completely the algebraic case of the Risch algorithm.
> > Undoubtedly simpler examples will stump these programs.
>
> Errh. Ok. Alright. Maxima users are excused for the time being - they
> may hand in their answers after the next integrator overhaul. On the
> other hand, Derive also makes do with less than 1000 general
> integration rules like
> INT(F((a+b*x)^(1/n),x),x) ->
> n/b*SUBST(INT(x^(n-1)*F(x,(x^n-a)/b),x),x,(a+b*x)^(1/n)),
> or
> INT(x^m*LN((a*x^n)^q),x) ->
> x^(m+1)*LN((a*x^n)^q)/(m+1)-n*q*x^(m+1)/(m+1)^2.
> What counts in the end is the ability to handle real-life integrals like
> the problem posed. Maybe Risch's is not the best way?
>
> And now pssss. They are all crouched over their screens. No sound but
> the occasional keyboard click and slurp of coffee. Papa Wolfram looks
> particularly grave. Will he and his crew flunk again?
>
> Martin ;)
Interesting. Where do you find such patterns?
Do you have a catalog of them I can try?
Tim Daly
Axiom Lead Developer
Elder of the Internet
- [Axiom-developer] Re: Is your CAS no a weakling anymore?,
TimDaly <=