Simplify trivial ifelse cases. Fix JuliaSymbolics/Symbolics.jl#170

Omar-Elrefaei · web-flow · commit 1acb9c2d13f0 · 2022-08-31T03:35:53.000-04:00
diff --git a/src/simplify_rules.jl b/src/simplify_rules.jl
@@ -54,6 +54,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
`@@ -54,6 +54,7 @@ let`
`54`	`54`	`@rule(real(~x::_isreal) => ~x)`
`55`	`55`	`@rule(imag(~x::_isreal) => zero(symtype(~x)))`
`56`	`56`	`@rule(ifelse(~x::is_literal_number, ~y, ~z) => ~x ? ~y : ~z)`
	`57`	`+ @rule(ifelse(~x, ~y, ~y) => ~y)`
`57`	`58`	`]`
`58`	`59`
`59`	`60`	`TRIG_EXP_RULES = [`