Mathics3 · aravindh-krishnamoorthy · Dec 15, 2024 · Nov 24, 2024 · Nov 26, 2024 · Nov 27, 2024
diff --git a/Integration Test Suite/SanityCheck.m b/Integration Test Suite/SanityCheck.m
@@ -0,0 +1,51 @@
+(* ::Package:: *)
+
+(* ::Title::Closed:: *)
+(*Integrands of the form (c x)^m (a+b x)^n*)
+
+
+(* ::Section::Closed:: *)
+(*Integrands of the form (b x)^n*)
+
+
+(* ::Subsection::Closed:: *)
+(*Integrands of the form b*)
+
+
+{0, x, 1, 0}
+{1, x, 1, x}
+{5, x, 1, 5*x}
+{-2, x, 1, -2*x}
+{-3/2, x, 1, -3/2*x}
+{Pi, x, 1, Pi*x}
+{a, x, 1, a*x}
+{3*a, x, 1, 3*a*x}
+{Pi/Sqrt[16 - E^2], x, 1, (Pi*x)/Sqrt[16 - E^2]}
+
+
+(* ::Subsection::Closed:: *)
+(*Integrands of the form x^n*)
+
+
+{x^100, x, 1, x^101/101}
+{x^3, x, 1, x^4/4}
+{x^2, x, 1, x^3/3}
+{x^1, x, 1, x^2/2}
+{x^0, x, 1, x}
+{1/x^1, x, 1, Log[x]}
+{1/x^2, x, 1, -(1/x)}
+{1/x^3, x, 1, -(1/(2*x^2))}
+{1/x^4, x, 1, -(1/(3*x^3))}
+{1/x^100, x, 1, -1/(99*x^99)}
+
+
+(* ::Subsection::Closed:: *)
+(*Integrands of the form (b x)^(n/2)*)
+
+
+{x^(5/2), x, 1, 2*x^(7/2)/7}
+{x^(3/2), x, 1, 2*x^(5/2)/5}
+{x^(1/2), x, 1, 2*x^(3/2)/3}
+{1/x^(1/2), x, 1, 2*Sqrt[x]}
+{1/x^(3/2), x, 1, -2/Sqrt[x]}
+{1/x^(5/2), x, 1, -2/(3*x^(3/2))}
diff --git a/...rationRules/1 Algebraic functions/1.1 Binomial products/1.1.1 Linear/1.1.1.1 (a+b x)^m.nb b/...rationRules/1 Algebraic functions/1.1 Binomial products/1.1.1 Linear/1.1.1.1 (a+b x)^m.nb
diff --git a/...s/1 Algebraic functions/1.1 Binomial products/1.1.1 Linear/1.1.1.2 (a+b x)^m (c+d x)^n.nb b/...s/1 Algebraic functions/1.1 Binomial products/1.1.1 Linear/1.1.1.2 (a+b x)^m (c+d x)^n.nb
diff --git a/...aic functions/1.1 Binomial products/1.1.1 Linear/1.1.1.3 (a+b x)^m (c+d x)^n (e+f x)^p.nb b/...aic functions/1.1 Binomial products/1.1.1 Linear/1.1.1.3 (a+b x)^m (c+d x)^n (e+f x)^p.nb
diff --git a/...ons/1.1 Binomial products/1.1.1 Linear/1.1.1.4 (a+b x)^m (c+d x)^n (e+f x)^p (g+h x)^q.nb b/...ons/1.1 Binomial products/1.1.1 Linear/1.1.1.4 (a+b x)^m (c+d x)^n (e+f x)^p (g+h x)^q.nb
diff --git a/...lgebraic functions/1.1 Binomial products/1.1.1 Linear/1.1.1.5 P(x) (a+b x)^m (c+d x)^n.nb b/...lgebraic functions/1.1 Binomial products/1.1.1 Linear/1.1.1.5 P(x) (a+b x)^m (c+d x)^n.nb
diff --git a/...unctions/1.1 Binomial products/1.1.1 Linear/1.1.1.6 P(x) (a+b x)^m (c+d x)^n (e+f x)^p.nb b/...unctions/1.1 Binomial products/1.1.1 Linear/1.1.1.6 P(x) (a+b x)^m (c+d x)^n (e+f x)^p.nb
diff --git a/....1 Binomial products/1.1.1 Linear/1.1.1.7 P(x) (a+b x)^m (c+d x)^n (e+f x)^p (g+h x)^q.nb b/....1 Binomial products/1.1.1 Linear/1.1.1.7 P(x) (a+b x)^m (c+d x)^n (e+f x)^p (g+h x)^q.nb
diff --git a/...nRules/1 Algebraic functions/1.1 Binomial products/1.1.2 Quadratic/1.1.2.1 (a+b x^2)^p.nb b/...nRules/1 Algebraic functions/1.1 Binomial products/1.1.2 Quadratic/1.1.2.1 (a+b x^2)^p.nb
diff --git a/.../1 Algebraic functions/1.1 Binomial products/1.1.2 Quadratic/1.1.2.10 P(x) (a+b x^2)^p.nb b/.../1 Algebraic functions/1.1 Binomial products/1.1.2 Quadratic/1.1.2.10 P(x) (a+b x^2)^p.nb
diff --git a/...raic functions/1.1 Binomial products/1.1.2 Quadratic/1.1.2.11 P(x) (c x)^m (a+b x^2)^p.nb b/...raic functions/1.1 Binomial products/1.1.2 Quadratic/1.1.2.11 P(x) (c x)^m (a+b x^2)^p.nb
diff --git a/...ic functions/1.1 Binomial products/1.1.2 Quadratic/1.1.2.12 P(x) (c+d x)^n (a+b x^2)^p.nb b/...ic functions/1.1 Binomial products/1.1.2 Quadratic/1.1.2.12 P(x) (c+d x)^n (a+b x^2)^p.nb
diff --git a/...ions/1.1 Binomial products/1.1.2 Quadratic/1.1.2.13 P(x) (e x)^m (c+d x)^n (a+b x^2)^p.nb b/...ions/1.1 Binomial products/1.1.2 Quadratic/1.1.2.13 P(x) (e x)^m (c+d x)^n (a+b x^2)^p.nb
diff --git a/...ns/1.1 Binomial products/1.1.2 Quadratic/1.1.2.14 P(x) (c+d x)^m (e+f x)^n (a+b x^2)^p.nb b/...ns/1.1 Binomial products/1.1.2 Quadratic/1.1.2.14 P(x) (c+d x)^m (e+f x)^n (a+b x^2)^p.nb
diff --git a/... Algebraic functions/1.1 Binomial products/1.1.2 Quadratic/1.1.2.2 (c x)^m (a+b x^2)^p.nb b/... Algebraic functions/1.1 Binomial products/1.1.2 Quadratic/1.1.2.2 (c x)^m (a+b x^2)^p.nb
diff --git a/...ebraic functions/1.1 Binomial products/1.1.2 Quadratic/1.1.2.3 (a+b x^2)^p (c+d x^2)^q.nb b/...ebraic functions/1.1 Binomial products/1.1.2 Quadratic/1.1.2.3 (a+b x^2)^p (c+d x^2)^q.nb
diff --git a/...unctions/1.1 Binomial products/1.1.2 Quadratic/1.1.2.4 (e x)^m (a+b x^2)^p (c+d x^2)^q.nb b/...unctions/1.1 Binomial products/1.1.2 Quadratic/1.1.2.4 (e x)^m (a+b x^2)^p (c+d x^2)^q.nb
diff --git a/...ions/1.1 Binomial products/1.1.2 Quadratic/1.1.2.5 (a+b x^2)^p (c+d x^2)^q (e+f x^2)^r.nb b/...ions/1.1 Binomial products/1.1.2 Quadratic/1.1.2.5 (a+b x^2)^p (c+d x^2)^q (e+f x^2)^r.nb
diff --git a/... Binomial products/1.1.2 Quadratic/1.1.2.6 (g x)^m (a+b x^2)^p (c+d x^2)^q (e+f x^2)^r.nb b/... Binomial products/1.1.2 Quadratic/1.1.2.6 (g x)^m (a+b x^2)^p (c+d x^2)^q (e+f x^2)^r.nb
diff --git a/...lgebraic functions/1.1 Binomial products/1.1.2 Quadratic/1.1.2.7 (c+d x)^n (a+b x^2)^p.nb b/...lgebraic functions/1.1 Binomial products/1.1.2 Quadratic/1.1.2.7 (c+d x)^n (a+b x^2)^p.nb
diff --git a/... functions/1.1 Binomial products/1.1.2 Quadratic/1.1.2.8 (e x)^m (c+d x)^n (a+b x^2)^p.nb b/... functions/1.1 Binomial products/1.1.2 Quadratic/1.1.2.8 (e x)^m (c+d x)^n (a+b x^2)^p.nb
diff --git a/...unctions/1.1 Binomial products/1.1.2 Quadratic/1.1.2.9 (c+d x)^m (e+f x)^n (a+b x^2)^p.nb b/...unctions/1.1 Binomial products/1.1.2 Quadratic/1.1.2.9 (c+d x)^m (e+f x)^n (a+b x^2)^p.nb
diff --git a/...ionRules/1 Algebraic functions/1.1 Binomial products/1.1.3 General/1.1.3.1 (a+b x^n)^p.nb b/...ionRules/1 Algebraic functions/1.1 Binomial products/1.1.3 General/1.1.3.1 (a+b x^n)^p.nb
diff --git a/.../1 Algebraic functions/1.1 Binomial products/1.1.3 General/1.1.3.2 (c x)^m (a+b x^n)^p.nb b/.../1 Algebraic functions/1.1 Binomial products/1.1.3 General/1.1.3.2 (c x)^m (a+b x^n)^p.nb
diff --git a/...lgebraic functions/1.1 Binomial products/1.1.3 General/1.1.3.3 (a+b x^n)^p (c+d x^n)^q.nb b/...lgebraic functions/1.1 Binomial products/1.1.3 General/1.1.3.3 (a+b x^n)^p (c+d x^n)^q.nb
diff --git a/... functions/1.1 Binomial products/1.1.3 General/1.1.3.4 (e x)^m (a+b x^n)^p (c+d x^n)^q.nb b/... functions/1.1 Binomial products/1.1.3 General/1.1.3.4 (e x)^m (a+b x^n)^p (c+d x^n)^q.nb
diff --git a/...ctions/1.1 Binomial products/1.1.3 General/1.1.3.5 (a+b x^n)^p (c+d x^n)^q (e+f x^n)^r.nb b/...ctions/1.1 Binomial products/1.1.3 General/1.1.3.5 (a+b x^n)^p (c+d x^n)^q (e+f x^n)^r.nb
diff --git a/....1 Binomial products/1.1.3 General/1.1.3.6 (g x)^m (a+b x^n)^p (c+d x^n)^q (e+f x^n)^r.nb b/....1 Binomial products/1.1.3 General/1.1.3.6 (g x)^m (a+b x^n)^p (c+d x^n)^q (e+f x^n)^r.nb
diff --git a/...les/1 Algebraic functions/1.1 Binomial products/1.1.3 General/1.1.3.7 P(x) (a+b x^n)^p.nb b/...les/1 Algebraic functions/1.1 Binomial products/1.1.3 General/1.1.3.7 P(x) (a+b x^n)^p.nb
diff --git a/...gebraic functions/1.1 Binomial products/1.1.3 General/1.1.3.8 P(x) (c x)^m (a+b x^n)^p.nb b/...gebraic functions/1.1 Binomial products/1.1.3 General/1.1.3.8 P(x) (c x)^m (a+b x^n)^p.nb
diff --git a/...les/1 Algebraic functions/1.1 Binomial products/1.1.4 Improper/1.1.4.1 (a x^j+b x^n)^p.nb b/...les/1 Algebraic functions/1.1 Binomial products/1.1.4 Improper/1.1.4.1 (a x^j+b x^n)^p.nb
diff --git a/...gebraic functions/1.1 Binomial products/1.1.4 Improper/1.1.4.2 (c x)^m (a x^j+b x^n)^p.nb b/...gebraic functions/1.1 Binomial products/1.1.4 Improper/1.1.4.2 (c x)^m (a x^j+b x^n)^p.nb
diff --git a/...tions/1.1 Binomial products/1.1.4 Improper/1.1.4.3 (e x)^m (a x^j+b x^k)^p (c+d x^n)^q.nb b/...tions/1.1 Binomial products/1.1.4 Improper/1.1.4.3 (e x)^m (a x^j+b x^k)^p (c+d x^n)^q.nb
diff --git a/...ic functions/1.1 Binomial products/1.1.4 Improper/1.1.4.4 P(x) (c x)^m (a x^j+b x^n)^p.nb b/...ic functions/1.1 Binomial products/1.1.4 Improper/1.1.4.4 P(x) (c x)^m (a x^j+b x^n)^p.nb
diff --git a/...s/1 Algebraic functions/1.2 Trinomial products/1.2.1 Quadratic/1.2.1.1 (a+b x+c x^2)^p.nb b/...s/1 Algebraic functions/1.2 Trinomial products/1.2.1 Quadratic/1.2.1.1 (a+b x+c x^2)^p.nb
diff --git a/...aic functions/1.2 Trinomial products/1.2.1 Quadratic/1.2.1.2 (d+e x)^m (a+b x+c x^2)^p.nb b/...aic functions/1.2 Trinomial products/1.2.1 Quadratic/1.2.1.2 (d+e x)^m (a+b x+c x^2)^p.nb
diff --git a/...ons/1.2 Trinomial products/1.2.1 Quadratic/1.2.1.3 (d+e x)^m (f+g x)^n (a+b x+c x^2)^p.nb b/...ons/1.2 Trinomial products/1.2.1 Quadratic/1.2.1.3 (d+e x)^m (f+g x)^n (a+b x+c x^2)^p.nb
diff --git a/...nctions/1.2 Trinomial products/1.2.1 Quadratic/1.2.1.4 (a+b x+c x^2)^p (d+e x+f x^2)^q.nb b/...nctions/1.2 Trinomial products/1.2.1 Quadratic/1.2.1.4 (a+b x+c x^2)^p (d+e x+f x^2)^q.nb
diff --git a/...2 Trinomial products/1.2.1 Quadratic/1.2.1.5 (g+h x)^m (a+b x+c x^2)^p (d+e x+f x^2)^q.nb b/...2 Trinomial products/1.2.1 Quadratic/1.2.1.5 (g+h x)^m (a+b x+c x^2)^p (d+e x+f x^2)^q.nb
diff --git a/...lgebraic functions/1.2 Trinomial products/1.2.1 Quadratic/1.2.1.6 P(x) (a+b x+c x^2)^p.nb b/...lgebraic functions/1.2 Trinomial products/1.2.1 Quadratic/1.2.1.6 P(x) (a+b x+c x^2)^p.nb
diff --git a/...unctions/1.2 Trinomial products/1.2.1 Quadratic/1.2.1.7 P(x) (d+e x)^m (a+b x+c x^2)^p.nb b/...unctions/1.2 Trinomial products/1.2.1 Quadratic/1.2.1.7 P(x) (d+e x)^m (a+b x+c x^2)^p.nb
diff --git a/....2 Trinomial products/1.2.1 Quadratic/1.2.1.8 P(x) (d+e x)^m (f+g x)^n (a+b x+c x^2)^p.nb b/....2 Trinomial products/1.2.1 Quadratic/1.2.1.8 P(x) (d+e x)^m (f+g x)^n (a+b x+c x^2)^p.nb
diff --git a/...ns/1.2 Trinomial products/1.2.1 Quadratic/1.2.1.9 P(x) (a+b x+c x^2)^p (d+e x+f x^2)^q.nb b/...ns/1.2 Trinomial products/1.2.1 Quadratic/1.2.1.9 P(x) (a+b x+c x^2)^p (d+e x+f x^2)^q.nb
diff --git a/...s/1 Algebraic functions/1.2 Trinomial products/1.2.2 Quartic/1.2.2.1 (a+b x^2+c x^4)^p.nb b/...s/1 Algebraic functions/1.2 Trinomial products/1.2.2 Quartic/1.2.2.1 (a+b x^2+c x^4)^p.nb
diff --git a/...braic functions/1.2 Trinomial products/1.2.2 Quartic/1.2.2.2 (d x)^m (a+b x^2+c x^4)^p.nb b/...braic functions/1.2 Trinomial products/1.2.2 Quartic/1.2.2.2 (d x)^m (a+b x^2+c x^4)^p.nb
diff --git a/...c functions/1.2 Trinomial products/1.2.2 Quartic/1.2.2.3 (d+e x^2)^q (a+b x^2+c x^4)^p.nb b/...c functions/1.2 Trinomial products/1.2.2 Quartic/1.2.2.3 (d+e x^2)^q (a+b x^2+c x^4)^p.nb
diff --git a/...ons/1.2 Trinomial products/1.2.2 Quartic/1.2.2.4 (f x)^m (d+e x^2)^q (a+b x^2+c x^4)^p.nb b/...ons/1.2 Trinomial products/1.2.2 Quartic/1.2.2.4 (f x)^m (d+e x^2)^q (a+b x^2+c x^4)^p.nb
diff --git a/...lgebraic functions/1.2 Trinomial products/1.2.2 Quartic/1.2.2.5 P(x) (a+b x^2+c x^4)^p.nb b/...lgebraic functions/1.2 Trinomial products/1.2.2 Quartic/1.2.2.5 P(x) (a+b x^2+c x^4)^p.nb
diff --git a/... functions/1.2 Trinomial products/1.2.2 Quartic/1.2.2.6 P(x) (d x)^m (a+b x^2+c x^4)^p.nb b/... functions/1.2 Trinomial products/1.2.2 Quartic/1.2.2.6 P(x) (d x)^m (a+b x^2+c x^4)^p.nb
diff --git a/...ctions/1.2 Trinomial products/1.2.2 Quartic/1.2.2.7 P(x) (d+e x^2)^q (a+b x^2+c x^4)^p.nb b/...ctions/1.2 Trinomial products/1.2.2 Quartic/1.2.2.7 P(x) (d+e x^2)^q (a+b x^2+c x^4)^p.nb
diff --git a/...unctions/1.2 Trinomial products/1.2.2 Quartic/1.2.2.8 P(x) (d+e x)^q (a+b x^2+c x^4)^p.nb b/...unctions/1.2 Trinomial products/1.2.2 Quartic/1.2.2.8 P(x) (d+e x)^q (a+b x^2+c x^4)^p.nb
diff --git a/...Algebraic functions/1.2 Trinomial products/1.2.3 General/1.2.3.1 (a+b x^n+c x^(2 n))^p.nb b/...Algebraic functions/1.2 Trinomial products/1.2.3 General/1.2.3.1 (a+b x^n+c x^(2 n))^p.nb
diff --git a/...c functions/1.2 Trinomial products/1.2.3 General/1.2.3.2 (d x)^m (a+b x^n+c x^(2 n))^p.nb b/...c functions/1.2 Trinomial products/1.2.3 General/1.2.3.2 (d x)^m (a+b x^n+c x^(2 n))^p.nb
diff --git a/...nctions/1.2 Trinomial products/1.2.3 General/1.2.3.3 (d+e x^n)^q (a+b x^n+c x^(2 n))^p.nb b/...nctions/1.2 Trinomial products/1.2.3 General/1.2.3.3 (d+e x^n)^q (a+b x^n+c x^(2 n))^p.nb
diff --git a/...1.2 Trinomial products/1.2.3 General/1.2.3.4 (f x)^m (d+e x^n)^q (a+b x^n+c x^(2 n))^p.nb b/...1.2 Trinomial products/1.2.3 General/1.2.3.4 (f x)^m (d+e x^n)^q (a+b x^n+c x^(2 n))^p.nb
diff --git a/...raic functions/1.2 Trinomial products/1.2.3 General/1.2.3.5 P(x) (a+b x^n+c x^(2 n))^p.nb b/...raic functions/1.2 Trinomial products/1.2.3 General/1.2.3.5 P(x) (a+b x^n+c x^(2 n))^p.nb
diff --git a/...ctions/1.2 Trinomial products/1.2.3 General/1.2.3.6 P(x) (d x)^m (a+b x^n+c x^(2 n))^p.nb b/...ctions/1.2 Trinomial products/1.2.3 General/1.2.3.6 P(x) (d x)^m (a+b x^n+c x^(2 n))^p.nb
diff --git a/...ic functions/1.2 Trinomial products/1.2.4 Improper/1.2.4.1 (a x^q+b x^n+c x^(2 n-q))^p.nb b/...ic functions/1.2 Trinomial products/1.2.4 Improper/1.2.4.1 (a x^q+b x^n+c x^(2 n-q))^p.nb
diff --git a/...ions/1.2 Trinomial products/1.2.4 Improper/1.2.4.2 (d x)^m (a x^q+b x^n+c x^(2 n-q))^p.nb b/...ions/1.2 Trinomial products/1.2.4 Improper/1.2.4.2 (d x)^m (a x^q+b x^n+c x^(2 n-q))^p.nb