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

patch possible. --Francois Maltey, Fri, 05 Jan 2007 07:57:48 -0600 reply

I propose to remplace in asin x == atan (x/sqrt(1-x**2)) in trigcat.spad line 162 by

asin x == x=1 => 2atan 1 x=-1 => -2atan 1 atan(x/sqrt(1-x**2))

The result seems right...