Skip to content

Commit

Permalink
add missing rule for multiplicative inverse
Browse files Browse the repository at this point in the history
  • Loading branch information
hyrodium committed Apr 28, 2022
1 parent a4b2a6e commit f1e6c86
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions src/rules.jl
Original file line number Diff line number Diff line change
Expand Up @@ -36,6 +36,7 @@ let INVERSE_PAIRS = (
Base.inv(::typeof(b)) = Float64(a)
Base.literal_pow(::typeof(^), ::typeof(b), ::Val{-1}) = Float64(a)
Base.:(*)(::typeof(a), ::typeof(b)) = 1.0 # This can be one(Irrational).
Base.:(*)(::typeof(b), ::typeof(a)) = 1.0 # This can be one(Irrational).
end
end

Expand Down

0 comments on commit f1e6c86

Please sign in to comment.