more rules

Author: Bumblebee00

src/methods/rule_based/rules2/1 Algebraic functions/1.1 Binomial products/1.1.1 Linear/1.1.1.1 (a+b x)^m.jl

@@ -10,17 +10,17 @@ file_rules = [
     !eq((~m), -1) ?
 (~x)^((~m) + 1)⨸((~m) + 1) : nothing))
 
-# ("1_1_1_1_3",
-# @rule ∫(1/((~a) + (~!b)*(~x)),(~x)) =>
-#     !contains_var((~a), (~b), (~x)) ?
-# log((~a) + (~b)*(~x))⨸(~b) : nothing)
-# 
-# ("1_1_1_1_4",
-# @rule ∫(((~!a) + (~!b)*(~x))^(~m),(~x)) =>
-#     !contains_var((~a), (~b), (~m), (~x)) &&
-#     !eq((~m), -1) ?
-# ((~a) + (~b)*(~x))^((~m) + 1)⨸((~b)*((~m) + 1)) : nothing)
-# 
+("1_1_1_1_3",
+:(∫(1/((~a) + (~!b)*(~x)),(~x))) => :(
+    !contains_var((~a), (~b), (~x)) ?
+log((~a) + (~b)*(~x))⨸(~b) : nothing))
+
+("1_1_1_1_4",
+:(∫(((~!a) + (~!b)*(~x))^(~m),(~x))) => :(
+    !contains_var((~a), (~b), (~m), (~x)) &&
+    !eq((~m), -1) ?
+((~a) + (~b)*(~x))^((~m) + 1)⨸((~b)*((~m) + 1)) : nothing))
+
 # ("1_1_1_1_5",
 # @rule ∫(((~!a) + (~!b)*(~u))^(~m),(~x)) =>
 #     !contains_var((~a), (~b), (~m), (~x)) &&