|
|
last edited 16 years ago by kratt6 |
1 2 | ||
Editor: kratt6
Time: 2007/12/20 02:09:52 GMT-8 |
||
Note: See #138 |
added:
From kratt6 Thu Dec 20 02:09:52 -0800 2007
From: kratt6
Date: Thu, 20 Dec 2007 02:09:52 -0800
Subject: See #138
Message-ID: <20071220020952-0800@axiom-wiki.newsynthesis.org>
Category: Axiom Mathematics => Axiom Library
Status: open => duplicate
The first real calculus is right, the second fails.
asin 1.0
(1) |
Type: Float
asin (1.0+0*%i)
>> Error detected within library code: catdef: division by zero
The problem is perhaps line 162 of trigcat.spad. There is no test for the ... / sqrt (1-x^2) in asin definition.
asin x == atan(x/sqrt(1-x**2))
asin x == x=1 => 2atan 1 x=-1 => -2atan 1 atan(x/sqrt(1-x**2))
The result seems right...
Category: Axiom Mathematics => Axiom Library Status: open => duplicate