improved negative exponent pattern matching. now it matches also for expressions like (1/...)^(...)

Author: Bumblebee00

src/matchers.jl

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

test/rewrite.jl

@@ -109,7 +109,7 @@ end
     @test r_mixmix(exp(x)*sin(x+x^2)) === (1, 0, x)
 end
 
-@testset "1/power matches power with exponent of opposite sign" begin
+@testset "power matcher with negative exponent" begin
     r1 = @rule (~x)^(~y) => (~x, ~y) # rule with slot as exponent
     @test r1(1/a^b) === (a, -b) # uses frankestein
     @test r1(1/a^(b+2c)) === (a, -b-2c) # uses frankestein
@@ -124,6 +124,9 @@ end
     @test r1defslot(1/a^(b+2c)) === (a, -b-2c) # uses frankestein
     @test r1defslot(1/a^2) === (a, -2) # uses opposite_sign_matcher
     @test r1defslot(a) === (a, 1)
+
+    r = @rule (~x + ~y)^(~m) => (~x, ~y, ~m) # rule to match (1/...)^(...)
+    @test r((1/(a+b))^3) === (a,b,-3)
 end
 
 using SymbolicUtils: @capture