There 27 integrals from the BWD test set are affected by this.
Examples are
int(-3*x^2- 2 - 1/(sqrt(1 - atan(x)^2)*(x^2 + 1)*asin(atan(x))), x)
int(-1/(sqrt(1-(x - 5 + atan(4))^2)*acos(x - 5 + atan(4))^2), x)
The regression is svn r2510 or git c9474effcc2a0218ab641ab96d081a3538b38674.
(between 1.3.4 and 1.3.5)
diff --git a/ChangeLog b/ChangeLog
index 46325dc2..26542069 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2018-10-20 Waldek Hebisch <[email protected]>
+
+ * src/algebra/efstruc.spad: Block unwanted evaluation
+
2018-10-16 Qian Yun <[email protected]>
* src/hyper/titlebar.c: Support long filename in HyperDoc
diff --git a/src/algebra/efstruc.spad b/src/algebra/efstruc.spad
index 733ddc1f..7535cdea 100644
--- a/src/algebra/efstruc.spad
+++ b/src/algebra/efstruc.spad
@@ -836,7 +836,7 @@ InnerTrigonometricManipulations(R, F, FG) : Exports
== Implementation where
- im * (e - 1) /$FG (e + 1)
is?(k, 'atan) =>
im * log((1 -$FG im *$FG z)/$FG (1 +$FG im *$FG z))$FG / (2::FG)
- (operator k) args
+ kernel((operator k), args)
trigs2explogs(f, l) ==
smp2explogs(numer f, l) / smp2explogs(denom f, l)
diff --git a/src/input/integ.input b/src/input/integ.input
index 9861e1b3..2fc37e87 100644
--- a/src/input/integ.input
+++ b/src/input/integ.input
@@ -672,6 +672,9 @@ testIntegrate("1/(x^3*(a+b*x/sqrt(3))^(1/3))", "x",
"alg")
-- substitution
testIntegrate("1/(sqrt(10) - x^2)^(1/2)", "x", "alg")
+-- Gave ugly result due to mishandled root
+testIntegrate("sin(x^2)/fresnelS(x*(2/pi())^(1/2))", "x", "liou")
+
testcase "specific integrals"
testEquals("integrate((x + 2)^2/((x+2)^6 + 1), x)", "atan((x+2)^3)/3")
--
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/48193b96-6d60-9840-3507-d89a7408d64a%40gmail.com.
