Waldek, the branch cuts in the numeric code seem to differ from the HyperSpec.
I know now how to implement unit tests, but I need to know which conventions we
want to follow. I believe that the Common Lisp HyperSpec is a good choice,
because it's a standard, and because Common Lisp is our underlying language.
But I'll happily follow other conventions, if given.
> -- so, DFLOAT too behaves according to the hyperspec
actually, only on the negative side. On the positive side we have
(52) -> arg1 := 1.2::Float - 10.0^-16*%i
(52) 1.2 - 0.1 E -15 %i
Type: Complex(Float)
(53) -> arg2 := 1.2::Float + 0.0*%i
(53) 1.2
Type: Complex(Float)
(54) -> asin arg1
(54) 1.5707963267 948964685 - 0.6223625037 1477866781 %i
Type: Complex(Float)
(55) -> asin arg2
(55) - 1.5707963267 948966192 - 0.6223625037 1477866781 %i
Type: Complex(Float)
(56) -> asin(arg2::COMPLEX DFLOAT)
(56) 1.5707963267948966 + 0.6223625037147786 %i
Type: Complex(DoubleFloat)
(57) -> asin(arg1::COMPLEX DFLOAT)
(57) 1.5707963267948966 - 0.6223625037147786 %i
Type: Complex(DoubleFloat)
(58) -> )lisp (asin (complex 1.2 (expt -10.0 -16)))
Value = #C(1.5707963267948966 0.6223625037147786)
(58) -> )lisp (asin (complex 1.2 0.0))
Value = #C(1.5707963267948966 0.6223625037147786)
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
-~----------~----~----~----~------~----~------~--~---
