now the pattern ~x^~m matches 1/x with m=-1

Author: Bumblebee00

src/matchers.jl

@@ -150,6 +150,15 @@ function term_matcher_constructor(term, acSets)
                 result = loop(frankestein, bindings, matchers)
                 result !== nothing && return success(result, 1)
             end
+
+            # if data is of the alternative form 1/(...), it might match with exponent = -1
+            if (operation(data) === /) && isequal(arguments(data)[1], 1)
+                denominator = arguments(data)[2]
+                T = symtype(denominator)
+                frankestein = Term{T}(^, [denominator, -1])
+                result = loop(frankestein, bindings, matchers)
+                result !== nothing && return success(result, 1)
+            end
 
             # if data is a exp call, it might match with base e
             if operation(data)===exp

test/rewrite.jl

@@ -121,6 +121,7 @@ end
     @test r1(1/a^b) === (a, -b) # uses frankestein
     @test r1(1/a^(b+2c)) === (a, -b-2c) # uses frankestein
     @test r1(1/a^2) === (a, -2) # uses opposite_sign_matcher
+    @test r1(1/a) === (a, -1)
 
     r2 = @rule (~x)^(~y + ~z) => (~x, ~y, ~z) # rule with term as exponent
     @test r2(1/a^(b+2c)) === (a, -b, -2c) # uses frankestein