[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
## [Axiom-developer] Re: [Axiom-mail] limits

**From**: |
Ralf Hemmecke |

**Subject**: |
[Axiom-developer] Re: [Axiom-mail] limits |

**Date**: |
Mon, 26 Mar 2007 10:30:06 +0200 |

**User-agent**: |
Thunderbird 2.0b2 (X11/20070116) |

Hello,
On 03/26/2007 06:31 AM, Bill Page wrote:
> On March 25, 2007 11:54 AM Ondrej Certik wrote:
>> I am sorry for this stupid question - but how can I
>> calculate the limit of:
>>
>> (3**x+5**x)**(1/x)
>>
>> for x->+infinity?
[snip]
> In Axiom you should write:
>
> limit((3**x+5**x)**(1/x), x=%plusInfinity)
>
> But if you got "failed" as a result you probably wrote
> %plusInfinity and it's just a typo in your email.
>> Also, this works correctly:
>>
>> simplify(2**x * 2**(2*x))
>>
>> simplifies to 2**(3x)
>>
>> but this doesn't simplify at all:
>>
>> simplify(2**(5*x)/2**(4*x))

`But I don't think that expression simplification in general is Ondrej's
``point (see subject). In fact, he has implemented the algorithm of Gruntz
`` dissertation (http://www.cs.fh-aargau.ch/~gruntz/publications2.html)
``which is in Maple and there also seems to be an implementation in MuPad
``and Mathematica. Axiom is just lacking that new algorithm. Maybe we
``should also implement it and Ondrej could help to do so. (In fact, that
``would be a good small project for Google Summer.) Any volonteers out there?
`

`Unfortunately, I haven't found a .pdf file of Gruntz thesis, but
``shouldn't we copy it to a section on
``http://portal.axiom-developer.org/refs ?
`
Ralf

**[Axiom-developer] Re: [Axiom-mail] limits**,
*Ralf Hemmecke* **<=**