Martin Rubey wrote:
>
> I just tried what happens using the definition
>
> myacos z == 4*atan(sqrt((1-z)/2)/(1+sqrt((1+z)/2)))
>
> In the testsuite I found the integral
>
> in211:=integrate(acos(sin(2*z))*cos(z), z= 0..4*%pi/3)
Do not count on correct result from this integral, the
values of integrand go trough branch (2*z changes
from 0 to (8/3)*%pi, which is more than %pi and on interal
longer than %pi sin is not 1 to 1).
In principle, we should be able to discover singularity
and report it. However, this requires access to unsimplified
form of integrand. Again, this looks like a case where
we should keep Expression as library domain (compute engine),
but use different domain for definite integration.
--
Waldek Hebisch
[EMAIL PROTECTED]
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
