[Top][All Lists]

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

[Axiom-developer] [#87 solve(x + 1.1, 0.001) fails]

From: anonymous
Subject: [Axiom-developer] [#87 solve(x + 1.1, 0.001) fails]
Date: Fri, 11 Feb 2005 07:22:52 -0600

-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.

As with any software, one must learn the correct syntax of commands.  For some 
unknown reason, Axiom does not have a solve function with signature:

{\tt solve: (Polynomial Float, Float) -> List Equation Polynomial Float}. 
However, it has 

{\tt solve: Polynomial Float->List Equation Fraction Polynomial Float}

and {\tt solve: (Polynomial Fraction Integer, Float) -> List Equation 
Polynomial Float)}.

solve(x+ 11/10,0.0001)

One should be careful interpreting these results.  The second one solves it to 
5 binary digit accuracy (closest binary to 0.1 (decimal) is 1/16+1/32 = 
0.09375) hence the answer is not {\tt -1.1}. A similar loss happens in the 
third one. To obtain {\tt -1.1} as the solution, one needs much higher 
accuracy, as in the fourth one (that is the minimum needed).

forwarded from

reply via email to

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