Fix for condition within With

Mathics3 · Nov 24, 2024 · 3413208 · 3413208
1 parent d439583
commit 3413208
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/Rubi.m b/Rubi.m
@@ -187,6 +187,11 @@
 (* Define a working definition for Refine *)
 Refine[x_] := Simplify[x];
 
+(* Fix conditions within With -- needs a full fix within the pattern library *)
+Unprotect[With];
+With[vars_, Verbatim[Condition][expr_, wcond_]] := Condition[With[vars, expr], With[vars, wcond]];
+Protect[With];
+
 (* ::Section:: *)
 (* Define Unintegrable and CannotIntegrate*)