[fricas-devel] [PATCH] make integration test run much faster

[oldk1331]

This integration takes 1 second, but differentiates back takes
38 seconds and "normalize" verification takes 80 seconds.

By skipping the verification, the test can run much faster.


=======================
make integration test run much faster

--- a/src/input/integ.input
+++ b/src/input/integ.input
@@ -652,7 +652,9 @@
-- used to fail since we need to factor Trager resultant over complex
-- numbers
testIntegrate("cos(x)^2/sqrt(cos(x)^4 + cos(x)^2 + 1)", "x", "alg")
-testIntegrate("sqrt(tan(x)^2 + 2*tan(x) + 2)", "x", "alg")
+
+-- the integration is fast, but to verify it takes too much time
+testTrue("(integrate(sqrt(tan(x)^2 + 2*tan(x) + 2), x); true)")

t1 := exp(x)
t2 := exp(1/(1 + t1))

[Waldek Hebisch]

Post by oldk1331
This integration takes 1 second, but differentiates back takes
38 seconds and "normalize" verification takes 80 seconds.
By skipping the verification, the test can run much faster.

Much of the point of this test is verification. There
is always problem if we should include long running tests.
When possible, I am trying to make fast-running test.
For this one I see no way to test the thing cheaper,
except for producing simpler result (which should be
possible) and generally speeding up expression handling.