If we take the HyperSpec as definition, we have a problem.  Actually, we have a
problem in any case:

(1) -> )lisp (asin (complex -3.0 -0.1))
Value = #C(-1.535458462580241 -1.763409543539737)
(1) -> )lisp (asin (complex -3.0 0.0))
Value = #C(-1.5707963267948966 1.762747174039086)
(1) -> )lisp (asin (complex -3.0 0.1))
Value = #C(-1.535458462580241 1.763409543539737)

-- so, )lisp behaves according to the hyperspec

(1) -> asin(-3.0::DFLOAT -0.1*%i)

   (1)  - 1.535458462580241 - 1.763409543539737 %i
                                                   Type: Complex(DoubleFloat)
(2) -> asin(-3.0::DFLOAT -0.0*%i)

   (2)  - 1.5707963267948966 + 1.762747174039086 %i
                                                   Type: Complex(DoubleFloat)
(6) -> asin(-3.0::DFLOAT +0.1*%i)

   (6)  - 1.535458462580241 + 1.763409543539737 %i
                                                   Type: Complex(DoubleFloat)

-- so, DFLOAT too behaves according to the hyperspec

(7) -> asin(-3.0 - 0.1*%i)

   (7)  - 1.5354584625 802409281 - 1.7634095435 397370754 %i
                                                         Type: Complex(Float)
(8) -> asin(-3.0 - 0.0*%i)

   (8)  1.5707963267 948966192 + 1.7627471740 390860505 %i
                                                         Type: Complex(Float)
(9) -> asin(-3.0 + 0.1*%i)

   (9)  - 1.5354584625 802409281 + 1.7634095435 397370754 %i
                                                         Type: Complex(Float)

-- Float doesn't.

Martin


--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups 
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/fricas-devel?hl=en
-~----------~----~----~----~------~----~------~--~---

Reply via email to