We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents 761d1e9 + 168230a commit 113f8b4Copy full SHA for 113f8b4
src/simplify_rules.jl
@@ -45,6 +45,8 @@ let
45
@rule(identity(~x) => ~x)
46
@rule(-(~x) => -1*~x)
47
@rule(-(~x, ~y) => ~x + -1(~y))
48
+ @rule(~x::_isone \ ~y => ~y)
49
+ @rule(~x \ ~y => ~y / (~x))
50
@rule(~x / ~y => ~x * pow(~y, -1))
51
@rule(one(~x) => one(symtype(~x)))
52
@rule(zero(~x) => zero(symtype(~x)))
0 commit comments