From f439dc2b5bc467d29cbfbd4ffdf1db38002cc55c Mon Sep 17 00:00:00 2001 From: Rafael Vuijk Date: Sun, 4 Oct 2026 00:10:04 +0000 Subject: [PATCH] =?UTF-8?q?The=20imaginary=20M=C3=B6bius=20power=20test=20?= =?UTF-8?q?asserts=20its=20verdict,=20not=20a=20clock?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit AnImaginaryMobiusPowerIsDeclinedWithinAMinute waited a minute for ((1 + i a x)/(1 - i a x))^(-5/4)/x^3 and asserted nothing else. It is settled in seven seconds on its own and ran past the minute twice on a loaded machine. It asserts what Integrate gives now: declined, or an answer that differentiates back; a regression to the two-minute search shows as a slow suite. Part of #718. Co-Authored-By: Claude Opus 5.5 (1M context) Claude-Session: https://claude.ai/code/session_012sonx8iAspMiwRwokT1Ura --- .../ComplexCoefficientRationalIntegralTest.cs | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) diff --git a/Sources/Tests/UnitTests/Calculus/ComplexCoefficientRationalIntegralTest.cs b/Sources/Tests/UnitTests/Calculus/ComplexCoefficientRationalIntegralTest.cs index 37f56139a..ce0e81b9a 100644 --- a/Sources/Tests/UnitTests/Calculus/ComplexCoefficientRationalIntegralTest.cs +++ b/Sources/Tests/UnitTests/Calculus/ComplexCoefficientRationalIntegralTest.cs @@ -82,17 +82,19 @@ private static void DifferentiatesBack(string integrand) /// /// A power of a quotient of linears with the imaginary unit in it, beside a power of x the - /// substitution for it does not take down to something answered: declined, and within a - /// minute. The scaling of the variable simplified it with the symbol beside the imaginary - /// unit, and that ran past two minutes before the decline. + /// substitution for it does not take down to something answered. The scaling of the + /// variable simplified it with the symbol beside the imaginary unit, and that ran past two + /// minutes before the decline; it is settled in seconds now, so a regression shows as a + /// slow suite. Declined is a verdict, and an answer has to differentiate back. /// [Theory] [InlineData("((1 + i*a*x)/(1 - i*a*x))^(-5/4)/x^2")] [InlineData("((1 + i*a*x)/(1 - i*a*x))^(-5/4)/x^3")] - public void AnImaginaryMobiusPowerIsDeclinedWithinAMinute(string integrand) + public void AnImaginaryMobiusPowerIsSettled(string integrand) { - var integrating = System.Threading.Tasks.Task.Run(() => integrand.ToEntity().Integrate("x")); - Assert.True(integrating.Wait(TimeSpan.FromSeconds(60)), $"{integrand} was not settled within a minute"); + if (integrand.ToEntity().Integrate("x").Stringize().Contains("integral(")) + return; + DifferentiatesBack(integrand); } } }