[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-math] Simple question

From: Francois Maltey
Subject: Re: [Axiom-math] Simple question
Date: 04 Dec 2006 19:16:00 +0100
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.4

Hello Soren, and Welcome !

> I'm a new Axiom user, so this is probably a very simple question, but it
> really puzzles me:
> (1) -> solve(x^10-1024, 1)
>    (1)  [x= - 2,x= 2]
>                          Type: List Equation Polynomial Fraction Integer

                                             solve operate over Polynomial

Axiom isn't as the others CAS.
If you used maple or others you must change (just a little) your mind.
It's surprising at the beginning but some times after we appreciate 
the typed language axiom. We must explain (to himself) what the want.

> (2) -> solve(2^x-1024, 1)
>    There are 20 exposed and 3 unexposed library operations named solve 
>       having 2 argument(s) but none was determined to be applicable. 
>       Use HyperDoc Browse, or issue
>                               )display op solve
>       to learn more about the available operations. Perhaps 
>       package-calling the operation or using coercions on the arguments
>       will allow you to apply the operation.
>    Cannot find a definition or applicable library operation named solve
>       with argument type(s) 
>                              Expression Integer
>                                PositiveInteger
>       Perhaps you should use "@" to indicate the required return type, 
>       or "$" to specify which version of the function you need.

2^x isn't polynomial, it's a function with exp : 2^x = exp (x * log 2).

Axiom is very typed so 2^x in of type Expression Integer and there is
no solve over Expression Integer.

And I don't believe there are methods for such equations, 
even if my eyes see the x=10 solution.

And Axiom don't have a lot of numerical methods.

What do you want to do with Axiom.

Have a nice day !

Francois (in France)

reply via email to

[Prev in Thread] Current Thread [Next in Thread]