Re: [Axiom-math] Simple question

['Soren Hansen']

On Mon, Dec 04, 2006 at 02:19:28PM -0500, Bill Page wrote:
> > > (2) -> solve(2^x-1024, 1)
> Note that there are forms of solve that take something of type
> Expression Integer as the first argument.

I've been staring at the output of ")di op solve", but cannot spot it.
Does it say "Expression Integer" or does it perhaps say something else
that an "Expression Integer" can be implicitly converted to? I assume
Axiom sometimes does that kind of thing?

> (3) -> solve((250/x)^x-6000000000)
> 
>    (3)  []
>                      Type: List Equation Expression Integer
> 
> Unfortunately Axiom apparently cannot (yet) find an exact solution for
> this one (requires LambertW).

Yes, I spotted LambertW in the output from Maple when I asked it the
same question. :-) I have however never heard of it before. Is it
difficult to implement? I'm thinking it could be my first stab at
implementing something new in Axiom. :-)

-- 
Cheers, Søren Hansen.

signature.asc
Description: Digital signature