Patch for With with a false condition. Full fix needed in the patte…

…rn matching library.
Mathics3 · Nov 30, 2024 · f6b8f7a · f6b8f7a
1 parent 319d990
commit f6b8f7a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Rubi.m b/Rubi.m
@@ -194,6 +194,7 @@
 (* 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]];
+With[vars_, Verbatim[Condition][expr_, wcond_]] := Condition[Indeterminate, Not[With[vars, wcond]]];
 Protect[With];
 
 (* ::Section:: *)