From 61e9c18ea248061cd83c67882f7c91a73cef912d Mon Sep 17 00:00:00 2001
From: samb <user@users-MacBook-Pro.local>
Date: Thu, 22 Feb 2024 12:45:28 +1100
Subject: [PATCH] Add appropriate directions for limits for definite
 integration.

---
 Rubi/Rubi.m | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Rubi/Rubi.m b/Rubi/Rubi.m
index 8a7b331..580051e 100755
--- a/Rubi/Rubi.m
+++ b/Rubi/Rubi.m
@@ -472,7 +472,7 @@
 Int::definite = "Rubi does not check whether the domain of integration is continuous.";
 Int[u_, {x_Symbol, a_, b_}] := With[{result = Int[u, x]}, 
 	Message[Int::definite]; 
-	Limit[result, x -> b] - Limit[result, x -> a]];
+	Limit[result, x -> b, Direction -> 1] - Limit[result, x -> a, Direction -> -1]];
 
 Int[{u__}, x_Symbol] := Map[Function[Int[#, x]], {u}];