Merge pull request #468 from Omar-Elrefaei/patch-1

shashi · web-flow · commit 224e752d5f73 · 2023-03-24T15:08:32.000-04:00
Simplify degenerate ifelse cases. Fix JuliaSymbolics/Symbolics.jl#170
diff --git a/src/simplify_rules.jl b/src/simplify_rules.jl
@@ -61,6 +61,7 @@ let
         @rule(real(~x::_isreal) => ~x)
         @rule(imag(~x::_isreal) => zero(symtype(~x)))
         @rule(ifelse(~x::is_literal_number, ~y, ~z) => ~x ? ~y : ~z)
+        @rule(ifelse(~x, ~y, ~y) => ~y)
     ]
 
     TRIG_EXP_RULES = [

Original file line number	Diff line number	Diff line change
`@@ -61,6 +61,7 @@ let`
`61`	`61`	`@rule(real(~x::_isreal) => ~x)`
`62`	`62`	`@rule(imag(~x::_isreal) => zero(symtype(~x)))`
`63`	`63`	`@rule(ifelse(~x::is_literal_number, ~y, ~z) => ~x ? ~y : ~z)`
	`64`	`+ @rule(ifelse(~x, ~y, ~y) => ~y)`
`64`	`65`	`]`
`65`	`66`
`66`	`67`	`TRIG_EXP_RULES = [`