(1) -> integrate(1/(-1+cos(x)^2)^(1/2),x)
>> Error detected within library code:
catdef: division by zero
The trace is at the end of this mail.
Git bisect points to 2f4da615 in year 2015: "Consistently
integrate trigonometric functions via complex exponentials"
This commit exposes the bug instead of introducing the bug,
I think.
- Qian
===== TRACE =====
(4) -> integrate(1/(-1+cos(x)^2)^(1/2),x)
1<enter IntegrationResultToFunction.expand,36 :
x
4 tan(-)
--+ 1 2 2
arg1 = > - %F log(%F + ----------- %F + 1)
--+ 2 x 2
2 tan(-) + 1
%F + 1 = 0 2
arg2 = x
1<enter IntegrationResultToFunction.split,34 :
x
4 tan(-)
--+ 1 2 2
arg1 = > - %F log(%F + ----------- %F + 1)
--+ 2 x 2
2 tan(-) + 1
%F + 1 = 0 2
1>exit IntegrationResultToFunction.split,34 :
x
4 tan(-)
--+ 1 2 2
> - %F log(%F + ----------- %F + 1)
--+ 2 x 2
2 tan(-) + 1
%F + 1 = 0 2
1<enter IntegrationResultToFunction.ilog,63 :
arg1 = 0
x
4 tan(-)
2
arg2 = -----------
x 2
tan(-) + 1
2
arg3 = x
1<enter IntegrationResultToFunction.tantrick,72 :
arg1 = 0
x
4 tan(-)
2
arg2 = -----------
x 2
tan(-) + 1
2
>> Error detected within library code:
catdef: division by zero
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/dec3daf0-4db3-4b71-83dc-baf5a8074c51%40gmail.com.
